Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Filippo Bonchi
2010 – today
- 2013
[j17]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science 9(1) (2013)- [c27]Filippo Bonchi, Fabio Zanasi: Saturated Semantics for Coalgebraic Logic Programming. CALCO 2013: 80-94
- [c26]Filippo Bonchi, Damien Pous: Checking NFA equivalence with bisimulations up to congruence. POPL 2013: 457-468
- [c25]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia: Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013: 263-274
- 2012
- [j16]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. Electr. Notes Theor. Comput. Sci. 286: 73-86 (2012)
- [j15]Filippo 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)
- [j14]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reasoning 49(2): 161-183 (2012)
- [j13]Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin: Preface to special issue: EXPRESS, ICE and SOS 2009. Mathematical Structures in Computer Science 22(2): 123-124 (2012)
- [c24]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23
- [c23]Jirí 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
- [c22]Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino: Partition refinement for bisimilarity in CCP. SAC 2012: 88-93
- [c21]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia: Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16
- [i1]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia: Partition Refinement for Bisimilarity in CCP. CoRR abs/1212.1548 (2012)
- 2011
- [j12]Filippo Bonchi, Ugo Montanari: Symbolic and Asynchronous Semantics via Normalized Coalgebras. Logical Methods in Computer Science 7(2) (2011)
- [j11]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
- [j10]Paolo 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)
- [c20]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304
- [c19]Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia: Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FOSSACS 2011: 138-152
- 2010
- [c18]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438
- [c17]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
- [c16]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari: Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
2000 – 2009
- 2009
- [j9]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
- [j8]Filippo 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)
- [j7]Filippo 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)
- [j6]Filippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
- [j5]Filippo Bonchi, Ugo Montanari: Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009)
- [c15]
- [c14]Paolo Baldan, Filippo Bonchi, Fabio Gadducci: Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114
- [c13]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
- [c12]
- [c11]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Reactive Systems, Barbed Semantics, and the Mobile Ambients. FOSSACS 2009: 272-287
- [c10]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: On Barbs and Labels in Reactive Systems. SOS 2009: 46-61
- [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. EPTCS 12, 2009
- 2008
- [j4]Filippo Bonchi, Ugo Montanari: G-Reactive Systems as Coalgebras. Electr. Notes Theor. Comput. Sci. 203(6): 3-17 (2008)
- [j3]Filippo Bonchi, Ugo Montanari: A Coalgebraic Theory of Reactive Systems. Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008)
- [j2]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Inform. 89(4): 479-510 (2008)
- [c9]Filippo 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
- [c8]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562
- [c7]
- [c6]Filippo Bonchi, Fabio Gadducci, Tobias Heindel: Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241
- [c5]
- 2007
- [j1]Filippo Bonchi, Tobias Heindel: Adhesive DPO Parallelism for Monic Matches. Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007)
- [c4]
- [c3]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Behavioural Congruence for Web Services. FSEN 2007: 240-256
- 2006
- [c2]Filippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
- [c1]Filippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team