Gerco van Heerdt

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 21

Top Topics

Learning Scheme

Syntactic Pattern Recognition

Top Venues

J. Log. Algebraic Methods Program.

Publications

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