Gerco Van Heerdt
AuthID: R-00H-71G
11
TÃTULO: A (co)algebraic theory of succinct automata PDF
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.05519
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.05519
INDEXADO EM: DBLP arXiv
12
TÃTULO: Learning Weighted Automata over Principal Ideal Domains PDF
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.04404
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.04404
INDEXADO EM: DBLP arXiv
13
TÃTULO: A (co)algebraic theory of succinct automata
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebraic Methods Program., VOLUME: 105
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebraic Methods Program., VOLUME: 105
INDEXADO EM: DBLP
14
TÃTULO: Learning to Coordinate
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXADO EM: DBLP
15
TÃTULO: Convex Language Semantics for Nondeterministic Probabilistic Automata PDF
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1805.11550
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1805.11550
INDEXADO EM: DBLP arXiv
16
TÃTULO: Convex Language Semantics for Nondeterministic Probabilistic Automata
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
INDEXADO EM: DBLP
17
TÃTULO: Learning Automata with Side-Effects PDF
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.08055
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.08055
INDEXADO EM: DBLP arXiv