Gerco Van Heerdt
AuthID: R-00H-71G
11
TITLE: A (co)algebraic theory of succinct automata PDF
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.05519
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.05519
INDEXED IN: DBLP arXiv
12
TITLE: Learning Weighted Automata over Principal Ideal Domains PDF
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.04404
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.04404
INDEXED IN: DBLP arXiv
13
TITLE: A (co)algebraic theory of succinct automata
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 105
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 105
INDEXED IN: DBLP
14
TITLE: Learning to Coordinate
AUTHORS: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTHORS: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXED IN: DBLP
15
TITLE: Convex Language Semantics for Nondeterministic Probabilistic Automata PDF
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1805.11550
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1805.11550
INDEXED IN: DBLP arXiv
16
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
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
17
TITLE: Learning Automata with Side-Effects PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.08055
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.08055
INDEXED IN: DBLP arXiv