BONCHI, FILIPPO Statistiche
BONCHI, FILIPPO
DIPARTIMENTO DI INFORMATICA
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia
2021-01-01 Bonchi, Filippo
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
2017-01-01 Bonchi, Filippo; Koenig, Barbara
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
2014-01-01 Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
A behavioural congruence for web services
2007-01-01 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A categorical semantics of signal flow graphs
2014-01-01 Bonchi, Filippo; Sobociå ski, Paweå ; Zanasi, Fabio
A category of explicit fusions
2008-01-01 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
A coalgebraic perspective on linear weighted automata
2012-01-01 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
A coalgebraic perspective on minimization and determinization
2012-01-01 Adã¡mek, Jiå ã; Bonchi, Filippo; Hã¼lsbusch, Mathias; Kã¶nig, Barbara; Milius, Stefan; Silva, Alexandra
A coalgebraic view on decorated traces
2016-01-01 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
A general account of coinduction up-to
2017-01-01 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
A general theory of barbs, contexts and labels
2014-01-01 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
A lattice-theoretical perspective on adhesive categories
2011-01-01 Baldan, P; Bonchi, F; Corradini, Andrea; Heindel, T; Koenig, B.
A net-based approach to Web services publication and replaceability
2009-01-01 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A presheaf environment for the calculus of explicit fusions
2012-01-01 Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio
A Survey of Compositional Signal Flow Theory
2021-01-01 Bonchi, F.; Sobocinski, P.; Zanasi, F.
Algebra-Coalgebra duality in brzozowski's minimization algorithm
2014-01-01 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
Asynchronous traces and open Petri nets
2015-01-01 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Behavioral metrics via functor lifting
2014-01-01 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; Kã¶nig, Barbara
Behaviour-aware matching of cloud applications
2016-01-01 Bonchi, F.; Brogi, Antonio; Canciani, Andrea; Soldani, Jacopo
Bialgebraic foundations for the operational semantics of string diagrams
2021-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia | 1-gen-2021 | Bonchi, Filippo | |
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) | 1-gen-2017 | Bonchi, Filippo; Koenig, Barbara | |
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice | 1-gen-2014 | Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. | |
A behavioural congruence for web services | 1-gen-2007 | Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
A categorical semantics of signal flow graphs | 1-gen-2014 | Bonchi, Filippo; Sobociå ski, Paweå ; Zanasi, Fabio | |
A category of explicit fusions | 1-gen-2008 | Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio | |
A coalgebraic perspective on linear weighted automata | 1-gen-2012 | Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra | |
A coalgebraic perspective on minimization and determinization | 1-gen-2012 | Adã¡mek, Jiå ã; Bonchi, Filippo; Hã¼lsbusch, Mathias; Kã¶nig, Barbara; Milius, Stefan; Silva, Alexandra | |
A coalgebraic view on decorated traces | 1-gen-2016 | Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. | |
A general account of coinduction up-to | 1-gen-2017 | Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan | |
A general theory of barbs, contexts and labels | 1-gen-2014 | Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
A lattice-theoretical perspective on adhesive categories | 1-gen-2011 | Baldan, P; Bonchi, F; Corradini, Andrea; Heindel, T; Koenig, B. | |
A net-based approach to Web services publication and replaceability | 1-gen-2009 | Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
A presheaf environment for the calculus of explicit fusions | 1-gen-2012 | Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio | |
A Survey of Compositional Signal Flow Theory | 1-gen-2021 | Bonchi, F.; Sobocinski, P.; Zanasi, F. | |
Algebra-Coalgebra duality in brzozowski's minimization algorithm | 1-gen-2014 | Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra | |
Asynchronous traces and open Petri nets | 1-gen-2015 | Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina | |
Behavioral metrics via functor lifting | 1-gen-2014 | Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; Kã¶nig, Barbara | |
Behaviour-aware matching of cloud applications | 1-gen-2016 | Bonchi, F.; Brogi, Antonio; Canciani, Andrea; Soldani, Jacopo | |
Bialgebraic foundations for the operational semantics of string diagrams | 1-gen-2021 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. |