 | 2009 |
|---|
| 23 |       | Corina Cîrstea,
Clemens Kupke,
Dirk Pattinson:
EXPTIME Tableaux for the Coalgebraic µ-Calculus.
CSL 2009: 179-193 |
| 2008 |
|---|
| 22 | | Corina Cîrstea,
Alexander Kurz,
Dirk Pattinson,
Lutz Schröder,
Yde Venema:
Modal Logics are Coalgebraic.
BCS Int. Acad. Conf. 2008: 128-140 |
| 21 | | Corina Cîrstea,
Mehrnoosh Sadrzadeh:
Modular Games for Coalgebraic Fixed Point Logics.
Electr. Notes Theor. Comput. Sci. 203(5): 71-92 (2008) |
| 2007 |
|---|
| 20 | | Corina Cîrstea,
Mehrnoosh Sadrzadeh:
Coalgebraic Epistemic Update Without Change of Model.
CALCO 2007: 158-172 |
| 19 | | Corina Cîrstea,
Dirk Pattinson:
Modular construction of complete coalgebraic logics.
Theor. Comput. Sci. 388(1-3): 83-108 (2007) |
| 2006 |
|---|
| 18 | | Corina Cîrstea:
Modularity in Coalgebra.
Electr. Notes Theor. Comput. Sci. 164(1): 3-26 (2006) |
| 17 | | Corina Cîrstea:
A modular approach to defining and characterising notions of simulation.
Inf. Comput. 204(4): 469-502 (2006) |
| 16 | | Corina Cîrstea:
An institution of modal logics for coalgebras.
J. Log. Algebr. Program. 67(1-2): 87-113 (2006) |
| 2005 |
|---|
| 15 | | Jingtao Yang,
Corina Cîrstea,
Peter Henderson:
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.
OTM Workshops 2005: 39-48 |
| 14 | | Jingtao Yang,
Corina Cîrstea,
Peter Henderson:
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.
QSIC 2005: 446-451 |
| 2004 |
|---|
| 13 | | Corina Cîrstea,
Dirk Pattinson:
Modular Construction of Modal Logics.
CONCUR 2004: 258-275 |
| 12 | | Corina Cîrstea:
On Logics for Coalgebraic Simulation.
Electr. Notes Theor. Comput. Sci. 106: 63-90 (2004) |
| 11 | | Corina Cîrstea:
A compositional approach to defining logics for coalgebras.
Theor. Comput. Sci. 327(1-2): 45-69 (2004) |
| 2003 |
|---|
| 10 | | Corina Cîrstea:
On Expressivity and Compositionality in Logics for Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 9 | | Corina Cîrstea:
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.
FoSSaCS 2002: 82-97 |
| 8 | | Corina Cîrstea:
Institutionalizing Coalgebraic Modal Logic.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 7 | | Corina Cîrstea:
A coalgebraic equational approach to specifying observational structures.
Theor. Comput. Sci. 280(1-2): 35-68 (2002) |
| 2001 |
|---|
| 6 | | Corina Cîrstea:
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems.
ITA 35(1): 1-29 (2001) |
| 5 | | Corina Cîrstea:
Semantic constructions for the specification of objects.
Theor. Comput. Sci. 260(1-2): 3-25 (2001) |
| 2000 |
|---|
| 4 | | Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 3 | | Corina Cîrstea:
A Coequational Approach to Specifying Behaviours.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1998 |
|---|
| 2 | | Corina Cîrstea:
Semantic Constructions for Hidden Algebra.
WADT 1998: 63-78 |
| 1997 |
|---|
| 1 |  | Corina Cîrstea:
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
WADT 1997: 174-189 |
