Filippo Bonchi

Documents

Publications

	Bialgebraic Semantics for Logic Programming Filippo Bonchi , Fabio Zanasi Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-11(1:14)2015⟩ Article dans une revue hal-01284910v1
	A General Account of Coinduction Up-To Filippo Bonchi , Daniela Petrişan , Damien Pous , Jurriaan Rot Acta Informatica, 2016, ⟨10.1007/s00236-016-0271-4⟩ Article dans une revue hal-01442724v1
	Modular encoding of synchronous and asynchronous interactions using open Petri nets Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Valentina Monreale Science of Computer Programming, 2016, ⟨10.1016/j.scico.2014.11.019⟩ Article dans une revue hal-01284925v1
	Hacking nondeterminism with induction and coinduction. Filippo Bonchi , Damien Pous Communications of the ACM, 2015, 58 (2), pp.87-95. ⟨10.1145/2713167⟩ Article dans une revue hal-01284907v1
	Concurrency cannot be observed, asynchronously Filippo Bonchi , Fabio Gadducci , Paolo Baldan , Valentina Monreale Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129513000108⟩ Article dans une revue hal-01284912v1
	Enhanced Coalgebraic Bisimulation Jurriaan Rot , Filippo Bonchi , Marcello Bonsangue , Damien Pous , Jan Rutten Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129515000523⟩ Article dans une revue hal-01288960v1
	Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi Theoretical Computer Science, 2015, 604, pp. 102-126. ⟨10.1016/j.tcs.2015.03.024⟩ Article dans une revue hal-01284933v1
	Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming Luis Fernando Pino Duque , Filippo Bonchi , Frank Valencia Science of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩ Article dans une revue hal-01098502v1
	Weak CCP bisimilarity with strong procedures Luis Pino , Andres Aristizabal , Filippo Bonchi , Frank Valencia Science of Computer Programming, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩ Article dans une revue hal-00976768v2
	Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Filippo Bonchi , Marcello Bonsangue , Hansen Helle Hvid , Prakash Panangaden , Jan Rutten ACM Transactions on Computational Logic, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩ Article dans une revue hal-00909426v1
	Generalizing determinization from automata to coalgebras. Alexandra Silva , Filippo Bonchi , Marcello Bonsangue , Jan Rutten Logical Methods in Computer Science, 2013, 9 (1), pp.9(1). ⟨10.2168/LMCS-9(1:9)2013⟩ Article dans une revue hal-00909339v1
	Symbolic and Asynchronous Semantics via Normalized Coalgebras Filippo Bonchi , Ugo Montanari Logical Methods in Computer Science, 2012, 7 (2-7), pp.1-53. ⟨10.2168/LMCS-7(2:7)2011⟩ Article dans une revue hal-00777552v1
	A Presheaf Environment for the Explicit Fusion Calculus Filippo Bonchi , Buscemi Maria Grazia , Ciancia Vincenzo , Fabio Gadducci Journal of Automated Reasoning, 2012, 49 (2), pp.161-183 Article dans une revue hal-00777522v1
	A Coalgebraic Perspective on Linear Weighted Automata Filippo Bonchi , Marcello Bonsangue , Michele Boreale , Jan Rutten , Alexandra Silva Information and Computation, 2012, 211, pp.77-105 Article dans une revue hal-00576921v1
	A lattice-theoretical perspective on adhesive categories Filippo Bonchi , Paolo Baldan , Andrea Corradini , Tobias Heindel , Barbara König Journal of Symbolic Computation, 2011, 46 (3), pp.222-245 Article dans une revue hal-00777564v1
	Quantitative Kleene coalgebras Filippo Bonchi , Marcello Bonsangue , Jan Rutten , Alexandra Silva Information and Computation, 2011, 209 (5), pp.822-849. ⟨10.1016/j.ic.2010.09.007⟩ Article dans une revue hal-00777557v1

	The Theory of Traces for Systems with Nondeterminism and Probability Filippo Bonchi , Ana Sokolova , Valeria Vignudelli Logic in Computer Science (LICS) 2019, Jun 2019, Vancouver, Canada Communication dans un congrès hal-02187093v1
	Bisimilarity of Open Terms in Stream GSOS Filippo Bonchi , Matias David Lee , Jurriaan Rot 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩ Communication dans un congrès hal-01760851v1
	Lawvere Categories as Composed PROPs Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩ Communication dans un congrès hal-01446031v1
	Asynchronous Traces and Open Petri Nets Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Valentina Monreale Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩ Communication dans un congrès hal-01285297v1
	Lax Bialgebras and Up-To Techniques for Weak Bisimulations Filippo Bonchi , Daniela Petrisan , Damien Pous , Jurriaan Rot 26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.240⟩ Communication dans un congrès hal-01285299v1
	Towards Trace Metrics via Functor Lifting Paolo Baldan , Filippo Bonchi , Kerstan Henning , Barbara König 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Jun 2015, Nijmegen, Netherlands. ⟨10.4230/LIPIcs.CALCO.2015.35⟩ Communication dans un congrès hal-01285298v1
	Full Abstraction for Signal Flow Graphs Filippo Bonchi , Fabio Zanasi , Pawel Sobocinski Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩ Communication dans un congrès hal-01178437v2
	A Categorical Semantics of Signal Flow Graphs Filippo Bonchi , Pawel Sobociński , Fabio Zanasi CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy Communication dans un congrès hal-02134182v1
	Interacting Bialgebras are Frobenius Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi FoSSaCS 2014, Apr 2014, Grenoble, France. pp.351-365 Communication dans un congrès hal-00989174v1
	Coinduction up to in a fibrational setting Filippo Bonchi , Daniela Petrisan , Damien Pous , Jurriaan Rot CSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩ Communication dans un congrès hal-00936488v2
	A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice Luis Fernando Pino Duque , Filippo Bonchi , Frank D. Valencia ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩ Communication dans un congrès hal-01006382v2
	Brzozowski's and Up-To Algorithms for Must Testing Filippo Bonchi , Georgiana Caltais , Damien Pous , Alexandra Silva 11th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2013, Melbourne, Australia. pp.1-16, ⟨10.1007/978-3-319-03542-0_1⟩ Communication dans un congrès hal-00966072v1
	Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi , Damien Pous Principle of Programming Languages (POPL), Jan 2013, Roma, Italy. pp.457-468, ⟨10.1145/2429069.2429124⟩ Communication dans un congrès hal-00639716v5
	Saturated Semantics for Coalgebraic Logic Programming Filippo Bonchi , Fabio Zanasi CALCO, Sep 2013, Warsaw, Poland. pp.80-94 Communication dans un congrès hal-00909353v1
	Efficient computation of program equivalence for confluent concurrent constraint programming Luis Pino , Filippo Bonchi , Frank D. Valencia PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩ Communication dans un congrès hal-00909394v1
	Towards a General Theory of Barbs, Contexts and Labels. Filippo Bonchi , Fabio Gadducci , Valentina Monreale Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, 2012, Taiwan. pp.289-304 Communication dans un congrès hal-00798068v1
	Partition Refinement for Bisimilarity in CCP Andrés Aristizábal , Filippo Bonchi , Luis Pino , Frank D. Valencia 27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93 Communication dans un congrès hal-00641408v3
	A Coalgebraic Perspective on Minimization and Determinization. Jirí Adámek , Filippo Bonchi , Mathias Hulsbusch , Barbara König , Stefan Milius Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, Estonia. pp.58-73 Communication dans un congrès hal-00798063v1
	Brzozowski's Algorithm (Co)Algebraically. Filippo Bonchi , Marcello Bonsangue , Jan Rutten , Alexandra Silva Logic and Program Semantics: 60 Birthday Dexter Kozen, 2012, United States. pp.12-23 Communication dans un congrès hal-00798062v1
	Final Semantics for Decorated Traces. Filippo Bonchi , Marcello Bonsangue , Jan Rutten , Alexandra Silva Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, Jun 2012, United Kingdom. pp.73-86 Communication dans un congrès hal-00798060v1
	Reducing Weak to Strong Bisimilarity in CCP Andrés Aristizábal , Filippo Bonchi , Luis Pino , Frank D. Valencia Fifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩ Communication dans un congrès hal-00761611v1
	Deriving Labels and Bisimilarity for Concurrent Constraint Programming Andrés Aristizábal , Filippo Bonchi , Catuscia Palamidessi , Luis Pino , Frank D. Valencia FOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures, Mar 2011, Saarbrücken, Germany. pp.138-152, ⟨10.1007/ISBN978-3-642-19804-5⟩ Communication dans un congrès hal-00546722v1
	Concurrency Can't Be Observed, Asynchronously Filippo Bonchi , Paolo Baldan , Fabio Gadducci , Valentina Monreale Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Nov 2010, Shanghai, China. pp.424-438 Communication dans un congrès hal-00573020v1

	7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) Filippo Bonchi , Barbara König Filippo Bonchi; Barbara Konig. 2019 Ouvrages hal-02148756v1
	Mathematical Structures in Computer Science Preface to special issue: EXPRESS, ICE and SOS 2009. Filippo Bonchi , Bartek Klin , Sibylle B. Fröschle , Daniele Gorla Cambridge Journal, pp.123-124, 2012 Ouvrages hal-00798061v1

	A Survey of Compositional Signal Flow Theory Filippo Bonchi , Paweł Sobociński , Fabio Zanasi Advancing Research in Information and Communication Technology, AICT-600, pp.29-56, 2021, ⟨10.1007/978-3-030-81701-5_2⟩ Chapitre d'ouvrage hal-03325995v1

	RPO Semantics for Mobile Ambients Filippo Bonchi , Fabio Gadducci , Valentina Monreale 2011 Rapport hal-00573001v1

