Fabio Zanasi
AuthID: R-00F-R2M
1
TÃTULO: Equivalence checking for weak bi-Kleene algebra
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2021, FONTE: Log. Methods Comput. Sci., VOLUME: 17, NÚMERO: 3
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2021, FONTE: Log. Methods Comput. Sci., VOLUME: 17, NÚMERO: 3
INDEXADO EM: DBLP
2
TÃTULO: On series-parallel pomset languages: Rationality, context-freeness and automata
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 103
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 103
INDEXADO EM: DBLP
3
TÃTULO: Kleene Algebra with Observations
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXADO EM: DBLP
4
TÃTULO: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: 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
TÃTULO: Equivalence checking for weak bi-Kleene algebra PDF
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.02102
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.02102
INDEXADO EM: DBLP arXiv
6
TÃTULO: Kleene Algebra with Observations PDF
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.10401
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.10401
INDEXADO EM: DBLP arXiv
7
TÃTULO: On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata PDF
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1812.03058
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1812.03058
INDEXADO EM: DBLP arXiv
8
TÃTULO: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Full Text
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
9
TÃTULO: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure PDF
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1402.4062
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1402.4062
INDEXADO EM: DBLP arXiv