Corina Cîrstea

Most-cited papers

Modal Logics are Coalgebraic
Corina Cîrstea, A. Kurz, D. Pattinson, Lutz Schröder +1 more
2008Computer/law journal104 citations Open access
Semantic Scholar
EXPTIME Tableaux for the Coalgebraic µ-Calculus
Corina Cîrstea, C. Kupke, D. Pattinson
2009Annual Conference for Computer Science Logic66 citations Open access
Semantic Scholar
Modular Construction of Modal Logics
Corina Cîrstea, D. Pattinson
2004International Conference on Concurrency Theory42 citations
Semantic Scholar
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance
Corina Cîrstea
1997Workshop on Recent Trends in Algebraic Development Techniques41 citations
Semantic Scholar
Modular construction of complete coalgebraic logics
Corina Cîrstea, D. Pattinson
2007Theoretical Computer Science39 citations Open access
Semantic Scholar
Lattice-theoretic progress measures and coalgebraic model checking
I. Hasuo, Shunsuke Shimizu, Corina Cîrstea
2015ACM-SIGACT Symposium on Principles of Programming Languages30 citations Open access
Semantic Scholar
Electronic Communications of the EASST Volume X ( 2013 ) Proceedings of the Automated Verification of Critical Systems ( AVoCS 2013 ) Building Traceable Event-B Models from Requirements
Eman H. Alkhammash, Asieh Salehi Fathabadi, M. Butler, Corina Cîrstea
201322 citations
Semantic Scholar
From Branching to Linear Time, Coalgebraically
Corina Cîrstea
2013Fundamenta Informaticae19 citations Open access
Semantic Scholar
A coalgebraic equational approach to specifying observational structures
Corina Cîrstea
2002Theoretical Computer Science19 citations Open access
Semantic Scholar
A Coalgebraic Approach to Linear-Time Logics
Corina Cîrstea
2014Foundations of Software Science and Computation Structure18 citations Open access
Semantic Scholar
A modular approach to defining and characterising notions of simulation
Corina Cîrstea
2006Information and Computation18 citations Open access
Semantic Scholar
A compositional approach to defining logics for coalgebras
Corina Cîrstea
2004Theoretical Computer Science18 citations Open access
Semantic Scholar
Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements
V. Yazdanpanah, E. Gerding, S. Stein, Corina Cîrstea +3 more
2021IEEE Internet Computing17 citations Open access
Semantic Scholar
Maximal traces and path-based coalgebraic temporal logics
Corina Cîrstea
2011Theoretical Computer Science15 citations Open access
Semantic Scholar
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
Corina Cîrstea
2010CMCS@ETAPS14 citations Open access
Semantic Scholar
Coalgebraic Epistemic Update Without Change of Model
Corina Cîrstea, M. Sadrzadeh
2007Conference on Algebra and Coalgebra in Computer Science14 citations
Semantic Scholar
Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems
Corina Cîrstea
200014 citations
Semantic Scholar
A Coequational Approach to Specifying Behaviours
Corina Cîrstea
1999International Workshop on Coalgebraic Methods in Computer Science13 citations Open access
Semantic Scholar
Institutionalizing Coalgebraic Modal Logic
Corina Cîrstea
2002International Workshop on Coalgebraic Methods in Computer Science12 citations Open access
Semantic Scholar
An institution of modal logics for coalgebras
Corina Cîrstea
2006J. Log. Algebraic Methods Program.11 citations Open access
Semantic Scholar
An Algebra-Coalgebra Framework for System Specification
Corina Cîrstea
2000International Workshop on Coalgebraic Methods in Computer Science11 citations Open access
Semantic Scholar
Model Checking Human-Agent Collectives for Responsible AI
Dhaminda B. Abeywickrama, Corina Cîrstea, S. Ramchurn
2019IEEE International Symposium on Robot and Human Interactive Communication10 citations
Semantic Scholar
Canonical Coalgebraic Linear Time Logics
Corina Cîrstea
2015Conference on Algebra and Coalgebra in Computer Science10 citations
Semantic Scholar
On Expressivity and Compositionality in Logics for Coalgebras
Corina Cîrstea
2003International Workshop on Coalgebraic Methods in Computer Science10 citations Open access
Semantic Scholar
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
Corina Cîrstea
2002Foundations of Software Science and Computation Structure10 citations Open access
Semantic Scholar
A fairness-based refinement strategy to transform liveness properties in Event-B models
Chen-Yang Zhu, Michael J. Butler, Corina Cîrstea, Son Hoang
2022Science of Computer Programming9 citations
Semantic Scholar
Semantic Constructions for Hidden Algebra
Corina Cîrstea
1998Workshop on Recent Trends in Algebraic Development Techniques9 citations
Semantic Scholar
Parity Automata for Quantitative Linear Time Logics
Corina Cîrstea, Shunsuke Shimizu, I. Hasuo
2017Conference on Algebra and Coalgebra in Computer Science8 citations
Semantic Scholar
On Logics for Coalgebraic Simulation
Corina Cîrstea
2004International Workshop on Coalgebraic Methods in Computer Science8 citations Open access
Semantic Scholar
Measure-Theoretic Semantics for Quantitative Parity Automata
Corina Cîrstea, C. Kupke
2023Annual Conference for Computer Science Logic7 citations
Semantic Scholar
Semantics of Real-Time Trigger-Response Properties in Event-B
Chen-Yang Zhu, M. Butler, Corina Cîrstea
2018Theoretical Aspects of Software Engineering7 citations
Semantic Scholar
Modular Games for Coalgebraic Fixed Point Logics
Corina Cîrstea, M. Sadrzadeh
2008International Workshop on Coalgebraic Methods in Computer Science7 citations Open access
Semantic Scholar
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
Chen-Yang Zhu, M. Butler, Corina Cîrstea
2019Theoretical Aspects of Software Engineering6 citations
Semantic Scholar
Refinement of Timing Constraints for Concurrent Tasks with Scheduling
Chen-Yang Zhu, M. Butler, Corina Cîrstea
2018International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z6 citations
Semantic Scholar
Semantic constructions for the specification of objects
Corina Cîrstea
2001Theoretical Computer Science6 citations Open access
Semantic Scholar
Formalizing hierarchical scheduling for refinement of real-time systems
Chen-Yang Zhu, M. Butler, Corina Cîrstea
2020Science of Computer Programming5 citations Open access
Semantic Scholar
Modeling guidelines of FreeRTOS in Event-B
Eman H. Alkhammash, M. Butler, Corina Cîrstea
20165 citations
Semantic Scholar
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
2024International Workshop on Coalgebraic Methods in Computer Science4 citations Open access
Semantic Scholar
Trace semantics and refinement patterns for real-time properties in event-B models
Chen-Yang Zhu, M. Butler, Corina Cîrstea
2020Science of Computer Programming4 citations Open access
Semantic Scholar
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
A. Corradini, Bartek Klin, Corina Cîrstea
2011Conference on Algebra and Coalgebra in Computer Science4 citations Open access
Semantic Scholar
A Coalgebraic Approach to Quantitative Linear Time Logics
Corina Cîrstea
2016arXiv.org3 citations
Semantic Scholar
Modularity in Coalgebra
Corina Cîrstea
2006International Workshop on Coalgebraic Methods in Computer Science3 citations Open access
Semantic Scholar
An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination
Jing-Tao Yang, Corina Cîrstea, P. Henderson
2005International Conference on Quality Software3 citations
Semantic Scholar
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Ryota Kojima, Corina Cîrstea
2025Mathematical Foundations of Programming Semantics2 citations Open access
Semantic Scholar
Linear-time logics - a coalgebraic perspective
Corina Cîrstea
2016Log. Methods Comput. Sci.2 citations Open access
Semantic Scholar
Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A. Corradini, Bartek Klin, Corina Cîrstea
20112 citations
Semantic Scholar
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach
Corina Cîrstea
2011Conference on Algebra and Coalgebra in Computer Science2 citations
Semantic Scholar
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
M. Sadrzadeh, Corina Cîrstea
20062 citations
Semantic Scholar
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
Jing-Tao Yang, Corina Cîrstea, P. Henderson
2005OTM Workshops2 citations Open access
Semantic Scholar
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
Corina Cîrstea
2001RAIRO - Theoretical Informatics and Applications2 citations
Semantic Scholar