Georgel Calin

	2012
3		Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. FASE 2012: 362-376
	2010
2		Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
	2009
1		Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)

Coauthor Index

1	Pepijn Crouzen	[2]
2	Pedro R. D'Argenio	[2]
3	Ernst Moritz Hahn	[2]
4	Zhenyue Long	[3]
5	Rupak Majumdar	[3]
6	Roland Meyer	[3]
7	Robert S. R. Myers	[1]
8	Dirk Pattinson	[1]
9	Lutz Schröder	[1]
10	Lijun Zhang	[2]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page