default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFilippo Bonchi
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c72]Filippo Bonchi
, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski:
Diagrammatic Algebra of First Order Logic. LICS 2024: 16:1-16:15- [c71]Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta:
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. MFCS 2024: 30:1-30:19 - [i33]Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski:
Diagrammatic Algebra of First Order Logic. CoRR abs/2401.07055 (2024) - [i32]Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta:
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. CoRR abs/2404.18795 (2024) - [i31]Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore:
A Diagrammatic Algebra for Program Logics. CoRR abs/2410.03561 (2024) - [i30]Filippo Bonchi, Elena Di Lavore, Mario Román:
Effectful Mealy Machines: Bisimulation and Trace. CoRR abs/2410.10627 (2024) - 2023
- [j39]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci. 33(4-5): 182-221 (2023) - [j38]Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria:
Deconstructing the Calculus of Relations with Tape Diagrams. Proc. ACM Program. Lang. 7(POPL): 1864-1894 (2023) - [c70]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) 2023: 41-63 - [i29]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR abs/2307.02817 (2023) - 2022
- [j37]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022) - [j36]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18(2) (2022) - [j35]Filippo Bonchi, Alessio Santamaria:
Convexity via Weak Distributive Laws. Log. Methods Comput. Sci. 18(4) (2022) - [j34]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j33]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32(7): 829-869 (2022) - [i28]Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria:
Deconstructing the Calculus of Relations with Tape Diagrams. CoRR abs/2210.09950 (2022) - 2021
- [j32]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281: 104767 (2021) - [j31]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17(3) (2021) - [c69]Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi:
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO 2021: 9:1-9:19 - [c68]Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski:
On Doctrines and Cartesian Bicategories. CALCO 2021: 10:1-10:17 - [c67]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO 2021: 11:1-11:18 - [c66]Filippo Bonchi, Alessio Santamaria:
Combining Semilattices and Semimodules. FoSSaCS 2021: 102-123 - [c65]Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski:
Diagrammatic Polyhedral Algebra. FSTTCS 2021: 40:1-40:18 - [p1]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
A Survey of Compositional Signal Flow Theory. IFIP's Exciting First 60+ Years 2021: 29-56 - [e4]Filippo Bonchi, Simon J. Puglisi:
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. LIPIcs 202, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-201-3 [contents] - [i27]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021) - [i26]Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski:
Diagrammatic Polyhedral Algebra. CoRR abs/2105.10946 (2021) - [i25]Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski:
On Doctrines and Cartesian Bicategories. CoRR abs/2106.08142 (2021) - [i24]Filippo Bonchi, Alessio Santamaria:
Convexity via Weak Distributive Laws. CoRR abs/2108.10718 (2021) - [i23]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021) - 2020
- [c64]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Contextual Equivalence for Signal Flow Graphs. FoSSaCS 2020: 77-96 - [i22]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Contextual Equivalence for Signal Flow Graphs. CoRR abs/2002.08874 (2020) - [i21]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Cartesian bicategories with choice. CoRR abs/2003.09453 (2020) - [i20]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR abs/2005.01670 (2020) - [i19]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020) - [i18]Filippo Bonchi, Alessio Santamaria:
Combining Semilattices and Semimodules. CoRR abs/2012.14778 (2020)
2010 – 2019
- 2019
- [j30]Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3(POPL): 25:1-25:28 (2019) - [j29]Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172: 1-26 (2019) - [c63]Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c62]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
The Axiom of Choice in Cartesian Bicategories. CALCO 2019: 15:1-15:17 - [c61]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic Semantics for String Diagrams. CONCUR 2019: 37:1-37:17 - [c60]Filippo Bonchi:
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS 2019 - [c59]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Graphical Affine Algebra. LICS 2019: 1-12 - [c58]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism and Probability. LICS 2019: 1-14 - [i17]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic Semantics for String Diagrams. CoRR abs/1906.01519 (2019) - 2018
- [j28]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95: 128-146 (2018) - [j27]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14(3) (2018) - [j26]Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Simulation-based matching of cloud applications. Sci. Comput. Program. 162: 110-131 (2018) - [c57]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17 - [c56]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Graphical Conjunctive Queries. CSL 2018: 13:1-13:23 - [c55]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting with Frobenius. LICS 2018: 165-174 - [c54]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. LICS 2018: 175-184 - [i16]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Graphical Conjunctive Queries. CoRR abs/1804.07626 (2018) - [i15]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. CoRR abs/1804.10507 (2018) - [i14]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR abs/1806.11064 (2018) - [i13]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR abs/1808.00923 (2018) - [i12]Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. CoRR abs/1811.03606 (2018) - 2017
- [j25]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
A general account of coinduction up-to. Acta Informatica 54(2): 127-190 (2017) - [j24]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252: 2-29 (2017) - [j23]Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017) - [c53]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c52]Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski:
Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16 - [c51]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c50]Filippo Bonchi, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. FSEN 2017: 35-50 - [c49]Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552 - [e3]Filippo Bonchi, Barbara König:
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. LIPIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-033-0 [contents] - [i11]Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems (Extended Version). CoRR abs/1701.05001 (2017) - [i10]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CoRR abs/1707.02344 (2017) - [i9]Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski:
Functorial Semantics for Relational Theories. CoRR abs/1711.08699 (2017) - [i8]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. CoRR abs/1712.07511 (2017) - 2016
- [j22]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [c48]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Lawvere Categories as Composed PROPs. CMCS 2016: 11-32 - [c47]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c46]Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Behaviour-Aware Matching of Cloud Applications. TASE 2016: 117-124 - [i7]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - 2015
- [j21]Filippo Bonchi, Damien Pous:
Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2): 87-95 (2015) - [j20]Filippo Bonchi, Fabio Zanasi:
Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. 11(1) (2015) - [j19]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j18]Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia:
Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. 100: 84-104 (2015) - [j17]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [j16]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. 111: 135-155 (2015) - [j15]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604: 102-126 (2015) - [c45]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c44]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [c43]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253 - [c42]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Full Abstraction for Signal Flow Graphs. POPL 2015: 515-526 - [i6]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CoRR abs/1505.08105 (2015) - 2014
- [j14]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j13]Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [j12]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - [c41]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS 2014: 53-74 - [c40]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
A Categorical Semantics of Signal Flow Graphs. CONCUR 2014: 435-450 - [c39]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c38]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9 - [c37]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Bialgebras Are Frobenius. FoSSaCS 2014: 351-365 - [c36]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [c35]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC 2014: 351-368 - [i5]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up to in a fibrational setting. CoRR abs/1401.6675 (2014) - [i4]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR abs/1402.4062 (2014) - [i3]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Hopf Algebras. CoRR abs/1403.7048 (2014) - [i2]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. CoRR abs/1410.3385 (2014) - 2013
- [j11]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013) - [c34]Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [c33]Filippo Bonchi, Fabio Zanasi:
Saturated Semantics for Coalgebraic Logic Programming. CALCO 2013: 80-94 - [c32]Filippo Bonchi, Damien Pous:
Checking NFA equivalence with bisimulations up to congruence. POPL 2013: 457-468 - [c31]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013: 263-274 - 2012
- [j10]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) - [j9]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [j8]Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin:
Preface to special issue: EXPRESS, ICE and SOS 2009. Math. Struct. Comput. Sci. 22(2): 123-124 (2012) - [c30]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c29]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 - [c28]Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino:
Partition refinement for bisimilarity in CCP. SAC 2012: 88-93 - [c27]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia:
Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16 - [c26]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
Final Semantics for Decorated Traces. MFPS 2012: 73-86 - [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
- [j7]Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras. Log. Methods Comput. Sci. 7(2) (2011) - [j6]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j5]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) - [c25]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c24]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
- [c23]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c22]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c21]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
2000 – 2009
- 2009
- [j4]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [j3]