Publications (24)
CALF: Categorical Automata Learning Framework
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Probabilistic Program Equivalence for NetKAT
Steffen Smolka, Praveen Kumar, Nate Foster +4
A Compositional Semantics for Stochastic Reo Connectors
Young-Joo Moon, Alexandra Silva, Christian Krause +1
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
Sound and complete axiomatizations of coalgebraic language equivalence
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
Borel Kernels and their Approximation, Categorically
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier +1
Symbolic Register Automata
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino +1
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, Nate Foster +2
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
Learning Nominal Automata
Joshua Moerman, Matteo Sammartino, Alexandra Silva +2
Almost Sure Productivity
Alejandro Aguirre, Gilles Barthe, Justin Hsu +1
Generalizing determinization from automata to coalgebras
Alexandra Silva, Filippo Bonchi, Marcello Bonsangue +1
Conditional Transition Systems with Upgrades
Harsh Beohar, Barbara König, Sebastian Küpper +1
How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure
Filippo Bonchi, Stefan Milius, Alexandra Silva +1
A Coinductive Treatment of Infinitary Rewriting
Joerg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
Layer by layer - Combining Monads
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Proceedings Fifth Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alexandra Silva +1
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Simon Bliudze, Roberto Bruni, Davide Grohmann +1
A (co)algebraic theory of succinct automata
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino +1
Non-Deterministic Kleene Coalgebras
Alexandra Silva, Marcello Bonsangue, Jan Rutten
Automatic Equivalence Proofs for Non-deterministic Coalgebras
Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac +3
Convex Language Semantics for Nondeterministic Probabilistic Automata
Gerco van Heerdt, Justin Hsu, Joël Ouaknine +1
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1