Folgen
Gerco van Heerdt
Gerco van Heerdt
Bestätigte E-Mail-Adresse bei ucl.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
CALF: categorical automata learning framework
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.05676, 2017
242017
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
112018
Canonical automata via distributive law homomorphisms
S Zetzsche, G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:2104.13421, 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
Learning Pomset Automata.
G van Heerdt, T Kappé, J Rot, A Silva
FoSSaCS, 510-530, 2021
52021
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
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
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
12022
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
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
X Chen, G Rosu, S Milius, M Sadrzadeh, D Pous, V Ciancia, Y Venema, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20