BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Germany
Collaborated with:
H.P.d.León A.Yakovlev S.Marlow S.P.Jones G.Lukyanov J.Lechner A.Iliasov A.Alekseyev D.Sokolov E.Kmett N.Mitchell
Talks about:
partial (2) control (2) system (2) order (2) graph (2) build (2) spacecraft (1) reconfigur (1) synthesi (1) function (1)

Person: Andrey Mokhov

DBLP DBLP: Mokhov:Andrey

Contributed to:

LATA 20152015
DATE 20142014
DATE 20082008
Haskell 20162016
Haskell 20172017
Haskell 20192019

Wrote 7 papers:

LATA-2015-LeonM #partial order #set
Building Bridges Between Sets of Partial Orders (HPdL, AM), pp. 145–160.
DATE-2014-IliasovASM #design #refinement #safety
Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
DATE-2008-MokhovY #configuration management #graph #partial order #synthesis
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis (AM, AY), pp. 1142–1147.
Haskell-2016-MarlowJKM #haskell
Desugaring Haskell's do-notation into applicative operations (SM, SPJ, EK, AM), pp. 92–104.
Haskell-2016-MokhovMJM #harmful #recursion #scalability
Non-recursive make considered harmful: build systems at scale (AM, NM, SPJ, SM), pp. 170–181.
Haskell-2017-Mokhov #algebra #functional #graph
Algebraic graphs with class (functional pearl) (AM), pp. 2–13.
Haskell-2019-MokhovLL #case study #experience #source code #verification
Formal verification of spacecraft control programs (experience report) (AM, GL, JL), pp. 139–145.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.