Number of items: 31.
actions
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.
algebra
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.
algebraic specification
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, .
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), .
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), .
automata
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.
automata theory
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
behavioural equivalence
Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), .
bisimulation
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, .
coalgebra
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), .
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, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
Cirstea, Corina (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In, Coalgebraic Methods in Computer Science 2010 Elsevier, .
Cirstea, Corina and Sadrzadeh, Mehrnoosh (2008) Modular Games for Coalgebraic Fixed Point Logics. In, Coalgebraic Methods in Computer Science 2008 Elsevier, .
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, .
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), .
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.
Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), .
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, .
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, .
Coalgebraic Semantics
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde (2008) Modal Logics are Coalgebraic. In, Visions of Computer Science 2008
coalgebraic specification
Cirstea, Corina, Jacobs, B. and Rutten, J. (eds.) (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280, (1), .
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, .
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), .
Coalgebras
Cirstea, Corina, Orejas, F. (ed.) (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67, (1-2), .
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.
cofree algebra
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), .
Completeness
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, .
compositionality
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
computation path
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), .
concurrency
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
equational logic
Cirstea, Corina, Jacobs, B. and Rutten, J. (eds.) (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280, (1), .
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, .
final algebra
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), .
fixed point logic
Cirstea, Corina and Sadrzadeh, Mehrnoosh (2008) Modular Games for Coalgebraic Fixed Point Logics. In, Coalgebraic Methods in Computer Science 2008 Elsevier, .
Hennessy-Milner property
Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), .
Institutions
Cirstea, Corina, Orejas, F. (ed.) (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67, (1-2), .
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.
knowledge
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.
knowledge representation
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde (2008) Modal Logics are Coalgebraic. In, Visions of Computer Science 2008
logic
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.
Mobility and Concurrency
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde (2008) Modal Logics are Coalgebraic. In, Visions of Computer Science 2008
modal logic
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro (ed.) (2011) Modal Logics are Coalgebraic. The Computer Journal, 54, .
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, .
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, .
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), .
Cirstea, Corina, Orejas, F. (ed.) (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67, (1-2), .
Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), .
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, .
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, .
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, .
model checking
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.
Modularity
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, .
multi-agent systems
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.
nondeterminism
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), .
Cirstea, Corina (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In, Coalgebraic Methods in Computer Science 2010 Elsevier, .
parity games
Cirstea, Corina and Sadrzadeh, Mehrnoosh (2008) Modular Games for Coalgebraic Fixed Point Logics. In, Coalgebraic Methods in Computer Science 2008 Elsevier, .
Probabilistic automata
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, .
Probabilistic system
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), .
probability
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), .
Cirstea, Corina (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In, Coalgebraic Methods in Computer Science 2010 Elsevier, .
semantics
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), .
Simulation
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), .
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, .
temporal logic
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), .
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, .
trace
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.
trace semantics
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), .
Cirstea, Corina (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In, Coalgebraic Methods in Computer Science 2010 Elsevier, .
update
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.
This list was generated on Tue May 22 05:07:27 2012 BST.
