PD Dr. Sergey Goncharov

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik) Technische Fakultät
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Towards a Coalgebraic Chomsky Hierarchy (2014) Goncharov S, Milius S, Silva A Conference contribution Coalgebraic Weak Bisimulation from Recursive Equations over Monads (2014) Goncharov S, Pattinson D Conference contribution, Conference Contribution A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article Trace Semantics via Generic Observations (2013) Goncharov S Conference contribution, Conference Contribution Exploring the Boundaries of Monad Tensorability on Set (2013) Bowler N, Goncharov S, Levy P, Schröder L Journal article, Original article A coinductive calculus for asynchronous side-effecting processes (2013) Goncharov S, Schröder L Journal article, Original article
‹ 1 2 3 4 ›