Sergey Goncharov

Universität Bremen, Germany

other persons with the same name:

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

	2011
10		Sergey Goncharov, Lutz Schröder: A Counterexample to Tensorability of Effects. CALCO 2011: 208-221
9		Sergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT 2011: 276-287
8		Sergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects. LICS 2011: 227-236
7		Sergey Goncharov, Lutz Schröder: Powermonads and Tensors of Unranked Effects CoRR abs/1101.2777: (2011)
6		Sergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-effecting Processes CoRR abs/1104.2936: (2011)
	2010
5		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)
4		Sergey Goncharov: Kleene monads. University of Bremen 2010: 1-188
	2009
3		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33
	2008
2		Till Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
	2006
1		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458

Coauthor Index

1	Till Mossakowski	[1] [2] [3] [5]
2	Lutz Schröder	[1] [2] [3] [5] [6] [7] [8] [9] [10]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page