Gerco van Heerdt

22 papers B 5C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Convex language semantics for nondeterministic probabilistic automata.
Theor. Comput. Sci.
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2023 J jnl
A Coalgebraic Approach to Reducing Finitary Automata.
CoRR
Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman
2022 — conf
A Categorical Framework for Learning Generalised Tree Automata.
CMCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2022 — conf
Tree-Based Adaptive Model Learning.
A Journey from Process Algebra via Timed Automata to Model Learning
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2022 J jnl
Tree-Based Adaptive Model Learning.
CoRR
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2021 B conf
Canonical automata via distributive law homomorphisms.
MFPS
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
2021 B conf
Learning Pomset Automata.
FoSSaCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021 J jnl
Learning Pomset Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 J jnl
A Categorical Framework for Learning Generalised Tree Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2020 — conf
Learning Automata with Side-Effects.
CMCS
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2020 B conf
Learning Weighted Automata over Principal Ideal Domains.
FoSSaCS
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2019 J jnl
A (co)algebraic theory of succinct automata.
CoRR
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 J jnl
A (co)algebraic theory of succinct automata.
J. Log. Algebraic Methods Program.
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 J jnl
Learning Weighted Automata over Principal Ideal Domains.
CoRR
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2019 B conf
Tree Automata as Algebras: Minimisation and Determinisation.
CALCO
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2019 J jnl
Tree Automata as Algebras: Minimisation and Determinisation.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2018 C conf
Convex Language Semantics for Nondeterministic Probabilistic Automata.
ICTAC
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Convex Language Semantics for Nondeterministic Probabilistic Automata.
CoRR
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 — conf
Learning to Coordinate.
It's All About Coordination
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
2017 B conf
CALF: Categorical Automata Learning Framework.
CSL
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2017 J jnl
CALF: Categorical Automata Learning Framework.
CoRR
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2017 J jnl
Learning Automata with Side-Effects.
CoRR
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva