Search the dblp DataBase
Corina Cîrstea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Corina Cîrstea, Dirk Pattinson
Modular Construction of Modal Logics. [Citation Graph (0, 0)][DBLP]
CONCUR, 2004, pp:258-275 [Conf] - Corina Cîrstea
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. [Citation Graph (0, 0)][DBLP]
FoSSaCS, 2002, pp:82-97 [Conf] - Jingtao Yang, Corina Cîrstea, Peter Henderson
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. [Citation Graph (0, 0)][DBLP]
OTM Workshops, 2005, pp:39-48 [Conf] - Jingtao Yang, Corina Cîrstea, Peter Henderson
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. [Citation Graph (0, 0)][DBLP]
QSIC, 2005, pp:446-451 [Conf] - Corina Cîrstea
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. [Citation Graph (0, 0)][DBLP]
WADT, 1997, pp:174-189 [Conf] - Corina Cîrstea
Semantic Constructions for Hidden Algebra. [Citation Graph (0, 0)][DBLP]
WADT, 1998, pp:63-78 [Conf] - Corina Cîrstea
An Algebra-Coalgebra Framework for System Specification. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal] - Corina Cîrstea
Institutionalizing Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal] - Corina Cîrstea
On Expressivity and Compositionality in Logics for Coalgebras. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal] - Corina Cîrstea
On Logics for Coalgebraic Simulation. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:63-90 [Journal] - Corina Cîrstea
A Coequational Approach to Specifying Behaviours. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal] - Corina Cîrstea
Modularity in Coalgebra. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:3-26 [Journal] - Corina Cîrstea
A modular approach to defining and characterising notions of simulation. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:4, pp:469-502 [Journal] - Corina Cîrstea
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. [Citation Graph (0, 0)][DBLP]
ITA, 2001, v:35, n:1, pp:1-29 [Journal] - Corina Cîrstea
An institution of modal logics for coalgebras. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:87-113 [Journal] - Corina Cîrstea
Semantic constructions for the specification of objects. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2001, v:260, n:1-2, pp:3-25 [Journal] - Corina Cîrstea
A coalgebraic equational approach to specifying observational structures. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2002, v:280, n:1-2, pp:35-68 [Journal] - Corina Cîrstea
A compositional approach to defining logics for coalgebras. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2004, v:327, n:1-2, pp:45-69 [Journal] - Corina Cîrstea, Mehrnoosh Sadrzadeh
Coalgebraic Epistemic Update Without Change of Model. [Citation Graph (0, 0)][DBLP]
CALCO, 2007, pp:158-172 [Conf]
EXPTIME Tableaux for the Coalgebraic µ-Calculus. [Citation Graph (, )][DBLP]
Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]
Modular Games for Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002