Filippo Bonchi

Publications

Bialgebraic Semantics for Logic Programming

A General Account of Coinduction Up-To

Modular encoding of synchronous and asynchronous interactions using open Petri nets

Hacking nondeterminism with induction and coinduction.

Concurrency cannot be observed, asynchronously

Enhanced Coalgebraic Bisimulation

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure

Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming

Weak CCP bisimilarity with strong procedures

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm

Generalizing determinization from automata to coalgebras.

Symbolic and Asynchronous Semantics via Normalized Coalgebras

A Presheaf Environment for the Explicit Fusion Calculus

A Coalgebraic Perspective on Linear Weighted Automata

A lattice-theoretical perspective on adhesive categories

Quantitative Kleene coalgebras

The Theory of Traces for Systems with Nondeterminism and Probability

Bisimilarity of Open Terms in Stream GSOS

Lawvere Categories as Composed PROPs

Asynchronous Traces and Open Petri Nets

Lax Bialgebras and Up-To Techniques for Weak Bisimulations

Towards Trace Metrics via Functor Lifting

Full Abstraction for Signal Flow Graphs

A Categorical Semantics of Signal Flow Graphs

Interacting Bialgebras are Frobenius

Coinduction up to in a fibrational setting

A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice

Brzozowski's and Up-To Algorithms for Must Testing

Checking NFA equivalence with bisimulations up to congruence

Saturated Semantics for Coalgebraic Logic Programming

Efficient computation of program equivalence for confluent concurrent constraint programming

Towards a General Theory of Barbs, Contexts and Labels.

Partition Refinement for Bisimilarity in CCP

A Coalgebraic Perspective on Minimization and Determinization.

Brzozowski's Algorithm (Co)Algebraically.

Final Semantics for Decorated Traces.

Reducing Weak to Strong Bisimilarity in CCP

Deriving Labels and Bisimilarity for Concurrent Constraint Programming

Concurrency Can't Be Observed, Asynchronously

7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)

Mathematical Structures in Computer Science Preface to special issue: EXPRESS, ICE and SOS 2009.

A Survey of Compositional Signal Flow Theory

RPO Semantics for Mobile Ambients