Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Corina Cîrstea" ( http://dblp.L3S.de/Authors/Corina_Cîrstea )

  Author page on DBLP  Author page in RDF  Community of Corina Cîrstea in ASPL-2

Publication years (Num. hits)
1997-2005 (15) 2006-2011 (14)
Publication types (Num. hits)
article(18) inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(8) Theor. Comput. Sci.(5) CALCO(3) WADT(2) BCS Int. Acad. Conf.(1) Comput. J.(1) CONCUR(1) CSL(1) FoSSaCS(1) Inf. Comput.(1) ITA(1) J. Log. Algebr. Program.(1) Logical Methods in Computer Sc...(1) OTM Workshops(1) QSIC(1)
Authors
Corina Cîrstea(29) Dirk Pattinson(6) Alexander Kurz(2) Clemens Kupke(2) Jingtao Yang(2) Lutz Schröder(2) Mehrnoosh Sadrzadeh(2) Peter Henderson(2) Yde Venema(2) Andrea Corradini(1) Bartek Klin(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Corina Cîrstea Maximal traces and path-based coalgebraic temporal logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema Modal Logics are Coalgebraic. Search on Bibsonomy Comput. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Clemens Kupke, Dirk Pattinson EXPTIME Tableaux for the Coalgebraic mu-Calculus Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.) Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Clemens Kupke, Dirk Pattinson EXPTIME Tableaux for the Coalgebraic µ-Calculus. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Mehrnoosh Sadrzadeh Modular Games for Coalgebraic Fixed Point Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema Modal Logics are Coalgebraic. Search on Bibsonomy BCS Int. Acad. Conf. The full citation details ... 2008 DBLP  BibTeX  RDF
1Corina Cîrstea, Dirk Pattinson Modular construction of complete coalgebraic logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Mehrnoosh Sadrzadeh Coalgebraic Epistemic Update Without Change of Model. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea An institution of modal logics for coalgebras. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea A modular approach to defining and characterising notions of simulation. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Modularity in Coalgebra. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jingtao Yang, Corina Cîrstea, Peter Henderson Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. Search on Bibsonomy OTM Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jingtao Yang, Corina Cîrstea, Peter Henderson An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea A compositional approach to defining logics for coalgebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea On Logics for Coalgebraic Simulation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Dirk Pattinson Modular Construction of Modal Logics. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea On Expressivity and Compositionality in Logics for Coalgebras. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea A coalgebraic equational approach to specifying observational structures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Institutionalizing Coalgebraic Modal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Semantic constructions for the specification of objects. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. Search on Bibsonomy ITA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea An Algebra-Coalgebra Framework for System Specification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea A Coequational Approach to Specifying Behaviours. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Semantic Constructions for Hidden Algebra. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. Search on Bibsonomy WADT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.