Dr Corina Cirstea
Lecturer in Computer Science
University of Southampton
Highfield
Southampton
SO17 1BJ
Telephone: +44 23 8059 3625
Email: cc2 at ecs . soton . ac . uk
Research Interests
- logic in computer science;
- theory and applications of coalgebras;
- formal approaches to program specification;
- operational and denotational semantics;
- category theory in computer science.
Drafts
Publications
- A Modular Approach to Defining and Characterising
Notions of Simulation. In J. Adamek and S. Milius, editors, volume 204, issue 4 of Information and Computation, pages 468-502, 2006.
- An Institution of Modal Logics for Coalgebras. In
F. Orejas, editor, volume 67 of The Journal of Logic and Algebraic Programming,
pages 87-113, Elsevier, 2006.
- On Logics for Coalgebraic Simulation. In
J. Adamek and S. Milius, editors, Proceedings of the Workshop on
Coalgebraic Methods in Computer Science, volume 106 of Electronic Notes in Theoretical Computer
Science, pages 63-90. Elsevier Science, 2004.
- A Compositional Approach to Defining Logics for Coalgebras. In H.P. Gumm, editor, Coalgebraic Methods in Computer Science, volume 327 of Theoretical Computer Science, pages 45-69. Elsevier Science, 2004.
- Modular Construction of Modal Logics (with Dirk Pattinson). In P. Gardner and N. Yoshida, editors, CONCUR 2004 - Concurrency Theory: 15th International Conference, volume 3170 of Lecture Notes in Computer Science, Springer, 2004.
- On Expressivity and Compositionality in Logics for Coalgebras. In H.P. Gumm, editor, volume 82, issue 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003.
- Institutionalising Many-Sorted Coalgebraic Modal Logic. In L.S. Moss, editor, volume 65, issue 1 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2002.
- On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. In M. Nielsen and U. Engberg, editors, Foundations of Software Science and Computation Structures, volume 2303 of Lecture Notes in Computer Science, pages 82-97. Springer, 2002.
- A Coalgebraic Equational Approach to Specifying Observational Structures. In B. Jacobs and J. Rutten, editors, Coalgebraic Methods in Computer Science, volume 280 of Theoretical Computer Science, pages 35-68. Elsevier Science, 2002.
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. In H. Reichel, editor, volume 35, number 1 of Theoretical Informatics and Applications, pages 1-29. EDP Sciences, 2001.
- Semantic Constructions for the Specification of Objects. In B. Jacobs, L. Moss, H. Reichel and J. Rutten, editors, Coalgebraic Methods in Computer Science, volume 260 of Theoretical Computer Science, pages 3-25. Elsevier Science, 2001.
- Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems. DPhil thesis, University of Oxford, 2000.
- An Algebra-Coalgebra Framework for System Specification. In H. Reichel, editor, Coalgebraic Methods in Computer Science, volume 33 of Electronic Notes In Theoretical Computer Science, pages 81-112. Elsevier Science, 2000.
- A Coequational Approach to Specifying Behaviours. In B. Jacobs and J. Rutten, editors, Coalgebraic Methods in Computer Science, volume 19 of Electronic Notes In Theoretical Computer Science, pages 173-194. Elsevier Science, 1999.
- Semantic Constructions for Hidden Algebra. In J.L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, volume 1589 of Lecture Notes in Computer Science, pages 63-78. Springer, 1999.
- Coalgebra Semantics for Hidden Algebra: parameterised objects and inheritance. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of Lecture Notes in Computer Science, pages 174-189. Springer, 1998.
Updated: May 2006