Fabio Zanasi
AuthID: R-00F-R2M
1
TITLE: Equivalence checking for weak bi-Kleene algebra
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2021, SOURCE: Log. Methods Comput. Sci., VOLUME: 17, ISSUE: 3
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2021, SOURCE: Log. Methods Comput. Sci., VOLUME: 17, ISSUE: 3
INDEXED IN: 
DBLP
DBLP2
TITLE: On series-parallel pomset languages: Rationality, context-freeness and automata
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 103
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 103
INDEXED IN: DBLP
DBLP3
TITLE: Kleene Algebra with Observations
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXED IN: DBLP
DBLP4
TITLE: Equivalence checking for weak bi-Kleene algebra PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.02102
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.02102
INDEXED IN: DBLP 
arXiv
DBLP arXiv5
TITLE: Kleene Algebra with Observations PDF
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.10401
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.10401
INDEXED IN: DBLP arXiv
DBLP arXiv6
TITLE: On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.03058
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.03058
INDEXED IN: DBLP arXiv
DBLP arXiv7
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.07199
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.07199
INDEXED IN: DBLP arXiv
DBLP arXiv8
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXED IN: DBLP
DBLP9
TITLE: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Full Text
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
10
TITLE: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure PDF
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1402.4062
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1402.4062
INDEXED IN: DBLP arXiv
DBLP arXiv