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 - [i31]Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski:
Diagrammatic Algebra of First Order Logic. CoRR abs/2401.07055 (2024) - [i30]Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta:
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. CoRR abs/2404.18795 (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]Filippo Bonchi, Fabio Gadducci, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [j2]Filippo Bonchi, Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009) - [c20]Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. CALCO 2009: 173-190 - [c19]Paolo Baldan, Filippo Bonchi, Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c18]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c17]Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284 - [c16]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c15]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [e2]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(3), Elsevier 2009 [contents] - [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents] - 2008
- [b1]Filippo Bonchi:
Abstract Semantics by Observable Contexts. University of Pisa, Italy, 2008 - [j1]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [c14]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 - [c13]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c12]Filippo Bonchi, Ugo Montanari:
Symbolic Semantics Revisited. FoSSaCS 2008: 395-412 - [c11]Filippo Bonchi, Fabio Gadducci, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c10]Filippo Bonchi:
Abstract Semantics by Observable Contexts. ICGT 2008: 478-480 - [c9]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Preface. ICE@ICALP 2008: 1-2 - [c8]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS 2008: 73-98 - 2007
- [c7]Filippo Bonchi, Ugo Montanari:
Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379 - [c6]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - [c5]Filippo Bonchi, Ugo Montanari:
G-Reactive Systems as Coalgebras. ACCAT@ETAPS 2007: 3-17 - 2006
- [c4]Filippo Bonchi, Fabio Gadducci, Barbara König:
Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183 - [c3]Filippo Bonchi, Barbara König, Ugo Montanari:
Saturated Semantics for Reactive Systems. LICS 2006: 69-80 - [c2]Filippo Bonchi, Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches. GT-VC@CONCUR 2006: 51-61 - [c1]Filippo Bonchi, Ugo Montanari:
A Coalgebraic Theory of Reactive Systems. LIX 2006: 201-215
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
