BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zanasi:Fabio

Contributed to:

POPL 20152015
FoSSaCS 20142014
CSL-LICS 20142014
LICS 20132013
ESOP 20172017
ESOP 20182018
POPL 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.