Filippo Bonchi

Publications

Article dans une revue (16)

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
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
Enhanced Coalgebraic Bisimulation Jurriaan Rot,Filippo Bonchi,Marcello Bonsangue,Damien Pous,Jan Ruttenet al. Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129515000523⟩ Article dans une revue hal-01288960v1
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
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
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
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
Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Filippo Bonchi,Marcello Bonsangue,Hansen Helle Hvid,Prakash Panangaden,Jan Ruttenet al. 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
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
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

Communication dans un congrès (23)

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
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
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
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
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
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
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
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
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
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
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
A Coalgebraic Perspective on Minimization and Determinization. Jirí Adámek,Filippo Bonchi,Mathias Hulsbusch,Barbara König,Stefan Miliuset al. 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
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
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
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
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
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
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

Ouvrages (2)

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

Chapitre d'ouvrage (1)

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

Rapport (1)

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