Sergey Goncharov: List of Publications

Books, conference proceedings    Articles in journals    Refereed articles in conference proceedings    Technical reports, other publications

Articles in journals 

Go to year:  to appear 

to appear     Back to top

	Till Mossakowski, Lutz Schröder, Sergey Goncharov. A Generic Complete Dynamic Logic for Reasoning about Purity and Effects. In Formal Aspects of Computing. To appear.
Show selected entries in BibTex Format

Books, conference proceedings 

Go to year:

Refereed articles in conference proceedings 

Go to year:  2009   2008   2006 

2009     Back to top

Sergey Goncharov, Lutz Schröder, Till Mossakowski (2009). Kleene Monads: Handling Iteration in a Framework of Generic Effects. In Alexander Kurz, Andrzej Tarlecki (Eds.), Algebra and Coalgebra in Computer Science (CALCO 2009), Vol. 5728, pp. 18–33, Lecture Notes in Computer Science. Springer.

2008     Back to top

Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Eds.), Fundamental Approaches to Software Engineering (FASE 2008), Vol. 4961, pp. 199–214, Lecture Notes in Computer Science. Springer.

2006     Back to top

	Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Eds.), Mathematical Foundations of Computer Science, Vol. 4162, pp. 447–458, Lecture Notes in Computer Science. Springer, Berlin.
Show selected entries in BibTex Format

Technical reports, other publications 

Go to year: