- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c2 |      | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. FASE 2012: 362-376 |
| 2010 | ||
| c1 | | 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 | ||
| j1 | | 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) |
| 1 | Pepijn Crouzen | |
| 2 | Pedro R. D'Argenio | |
| 3 | Ernst Moritz Hahn | |
| 4 | Zhenyue Long | |
| 5 | Rupak Majumdar | |
| 6 | Roland Meyer | |
| 7 | Robert S. R. Myers | |
| 8 | Dirk Pattinson | |
| 9 | Lutz Schröder | |
| 10 | Lijun Zhang 0001 |
Colors in the list of coauthors
Last update Sun May 26 01:32:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page