CoLoSS: The Coalgebraic Logic Satisfiability Solver. - Georgel Calin; Robert S. R. Myers; Dirk Pattinson; Lutz Schröder (M4M, 2007)

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. - Georgel Calin; Pepijn Crouzen; Pedro R. D'Argenio; Ernst Moritz Hahn; Lijun Zhang 001 (SPIN, 2010)

Language-Theoretic Abstraction Refinement. - Zhenyue Long; Georgel Calin; Rupak Majumdar; Roland Meyer 001 (FASE, 2012)

A Theory of Partitioned Global Address Spaces. - Georgel Calin; Egor Derevenetc; Rupak Majumdar; Roland Meyer 001 (FSTTCS, 2013)

Lazy TSO Reachability. - Ahmed Bouajjani; Georgel Calin; Egor Derevenetc; Roland Meyer 001 (FASE, 2015)

Verification Techniques for TSO-Relaxed Programs. - Georgel Calin (2016)