Sergey Goncharov

Universität Bremen, Germany

other persons with the same name:

• Sergey Goncharov 0002 - Sobolev's Math. Institute, Novosibirsk, Russia

	2011
c6		Sergey Goncharov, Lutz Schröder: A Counterexample to Tensorability of Effects. CALCO 2011: 208-221
c5		Sergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT 2011: 276-287
c4		Sergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects. LICS 2011: 227-236
i2		Sergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects. CoRR abs/1101.2777 (2011)
i1		Sergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-effecting Processes. CoRR abs/1104.2936 (2011)
	2010
b1		Sergey Goncharov: Kleene monads. University of Bremen 2010, isbn 978-3-86853-724-6, pp. 1-188
j1		Till Mossakowski, Lutz Schröder, Sergey Goncharov: A generic complete dynamic logic for reasoning about purity and effects. Formal Asp. Comput. 22(3-4): 363-384 (2010)
	2009
c3		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33
	2008
c2		Till Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
	2006
c1		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458

Coauthor Index

Last update Sat May 25 17:15:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page