Travelled to:
1 × Austria
1 × France
1 × India
1 × USA
Collaborated with:
F.Bonchi P.Sobocinski A.Facchini Y.Venema F.Carreiro T.Kappé P.Brunet A.S.0001 F.Gadducci A.Kissinger Joshua Holland Robin Piedeleu
Talks about:
concurr (2) algebra (2) graph (2) free (2) diagrammat (1) frobenius (1) confluenc (1) character (1) bisimilar (1) bialgebra (1)
Person: Fabio Zanasi
DBLP: Zanasi:Fabio
Contributed to:
Wrote 7 papers:
- POPL-2015-BonchiSZ #abstraction #graph
- Full Abstraction for Signal Flow Graphs (FB, PS, FZ), pp. 515–526.
- FoSSaCS-2014-BonchiSZ #algebra
- Interacting Bialgebras Are Frobenius (FB, PS, FZ), pp. 351–365.
- LICS-CSL-2014-CarreiroFVZ #automaton #similarity
- Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.
- LICS-2013-FacchiniVZ #calculus #theorem #μ-calculus
- A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus (AF, YV, FZ), pp. 478–487.
- ESOP-2017-BonchiGKSZ #confluence #graph grammar #interface
- Confluence of Graph Rewriting with Interfaces (FB, FG, AK, PS, FZ), pp. 141–169.
- ESOP-2018-KappeB0Z #algebra #concurrent
- Concurrent Kleene Algebra: Free Model and Completeness (TK, PB, AS0, FZ), pp. 856–882.
- POPL-2019-BonchiHPSZ #algebra #concurrent #diagrams #linear
- Diagrammatic algebra: from linear to concurrent systems (FB, JH, RP, PS, FZ), p. 28.