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
DBLP arXiv12
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
DBLP arXiv13
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
DBLP14
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
DBLP15
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
DBLP arXiv16
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
DBLP17
TITLE: CALF: Categorical Automata Learning Framework PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676
INDEXED IN: DBLP arXiv
DBLP arXiv18
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
DBLP arXiv19
TITLE: CALF: Categorical Automata Learning Framework
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
INDEXED IN: DBLP
DBLP