Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFilippo Bonchi
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[j36]Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Diagrammatic algebra: from linear to concurrent systems. PACMPL 3(POPL): 25:1-25:28 (2019)- [j35]
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172: 1-26 (2019) - [c55]
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c54]
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic Semantics for String Diagrams. CONCUR 2019: 37:1-37:17 - [c53]
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Graphical Affine Algebra. LICS 2019: 1-12 - [c52]
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
- [j34]
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Deconstructing Lawvere with distributive laws. J. Log. Algebr. Meth. Program. 95: 128-146 (2018) - [j33]
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Logical Methods in Computer Science 14(3) (2018) - [j32]
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Simulation-based matching of cloud applications. Sci. Comput. Program. 162: 110-131 (2018) - [c51]
Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17 - [c50]
Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Graphical Conjunctive Queries. CSL 2018: 13:1-13:23 - [c49]
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting with Frobenius. LICS 2018: 165-174 - [c48]
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
- [j31]
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
A general account of coinduction up-to. Acta Inf. 54(2): 127-190 (2017) - [j30]
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252: 2-29 (2017) - [j29]
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science 27(7): 1236-1264 (2017) - [c47]
Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c46]
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski:
Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16 - [c45]
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c44]
Filippo Bonchi, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. FSEN 2017: 35-50 - [c43]
Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552 - [e2]
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 fuer 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
- [j28]
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Mathematical Structures in Computer Science 26(7): 1234-1268 (2016) - [c42]
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Lawvere Categories as Composed PROPs. CMCS 2016: 11-32 - [c41]
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c40]
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
- [j27]
Filippo Bonchi, Damien Pous:
Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2): 87-95 (2015) - [j26]
Filippo Bonchi, Fabio Zanasi:
Bialgebraic Semantics for Logic Programming. Logical Methods in Computer Science 11(1) (2015) - [j25]
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Mathematical Structures in Computer Science 25(4): 978-1004 (2015) - [j24]
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) - [j23]
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) - [j22]
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) - [j21]
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) - [c39]
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma ValentinValentinaMonreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c38]
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [c37]
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253 - [c36]
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
- [j20]
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Mathematical Structures in Computer Science 24(4) (2014) - [j19]
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) - [j18]
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) - [c35]
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 - [c34]
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
A Categorical Semantics of Signal Flow Graphs. CONCUR 2014: 435-450 - [c33]
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c32]
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9 - [c31]
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Bialgebras Are Frobenius. FoSSaCS 2014: 351-365 - [c30]
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [c29]
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
- [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) - [c28]
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [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]
Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. CALCO 2009: 173-190 - [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]
Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284 - [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:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents] - 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]
Filippo Bonchi, Ugo Montanari:
Symbolic Semantics Revisited. FoSSaCS 2008: 395-412 - [c6]
Filippo Bonchi, Fabio Gadducci, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c5]
Filippo Bonchi:
Abstract Semantics by Observable Contexts. ICGT 2008: 478-480 - 2007
- [j1]
Filippo Bonchi, Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches. Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007) - [c4]
Filippo Bonchi, Ugo Montanari:
Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379 - [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
last updated on 2019-11-08 20:48 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
