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 × Canada
1 × Denmark
1 × Hungary
1 × USA
Collaborated with:
L.Schröder D.Pattinson T.Mossakowski J.C.Jung C.Lutz
Talks about:
effect (3) logic (3) generic (2) complet (2) order (2) probabilist (1) powermonad (1) coalgebra (1) fragment (1) bisimul (1)

Person: Sergey Goncharov

DBLP DBLP: Goncharov:Sergey

Contributed to:

ICALP (2) 20142014
LICS 20132013
LICS 20112011
FASE 20082008

Wrote 5 papers:

ICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.
ICALP-v2-2014-JungLGS #first-order #logic #probability
Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
LICS-2013-GoncharovS #hoare #logic
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (SG, LS), pp. 273–282.
LICS-2011-GoncharovS #monad
Powermonads and Tensors of Unranked Effects (SG, LS), pp. 227–236.
FASE-2008-MossakowskiSG #logic #reasoning
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.

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.