dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Filippo Bonchi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Symbolic and Asynchronous Semantics via Normalized Coalgebras Logical Methods in Computer Science 7(2): (2011)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari: Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Symbolic Semantics. CALCO 2009: 173-190
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Symbolic Semantics Revisited. FoSSaCS 2008: 395-412
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: G-Reactive Systems as Coalgebras. Electr. Notes Theor. Comput. Sci. 203(6): 3-17 (2008)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: A Coalgebraic Theory of Reactive Systems. Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80

Selection of 10 from 38 records - Filippo Bonchi has 26 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page