Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. - Corina Cîrstea (WADT, 1997)

Semantic Constructions for Hidden Algebra. - Corina Cîrstea (WADT, 1998)

A Coequational Approach to Specifying Behaviours. - Corina Cîrstea (CMCS, 1999)

An Algebra-Coalgebra Framework for System Specification. - Corina Cîrstea (CMCS, 2000)

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. - Corina Cîrstea (RAIRO Theor. Informatics Appl., 2001)

Semantic constructions for the specification of objects. - Corina Cîrstea (Theor. Comput. Sci., 2001)

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. - Corina Cîrstea (FoSSaCS, 2002)

Institutionalizing Coalgebraic Modal Logic. - Corina Cîrstea (CMCS, 2002)

A coalgebraic equational approach to specifying observational structures. - Corina Cîrstea (Theor. Comput. Sci., 2002)

On Expressivity and Compositionality in Logics for Coalgebras. - Corina Cîrstea (CMCS, 2003)

Modular Construction of Modal Logics. - Corina Cîrstea; Dirk Pattinson (CONCUR, 2004)

On Logics for Coalgebraic Simulation. - Corina Cîrstea (CMCS, 2004)

A compositional approach to defining logics for coalgebras. - Corina Cîrstea (Theor. Comput. Sci., 2004)

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. - Jingtao Yang; Corina Cîrstea; Peter Henderson 001 (OTM Workshops, 2005)

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. - Jingtao Yang; Corina Cîrstea; Peter Henderson 001 (QSIC, 2005)

Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. - Corina Cîrstea; Vicentiu D. Radulescu (Asymptot. Anal., 2006)

Modularity in Coalgebra. - Corina Cîrstea (CMCS, 2006)

A modular approach to defining and characterising notions of simulation. - Corina Cîrstea (Inf. Comput., 2006)

An institution of modal logics for coalgebras. - Corina Cîrstea (J. Log. Algebraic Methods Program., 2006)

Coalgebraic Epistemic Update Without Change of Model. - Corina Cîrstea; Mehrnoosh Sadrzadeh (CALCO, 2007)

Modular construction of complete coalgebraic logics. - Corina Cîrstea; Dirk Pattinson (Theor. Comput. Sci., 2007)

Modular Games for Coalgebraic Fixed Point Logics. - Corina Cîrstea; Mehrnoosh Sadrzadeh (CMCS, 2008)

EXPTIME Tableaux for the Coalgebraic µ-Calculus. - Corina Cîrstea; Clemens Kupke; Dirk Pattinson (CSL, 2009)

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. - Corina Cîrstea (CMCS@ETAPS, 2010)

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. - Corina Cîrstea (CALCO, 2011)

Modal Logics are Coalgebraic. - Corina Cîrstea; Alexander Kurz 001; Dirk Pattinson; Lutz Schröder; Yde Venema (Comput. J., 2011)

EXPTIME Tableaux for the Coalgebraic mu-Calculus - Corina Cîrstea; Clemens Kupke; Dirk Pattinson (Log. Methods Comput. Sci., 2011)

Maximal traces and path-based coalgebraic temporal logics. - Corina Cîrstea (Theor. Comput. Sci., 2011)

A Coalgebraic Approach to Linear-Time Logics. - Corina Cîrstea (FoSSaCS, 2014)

Canonical Coalgebraic Linear Time Logics. - Corina Cîrstea (CALCO, 2015)

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (CoRR, 2015)

Building traceable Event-B models from requirements. - Eman H. Alkhammash; Michael J. Butler; Asieh Salehi Fathabadi; Corina Cîrstea (Sci. Comput. Program., 2015)

Lattice-theoretic progress measures and coalgebraic model checking. - Ichiro Hasuo; Shunsuke Shimizu; Corina Cîrstea (POPL, 2016)

A Coalgebraic Approach to Quantitative Linear Time Logics. - Corina Cîrstea (CoRR, 2016)

Parity Automata for Quantitative Linear Time Logics. - Corina Cîrstea; Shunsuke Shimizu; Ichiro Hasuo (CALCO, 2017)

From Branching to Linear Time, Coalgebraically. - Corina Cîrstea (Fundam. Informaticae, 2017)

Refinement of Timing Constraints for Concurrent Tasks with Scheduling. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (ABZ, 2018)

Semantics of Real-Time Trigger-Response Properties in Event-B. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2018)

Model Checking Human-Agent Collectives for Responsible AI. - Dhaminda B. Abeywickrama; Corina Cîrstea; Sarvapali D. Ramchurn (RO-MAN, 2019)

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2019)

Resource-Aware Automata and Games for Optimal Synthesis. - Corina Cîrstea (GandALF, 2019)

Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2020)

Trace semantics and refinement patterns for real-time properties in event-B models. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (Sci. Comput. Program., 2020)

Formalizing hierarchical scheduling for refinement of real-time systems. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (Sci. Comput. Program., 2020)

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (TASE, 2021)

Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements. - Vahid Yazdanpanah; Enrico H. Gerding; Sebastian Stein 001; Corina Cîrstea; m. c. schraefel; Timothy J. Norman; Nicholas R. Jennings (IEEE Internet Comput., 2021)

Measure-Theoretic Semantics for Quantitative Parity Automata. - Corina Cîrstea; Clemens Kupke (CSL, 2023)

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm. - Matthew Pugh; Jo Grundy; Corina Cîrstea; Nick Harris (CoRR, 2023)

A fairness-based refinement strategy to transform liveness properties in Event-B models. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (Sci. Comput. Program., 2023)

Actual Trust in Multiagent Systems. - Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cîrstea; Mehdi Dastani; Luc Moreau 001 (AAMAS, 2024)

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. - Ryota Kojima; Corina Cîrstea; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

Formal Specification of Actual Trust in Multiagent Systems. - Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cîrstea; Mehdi Dastani; Luc Moreau 001 (HHAI, 2024)

Linear-time logics - a coalgebraic perspective. - Corina Cîrstea (Log. Methods Comput. Sci., 2024)

A Complete Inference System for Probabilistic Infinite Trace Equivalence. - Corina Cîrstea; Lawrence S. Moss; Victoria Noquez; Todd Schmid; Alexandra Silva 001; Ana Sokolova (CSL, 2025)

Learning Is a Kan Extension. - Matthew Pugh; Jo Grundy; Corina Cîrstea; Nick Harris (CoRR, 2025)

Thin Coalgebraic Behaviours Are Inductive. - Anton Chernev; Corina Cîrstea; Helle Hvid Hansen; Clemens Kupke (CoRR, 2025)