Georgel Calin

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Transitive Closure

Theoretical Basis

Natural Language

Top Venues

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
Lazy TSO Reachability. CoRR (2015)
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
Lazy TSO Reachability. FASE (2015)
Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
A Theory of Partitioned Global Address Spaces. CoRR (2013)
Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
A Theory of Partitioned Global Address Spaces. FSTTCS (2013)
Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
Language-Theoretic Abstraction Refinement. FASE (2012)
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)
Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electron. Notes Theor. Comput. Sci. 231 (2009)