Dr Corina Cirstea: Publications

Article

Cirstea, Corina, Jacobs, B, Niqui, M, Rutten, J and Silva, A (eds.) (2011) Maximal Traces and Path-Based Coalgebraic Temporal Logics. Theoretical Computer Science, 412, (38), 5025-5042.

Cirstea, Corina, Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. Logical Methods in Computer Science

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, 31-41.

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

Cirstea, Corina, Adámek, J and Milius, S (eds.) (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204, (4), 469-502.

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

Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), 45-69.

Cirstea, Corina, Jacobs, B. and Rutten, J. (eds.) (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280, (1), 35-68.

Cirstea, Corina, Reichel, H. (ed.) (2001) Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35, (1), 1-29.

Cirstea, Corina, Jacobs, B., Moss, L., Reichel, H. and Rutten, J. (eds.) (2001) Semantic constructions for the specification of objects. Theoretical Computer Science, 260, (1), 3-25.

Book

Cirstea, Corina, Seisenberger, Monika and Wilkinson, Toby (eds.) (2012) CALCO Young Researchers Workshop: CALCO-jnr 2011, 29 August 2011: selected papers, Southampton, GB, University of Southampton, 68pp.

Conference or Workshop Item

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

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

Cirstea, Corina, Kupke, Clemens and Pattinson, Dirk (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. In, Computer Science Logic 2009 Springer, 179-193.

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde (2008) Modal Logics are Coalgebraic. In, Visions of Computer Science 2008

Cirstea, Corina and Sadrzadeh, Mehrnoosh (2008) Modular Games for Coalgebraic Fixed Point Logics. In, Coalgebraic Methods in Computer Science 2008 Elsevier, 71-92.

Cirstea, Corina and Sadrzadeh, Mehrnoosh (2007) Coalgebraic Epistemic Update without Change of Model. In, 2nd Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway, 20 - 24 Aug 2007. Springer Verlag, 158-172.

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

Sadrzadeh, Mehrnoosh and Cirstea, Corina (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In, Logic and the Foundations of Game and Decision Theory, University of Liverpool, 13 - 16 Jul 2006. University of Liverpool.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. In, OnTheMove Workshops, LNCS 3762, 39-48.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services. In, The 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, IEEE Computer Society, 446-451.

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

Cirstea, Corina and Pattinson, Dirk (2004) Modular Construction of Modal Logics. In, Fifteenth International Conference on Concurrency Theory, London, UK, 31 Aug - 03 Sep 2004. Springer, 258-275.

Cirstea, Corina (2003) On expressivity and compositionality in logics for coalgebras. In, 6th International Workshop on Coalgebraic Methods in Computer Science, Warsaw, Poland, 05 - 06 Apr 2003. Elsevier.

Cirstea, Corina (2002) Institutionalising many-sorted coalgebraic modal logic. In, 5th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France, 06 - 07 Apr 2003. Elsevier.

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

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

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

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

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

Thesis

Cirstea, Corina (2000) Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems. University of Oxford, Computing Laboratory, Doctoral Thesis.