`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: Goncharov:Sergey

### Contributed to:

### 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.