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
122017
An abstract automata learning framework
G van Heerdt
Master’s thesis, Radboud University Nijmegen, 2016
92016
Learning weighted automata over principal ideal domains
G van Heerdt, C Kupke, J Rot, A Silva
International Conference on Foundations of Software Science and Computation …, 2020
82020
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
82018
Learning automata with side-effects
G van Heerdt, M Sammartino, A Silva
International Workshop on Coalgebraic Methods in Computer Science, 68-89, 2020
62020
Optimizing automata learning via monads
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.08055, 2017
62017
Efficient Inference of Mealy Machines
G van Heerdt
Bachelor thesis, Radboud University Nijmegen, 2014
52014
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
32020
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
32019
Tree automata as algebras: Minimisation and determinisation
G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva
arXiv preprint arXiv:1904.08802, 2019
12019
Learning to Coordinate
G van Heerdt, B Jacobs, T Kappé, A Silva
It's All About Coordination, 139-159, 2018
12018
Canonical automata via distributive law homomorphisms
S Zetzsche, G van Heerdt, A Silva, M Sammartino
arXiv preprint arXiv:2104.13421, 2021
2021
Learning Pomset Automata
S Kiefer, C Tasson, G van Heerdt, T Kappé, J Rot, A Silva
Foundations of Software Science and Computation Structures24th International …, 2021
2021
Learning Pomset Automata⋆
G van Heerdt, T Kappé, J Rot, A Silva
of Software Science and Computation Structures LNCS 12650, 510, 2021
2021
Full reduction at full throttle
G van Heerdt
2014
The system can't perform the operation now. Try again later.
Articles 1–15