Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "COMETA"( http://dblp.L3S.de/Venues/COMETA )

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

Publication years (Num. hits)
2003 (15) 2004 (1)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
COMETA(16)
Authors
Furio Honsell(4) Marina Lenisa(4) Marino Miculan(3) Ugo Montanari(3) Nicoletta Sabadini(2) Robert F. C. Walters(2) Alberto Ciaffaglione(1) Alessandra Cherubini(1) Andrea Corradini 0001(1) Barbara König 0001(1) Bernhard König(1) Daniela Cancila(1) Fabio Gadducci(1) Franco Barbanera(1) Giorgio Germano(1) Hernán C. Melgratti(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Furio Honsell, Marina Lenisa, Marino Miculan (eds.) Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003 Search on Bibsonomy COMETA The full citation details ... 2004 DBLP  BibTeX  RDF
1Fabio Gadducci, Marino Miculan, Ugo Montanari Some Characterization Results for Permutation Algebras. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca Paolini, Simona Ronchi Della Rocca Lazy Logical Semantics. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Ugo Montanari A Graphical Fusion Calculus. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Daniela Cancila, Furio Honsell, Marina Lenisa Properties of Set Functors. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Marino Miculan Preface. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ines Margaria, Maddalena Zacchi A Filter Model for Safe Ambients. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Franco Barbanera, Ugo de'Liguoro Type Assignement for Mobile Objects. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters Timing in the Cospan-Span Model. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Rekha Redamalla Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giorgio Germano, Stefano Mazzanti Peano Structures and the Semantics of Iteration. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters Compositional Minimization in Span(Graph): Some Examples. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Bernhard König Verifying a Behavioural Logic for Graph Transformation Systems. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Ciaffaglione, Ivan Scagnetto Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pietro Di Gianantonio, Pier Luca Lanzi Lazy Algorithms for Exact Real Arithmetic. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Flat Committed Join in Join. Search on Bibsonomy COMETA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (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