Corina Cîrstea

68 papers A* 2A 1B 17C 1Misc 4Journal 25Unranked 17
YearRankTypeTitle / Venue / Authors
2026 B conf
A Coalgebraic Approach to Infinite Games.
FoSSaCS
Benjamin Plummer, Corina Cîrstea
2025 B ed.
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025
CALCO
Corina Cîrstea, Alexander Knapp
2025 B conf
A Complete Inference System for Probabilistic Infinite Trace Equivalence.
CSL
Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
2025 B conf
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics.
MFPS
Ryota Kojima, Corina Cîrstea
2025 J jnl
Learning Is a Kan Extension.
CoRR
Matthew Pugh, Jo Grundy, Corina Cîrstea, Nick Harris
2025 J jnl
Learning Is a Kan Extension.
Trans. Mach. Learn. Res.
Matthew Pugh, Nick Harris, Corina Cîrstea, John C. Grundy
2025 A* conf
Thin Coalgebraic Behaviours Are Inductive.
LICS
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025 J jnl
Thin Coalgebraic Behaviours Are Inductive.
CoRR
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025 B conf
Traces via Strategies in Two-Player Games.
MFPS
Benjamin Plummer, Corina Cîrstea
2025 B conf
Unambiguous Acceptance of Thin Coalgebras.
MFPS
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2024 A conf
Actual Trust in Multiagent Systems.
AAMAS
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
2024 — conf
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.
CMCS
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
2024 — conf
Formal Specification of Actual Trust in Multiagent Systems.
HHAI
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
2024 J jnl
Linear-time logics - a coalgebraic perspective.
Log. Methods Comput. Sci.
Corina Cîrstea
2023 J jnl
A fairness-based refinement strategy to transform liveness properties in Event-B models.
Sci. Comput. Program.
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
2023 B conf
Measure-Theoretic Semantics for Quantitative Parity Automata.
CSL
Corina Cîrstea, Clemens Kupke
2023 J jnl
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm.
CoRR
Matthew Pugh, Jo Grundy, Corina Cîrstea, Nick Harris
2021 J jnl
Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements.
IEEE Internet Comput.
Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein, Corina Cîrstea, m. c. schraefel, Timothy J. Norman, Nicholas R. Jennings
2021 Misc conf
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.
TASE
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
2020 J jnl
Formalizing hierarchical scheduling for refinement of real-time systems.
Sci. Comput. Program.
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2020 Misc conf
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.
TASE
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2020 J jnl
Trace semantics and refinement patterns for real-time properties in event-B models.
Sci. Comput. Program.
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2019 B conf
Model Checking Human-Agent Collectives for Responsible AI.
RO-MAN
Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn
2019 — conf
Resource-Aware Automata and Games for Optimal Synthesis.
GandALF
Corina Cîrstea
2019 Misc conf
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.
TASE
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2018 — ed.
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers
CMCS
Corina Cîrstea
2018 C conf
Refinement of Timing Constraints for Concurrent Tasks with Scheduling.
ABZ
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2018 Misc conf
Semantics of Real-Time Trigger-Response Properties in Event-B.
TASE
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
2017 J jnl
From Branching to Linear Time, Coalgebraically.
Fundam. Informaticae
Corina Cîrstea
2017 B conf
Parity Automata for Quantitative Linear Time Logics.
CALCO
Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo
2016 J jnl
A Coalgebraic Approach to Quantitative Linear Time Logics.
CoRR
Corina Cîrstea
2016 A* conf
Lattice-theoretic progress measures and coalgebraic model checking.
POPL
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2015 J jnl
Building traceable Event-B models from requirements.
Sci. Comput. Program.
Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea
2015 B conf
Canonical Coalgebraic Linear Time Logics.
CALCO
Corina Cîrstea
2015 J jnl
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).
CoRR
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
2014 B conf
A Coalgebraic Approach to Linear-Time Logics.
FoSSaCS
Corina Cîrstea
2013 J jnl
Building Traceable Event-B Models from Requirements.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea
2013 — conf
From Branching to Linear Time, Coalgebraically.
FICS
Corina Cîrstea
2011 B ed.
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
CALCO
Andrea Corradini, Bartek Klin, Corina Cîrstea
2011 J jnl
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Log. Methods Comput. Sci.
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2011 J jnl
Maximal traces and path-based coalgebraic temporal logics.
Theor. Comput. Sci.
Corina Cîrstea
2011 J jnl
Modal Logics are Coalgebraic.
Comput. J.
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2011 B conf
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach.
CALCO
Corina Cîrstea
2010 — conf
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.
CMCS@ETAPS
Corina Cîrstea
2009 B conf
EXPTIME Tableaux for the Coalgebraic
CSL
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2008 — conf
Modal Logics are Coalgebraic.
BCS Int. Acad. Conf.
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2008 — conf
Modular Games for Coalgebraic Fixed Point Logics.
CMCS
Corina Cîrstea, Mehrnoosh Sadrzadeh
2007 B conf
Coalgebraic Epistemic Update Without Change of Model.
CALCO
Corina Cîrstea, Mehrnoosh Sadrzadeh
2007 J jnl
Modular construction of complete coalgebraic logics.
Theor. Comput. Sci.
Corina Cîrstea, Dirk Pattinson
2006 J jnl
A modular approach to defining and characterising notions of simulation.
Inf. Comput.
Corina Cîrstea
2006 J jnl
An institution of modal logics for coalgebras.
J. Log. Algebraic Methods Program.
Corina Cîrstea
2006 — conf
Modularity in Coalgebra.
CMCS
Corina Cîrstea
2006 J jnl
Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach.
Asymptot. Anal.
Corina Cîrstea, Vicentiu D. Radulescu
2005 — conf
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.
QSIC
Jingtao Yang, Corina Cîrstea, Peter Henderson
2005 — conf
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.
OTM Workshops
Jingtao Yang, Corina Cîrstea, Peter Henderson
2004 J jnl
A compositional approach to defining logics for coalgebras.
Theor. Comput. Sci.
Corina Cîrstea
2004 B conf
Modular Construction of Modal Logics.
CONCUR
Corina Cîrstea, Dirk Pattinson
2004 — conf
On Logics for Coalgebraic Simulation.
CMCS
Corina Cîrstea
2003 — conf
On Expressivity and Compositionality in Logics for Coalgebras.
CMCS
Corina Cîrstea
2002 J jnl
A coalgebraic equational approach to specifying observational structures.
Theor. Comput. Sci.
Corina Cîrstea
2002 — conf
Institutionalizing Coalgebraic Modal Logic.
CMCS
Corina Cîrstea
2002 B conf
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.
FoSSaCS
Corina Cîrstea
2001 J jnl
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems.
RAIRO Theor. Informatics Appl.
Corina Cîrstea
2001 J jnl
Semantic constructions for the specification of objects.
Theor. Comput. Sci.
Corina Cîrstea
2000 — conf
An Algebra-Coalgebra Framework for System Specification.
CMCS
Corina Cîrstea
1999 — conf
A Coequational Approach to Specifying Behaviours.
CMCS
Corina Cîrstea
1998 — conf
Semantic Constructions for Hidden Algebra.
WADT
Corina Cîrstea
1997 — conf
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
WADT
Corina Cîrstea