×

zbMATH — the first resource for mathematics

Bonchi, Filippo

Compute Distance To:
Author ID: bonchi.filippo Recent zbMATH articles by "Bonchi, Filippo"
Published as: Bonchi, F.; Bonchi, Filippo
Documents Indexed: 71 Publications since 2006, including 3 Books

Publications by Year

Citations contained in zbMATH Open

54 Publications have been cited 298 times in 151 Documents Cited by Year
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
22
2013
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
16
2014
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
16
2013
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
15
2014
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
14
2012
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
12
2014
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
11
2015
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
9
2009
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2017
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2014
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
8
2009
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
7
2011
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
7
2007
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2006
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
5
2017
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
5
2015
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2012
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
5
2011
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
4
2015
Bialgebraic semantics for logic programming. Zbl 1347.68040
Bonchi, Filippo; Zanasi, Fabio
4
2015
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
4
2008
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
3
2017
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2016
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
3
2014
Saturated semantics for coalgebraic logic programming. Zbl 1394.68053
Bonchi, Filippo; Zanasi, Fabio
3
2013
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
3
2009
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
2
2018
Lawvere categories as composed props. Zbl 06603963
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Coalgebraic symbolic semantics. Zbl 1239.68049
Bonchi, Filippo; Montanari, Ugo
2
2009
A coalgebraic theory of reactive systems. Zbl 1279.68249
Bonchi, Filippo; Montanari, Ugo
2
2008
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
2
2007
Confluence of graph rewriting with interfaces. Zbl 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
1
2017
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2014
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315
Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
1
2014
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288
Bonchi, Filippo; Montanari, Ugo
1
2009
G-reactive systems as coalgebras. Zbl 1277.68163
Bonchi, Filippo; Montanari, Ugo
1
2008
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
2
2018
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2017
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
5
2017
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
3
2017
Confluence of graph rewriting with interfaces. Zbl 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
1
2017
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2016
Lawvere categories as composed props. Zbl 06603963
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
11
2015
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
5
2015
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
4
2015
Bialgebraic semantics for logic programming. Zbl 1347.68040
Bonchi, Filippo; Zanasi, Fabio
4
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
16
2014
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
15
2014
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
12
2014
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2014
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
3
2014
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2014
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315
Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
1
2014
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
22
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
16
2013
Saturated semantics for coalgebraic logic programming. Zbl 1394.68053
Bonchi, Filippo; Zanasi, Fabio
3
2013
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
14
2012
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2012
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
7
2011
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
5
2011
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
9
2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
8
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
3
2009
Coalgebraic symbolic semantics. Zbl 1239.68049
Bonchi, Filippo; Montanari, Ugo
2
2009
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288
Bonchi, Filippo; Montanari, Ugo
1
2009
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
4
2008
A coalgebraic theory of reactive systems. Zbl 1279.68249
Bonchi, Filippo; Montanari, Ugo
2
2008
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
G-reactive systems as coalgebras. Zbl 1277.68163
Bonchi, Filippo; Montanari, Ugo
1
2008
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
7
2007
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
2
2007
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2006
all top 5

Cited by 182 Authors

26 Bonchi, Filippo
16 Silva, Alexandra
13 Gadducci, Fabio
12 Rutten, Jan J. M. M.
10 Montanari, Ugo G.
9 Bonsangue, Marcello Maria
9 Rot, Jurriaan
8 Sobociński, Paweł
8 Zanasi, Fabio
7 Monreale, Giacoma Valentina
6 Milius, Stefan
5 Fong, Brendan
5 Jacobs, Bart
5 Pous, Damien
5 Sangiorgi, Davide
5 Sokolova, Ana
4 Baldan, Paolo
4 Ciancia, Vincenzo
4 Corradini, Andrea
4 Hirschkoff, Daniel
4 Komendantskaya, Ekaterina
4 König, Barbara
4 Kurz, Alexander
4 Petrisan, Daniela Luan
4 Sammartino, Matteo
4 Valencia, Frank D.
3 Baez, John C.
3 Ballester-Bolinches, Adolfo
3 Boreale, Michele
3 Bruni, Roberto
3 Cosme-Llópez, Enric
3 Hansen, Helle Hvid
3 Hasuo, Ichiro
3 Kissinger, Aleks
3 Küpper, Sebastian
3 Miculan, Marino
3 Oliveira, José Nuno
3 Pattinson, Dirk
3 Peressotti, Marco
3 Power, John
3 Ribeiro, Leila
3 Rueda, Camilo
3 Winter, Joost
3 Wißmann, Thorsten
2 Adámek, Jiří
2 Bacci, Giorgio
2 Brengos, Tomasz
2 Caltais, Georgiana
2 Cho, Kenta
2 Colcombet, Thomas
2 Coya, Brandon
2 Durier, Adrien
2 Duval, Dominique
2 Guzmán, Michell
2 Kataoka, Toshiki
2 Klin, Bartek
2 Kozen, Dexter C.
2 Kupke, Clemens
2 Madiot, Jean-Marie
2 Mamouras, Konstantinos
2 Melgratti, Hernán
2 Myers, Robert S. R.
2 Panangaden, Prakash
2 Perchy, Salim
2 Prost, Frédéric
2 Sprunger, David
2 Urbat, Henning
2 Velebil, Jiří
1 Abramsky, Samson
1 Azzi, Guilherme Grochau
1 Bacci, Giovanni
1 Balan, Adriana
1 Balle, Borja
1 Barbosa, Luís Soares
1 Beohar, Harsh
1 Bolognesi, Tommaso
1 Braatz, Benjamin
1 Bresolin, Davide
1 Bretschneider, Jan
1 Brogi, Antonio
1 Brunet, Paul
1 Buckley, Mitchell
1 Buscemi, Maria Grazia
1 Cabrera, Inma P.
1 Calder, Muffy
1 Chantawibul, Apiwat
1 Clark, David
1 Coecke, Bob
1 Cordero, Pablo
1 Dershowitz, Nachum
1 Di Gianantonio, Pietro
1 Diskin, Zinovy
1 Dong, Xiaoju
1 Echahed, Rachid
1 Ehrig, Hartmut
1 Erkens, Rick
1 Esteban-Romero, Ramón
1 Fieremans, Timmy
1 Fu, Yuxi
1 Gabriel, Karsten
...and 82 more Authors

Citations by Year