Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CMCS@ETAPS"( http://dblp.L3S.de/Venues/CMCS@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cmcs

Publication years (Num. hits)
2010 (12)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
CMCS@ETAPS(12)
Authors
Bart Jacobs 0001(3) Alexander Kurz 0001(2) Alexandra Silva 0001(2) Jan J. M. M. Rutten(2) Milad Niqui(2) Adriana Balan(1) Baltasar Trancón y Widemann(1) Bartek Klin(1) Corina Cîrstea(1) Ichiro Hasuo(1) Jan Komenda(1) Jiho Kim(1) Jirí Adámek(1) Jirí Velebil(1) Kazuyuki Asada(1) Michael Hauhs(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jirí Adámek, Stefan Milius, Jirí Velebil Recursive Program Schemes and Context-Free Monads. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Komenda Coinduction in Concurrent Timed Systems. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva 0001 Preface. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001 From Coalgebraic to Monoidal Traces. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bartek Klin Structural Operational Semantics and Modal Logic, Revisited. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kazuyuki Asada, Ichiro Hasuo Categorifying Computations into Components via Arrows as Profunctors. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiho Kim Higher-order Algebras and Coalgebras from Parameterized Endofunctors. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Hauhs, Baltasar Trancón y Widemann Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adriana Balan, Alexander Kurz 0001 On Coalgebras over Algebras. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia, Alexander Kurz 0001, Ugo Montanari Families of Symmetries as Efficient Models of Resource Binding. Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva 0001 (eds.) Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010 Search on Bibsonomy CMCS@ETAPS The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license