Follow
Gerco van Heerdt
Title
Cited by
Cited by
Year
CALF: categorical automata learning framework
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.05676, 2017
262017
Learning automata with side-effects
G Van Heerdt, M Sammartino, A Silva
International Workshop on Coalgebraic Methods in Computer Science, 68-89, 2020
202020
Learning weighted automata over principal ideal domains
G van Heerdt, C Kupke, J Rot, A Silva
Lecture Notes in Computer Science 12077, 602-621, 2020
182020
An abstract automata learning framework
G van Heerdt
Master’s thesis, Radboud University Nijmegen, 2016
142016
Convex language semantics for nondeterministic probabilistic automata
G van Heerdt, J Hsu, J Ouaknine, A Silva
International Colloquium on Theoretical Aspects of Computing, 472-492, 2018
132018
Canonical automata via distributive law homomorphisms
S Zetzsche, G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:2104.13421, 2021
82021
Learning Pomset Automata.
G van Heerdt, T Kappé, J Rot, A Silva
FoSSaCS, 510-530, 2021
82021
Tree automata as algebras: Minimisation and determinisation
G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva
arXiv preprint arXiv:1904.08802, 2019
82019
Optimizing automata learning via monads
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.08055, 2017
72017
A Categorical Framework for Learning Generalised Tree Automata
G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva
arXiv preprint arXiv:2001.05786, 2020
42020
A (co) algebraic theory of succinct automata
G van Heerdt, J Moerman, M Sammartino, A Silva
Journal of Logical and Algebraic Methods in Programming 105, 112-125, 2019
42019
Tree-Based Adaptive Model Learning
T Ferreira, G van Heerdt, A Silva
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
32022
Learning to coordinate
G van Heerdt, B Jacobs, T Kappé, A Silva
It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018
32018
Efficient Inference of Mealy Machines
G van Heerdt
Bachelor thesis, Radboud University Nijmegen, 2014
32014
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
A Dawar, D Leivant, PG Kolaitis, L Kovács, S Kreutzer, M Mahajan, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
12017
A Coalgebraic Approach to Reducing Finitary Automata
K D'Angelo, A Silva, G van Heerdt, L Witzman
arXiv preprint arXiv:2303.14916, 2023
2023
Tree-Based Adaptive Model Learning
G van Heerdt, A Silva
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
2022
A Categorical Framework for Learning Generalised Tree Automata
G Heerdt, T Kappé, J Rot, M Sammartino, A Silva
International Workshop on Coalgebraic Methods in Computer Science, 67-87, 2022
2022
Optimizing Automata Learning via Monads
GV Heerdt, M Sammartino, A Silva
arXiv, 2019
2019
A (co) algebraic theory of succinct automata
G Heerdt, J Moerman, M Sammartino, A Silva
2019
The system can't perform the operation now. Try again later.
Articles 1–20