Dr Corina Cirstea: Publications

2011

Cirstea, C., Kupke, C. and Pattinson, D. (2011) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. Logical Methods in Computer Science . (In Press)

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L. and Venema, Y. (2011) Modal Logics are Coalgebraic. The Computer Journal, 54 . pp. 31-41.

Cirstea, C. (2011) Maximal Traces and Path-Based Coalgebraic Temporal Logics. Theoretical Computer Science, 412 (38). pp. 5025-5042.

Cirstea, C. (2011) Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach. In: 2011 International Conference on Algebra and Coalgebra in Computer Science. (In Press)

2010

Cirstea, C. (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In: Coalgebraic Methods in Computer Science 2010. pp. 83-103.

2009

Cirstea, C., Kupke, C. and Pattinson, D. (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. In: Computer Science Logic 2009. pp. 179-193.

2008

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L. and Venema, Y. (2008) Modal Logics are Coalgebraic. In: Visions of Computer Science 2008.

Cirstea, C. and Sadrzadeh, M. (2008) Modular Games for Coalgebraic Fixed Point Logics. In: Coalgebraic Methods in Computer Science 2008. pp. 71-92.

2007

Cirstea, C. and Pattinson, D. (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388 . pp. 83-108.

Cirstea, C. and Sadrzadeh, M. (2007) Coalgebraic Epistemic Update without Change of Model. In: 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, Bergen, Norway. pp. 158-172.

2006

Cirstea, C. (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67 (1-2). pp. 87-113.

Cirstea, C. (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204 (4). pp. 469-502. ISSN 0890-5401

Cirstea, C. (2006) Modularity in Coalgebra. In: 8th International Workshop on Coalgebraic Methods in Computer Science. pp. 3-26.

Sadrzadeh, M. and Cirstea, C. (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In: Logic and the Foundations of Game and Decision Theory, July 13-16, University of Liverpool.

2005

Yang, J., Cirstea, C. and Henderson, P. (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. In: OnTheMove Workshops, Nov 2005, Cyprus. pp. 39-48. (In Press)

Yang, J., Cirstea, C. and Henderson, P. (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services. In: The 5th International Conference on Quality Software (QSIC 2005), Sep 2005, Melbourne, Australia. pp. 446-451.

2004

Cirstea, C. (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327 (1). pp. 45-69. ISSN 0304-3975

Cirstea, C. (2004) On Logics for Coalgebraic Simulation. In: 7th International Workshop on Coalgebraic Methods in Computer Science, March 27 - 29, 2004, Barcelona, Spain. pp. 63-90.

Cirstea, C. and Pattinson, D. (2004) Modular Construction of Modal Logics. In: Fifteenth International Conference on Concurrency Theory, 31 August - 3 September 2004, London, UK. pp. 258-275.

2003

Cirstea, C. (2003) On expressivity and compositionality in logics for coalgebras. In: 6th International Workshop on Coalgebraic Methods in Computer Science, 5-6 April 2003, Warsaw, Poland.

2002

Cirstea, C. (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280 (1). pp. 35-68. ISSN 0304-3975

Cirstea, C. (2002) Institutionalising many-sorted coalgebraic modal logic. In: 5th International Workshop on Coalgebraic Methods in Computer Science, 6-7 April 2003, Grenoble, France.

Cirstea, C. (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In: Foundations of Software Science and Computation Structures Conference, 10-12 April 2002, Grenoble, France. pp. 82-97.

2001

Cirstea, C. (2001) Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35 (1). pp. 1-29. ISSN 0988-3754

Cirstea, C. (2001) Semantic constructions for the specification of objects. Theoretical Computer Science, 260 (1). pp. 3-25. ISSN 0304-3975

2000

Cirstea, C. (2000) An Algebra-Coalgebra Framework for System Specification. In: 3rd International Workshop on Coalgebraic Methods in Computer Science. pp. 80-110.

Cirstea, C. (2000) Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems. PhD thesis, University of Oxford.

1999

Cirstea, C. (1999) A Coequational Approach to Specifying Behaviours. In: 2nd International Workshop on Coalgebraic Methods in Computer Science. pp. 142-163.

1998

Cirstea, C. (1998) Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance. In: 12th International Workshop on Algebraic Development Techniques. pp. 174-189.

Cirstea, C. (1998) Semantic Constructions for Hidden Algebra. In: 13th International Workshop on Algebraic Development Techniques. pp. 63-78.