| 2026 | FOSSACS | A Coalgebraic Approach to Infinite Games. | Benjamin Plummer, Corina Crstea |
| 2025 | CSL | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2025 | LICS | Thin Coalgebraic Behaviours Are Inductive. | Anton Chernev, Corina Crstea, Helle Hvid Hansen, Clemens Kupke |
| 2023 | CSL | Measure-Theoretic Semantics for Quantitative Parity Automata. | Corina Crstea, Clemens Kupke |
| 2021 | TASE | Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. | Chenyang Zhu, Michael J. Butler, Corina Crstea, Thai Son Hoang |
| 2020 | TASE | Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2019 | RO-MAN | Model Checking Human-Agent Collectives for Responsible AI. | Dhaminda B. Abeywickrama, Corina Crstea, Sarvapali D. Ramchurn |
| 2019 | TASE | Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2018 | TASE | Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2017 | CALCO | Parity Automata for Quantitative Linear Time Logics. | Corina Crstea, Shunsuke Shimizu, Ichiro Hasuo |
| 2016 | POPL | Lattice-theoretic progress measures and coalgebraic model checking. | Ichiro Hasuo, Shunsuke Shimizu, Corina Crstea |
| 2015 | CALCO | Canonical Coalgebraic Linear Time Logics. | Corina Crstea |
| 2014 | FOSSACS | A Coalgebraic Approach to Linear-Time Logics. | Corina Crstea |
| 2011 | CALCO | Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. | Corina Crstea |
| 2009 | CSL | EXPTIME Tableaux for the Coalgebraic | Corina Crstea, Clemens Kupke, Dirk Pattinson |
| 2007 | CALCO | Coalgebraic Epistemic Update Without Change of Model. | Corina Crstea, Mehrnoosh Sadrzadeh |
| 2004 | CONCUR | Modular Construction of Modal Logics. | Corina Crstea, Dirk Pattinson |
| 2002 | FOSSACS | On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. | Corina Crstea |