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

Filippo Bonchi Coauthor index pubzone.org

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

DBLP keys2012
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva: A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012)
2011
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia: Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FOSSACS 2011: 138-152
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König: A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011)
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)
2010
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
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
2009
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions ICE 2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Symbolic Semantics. CALCO 2009: 173-190
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Filippo Bonchi, Fabio Gadducci: Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Reactive Systems, Barbed Semantics, and the Mobile Ambients. FOSSACS 2009: 272-287
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: On Barbs and Labels in Reactive Systems SOS 2009: 46-61
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). Electr. Notes Theor. Comput. Sci. 242(1): 73-98 (2009)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Net-based Approach to Web Services Publication and Replaceability. Fundam. Inform. 94(3-4): 305-330 (2009)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
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)
2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Symbolic Semantics Revisited. FoSSaCS 2008: 395-412
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Tobias Heindel: Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi: Abstract Semantics by Observable Contexts. ICGT 2008: 478-480
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71
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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Inform. 89(4): 479-510 (2008)
2007
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Behavioural Congruence for Web Services. FSEN 2007: 240-256
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Tobias Heindel: Adhesive DPO Parallelism for Monic Matches. Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007)
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
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

Coauthor Index

1Jirí Adámek [36]
2Andrés Aristizábal [32]
3Paolo Baldan [22] [28] [30]
4Marcello M. Bonsangue [23] [27] [31] [34] [35]
5Michele Boreale [34]
6Antonio Brogi [4] [6] [9] [16]
7Maria Grazia Buscemi [13]
8Vincenzo Ciancia [13]
9Sara Corfini [4] [6] [9] [16]
10Andrea Corradini [30]
11Fabio Gadducci [2] [4] [6] [9] [11] [13] [15] [16] [17] [19] [20] [22] [26] [28] [33]
12Davide Grohmann [18] [25]
13Tobias Heindel [3] [11] [30]
14Mathias Hülsbusch [36]
15Barbara König [1] [2] [15] [30] [36]
16Stefan Milius [36]
17Giacoma Valentina Monreale [17] [19] [20] [26] [28] [33]
18Ugo Montanari [1] [5] [7] [8] [12] [14] [21] [24] [26] [29]
19Catuscia Palamidessi [32]
20Luis Pino [32]
21Jan J. M. M. Rutten [23] [27] [31] [34] [35]
22Alexandra Silva [23] [27] [31] [34] [35] [36]
23Paola Spoletini [18] [25]
24Angelo Troina [18]
25Emilio Tuosto [18] [25]
26Frank D. Valencia (Frank Valencia) [32]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page