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
2
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
3
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
4
TITLE: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
5
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
6
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
7
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
8
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
9
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