ProfileOfResearchers

Identified 124

101

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

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

102

TITLE: A coalgebraic treatment of conditional transition systems with upgrades
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1

INDEXED IN:

DBLP

IN MY:

DBLP

103

TITLE: Layer by Layer - Combining Monads
AUTHORS: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187

INDEXED IN:

DBLP

IN MY:

DBLP

104

TITLE: Convex Language Semantics for Nondeterministic Probabilistic Automata
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187

INDEXED IN:

DBLP

IN MY:

DBLP

105

TITLE: Symbolic Register Automata PDF
AUTHORS: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.06968

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

106

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

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

107

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

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

108

TITLE: Borel Kernels and their Approximation, Categorically
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; Vincent Danos; Ilias Garnier;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 341

INDEXED IN:

DBLP

IN MY:

DBLP

109

TITLE: The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
AUTHORS: Alexandra Silva;
PUBLISHED: 2018, SOURCE: MFPS, VOLUME: 336

INDEXED IN:

DBLP

IN MY:

DBLP

110

TITLE: CALF: Categorical Automata Learning Framework PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676

INDEXED IN: