CALF: Categorical Automata Learning Framework. - Gerco van Heerdt; Matteo Sammartino; Alexandra Silva 001 (CSL, 2017)

Learning to Coordinate. - Gerco van Heerdt; Bart Jacobs 001; Tobias Kappé; Alexandra Silva 001 (It's All About Coordination, 2018)

Tree Automata as Algebras: Minimisation and Determinisation. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva 001 (CALCO, 2019)

A (co)algebraic theory of succinct automata. - Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2019)

Learning Automata with Side-Effects. - Gerco van Heerdt; Matteo Sammartino; Alexandra Silva 001 (CMCS, 2020)

Learning Weighted Automata over Principal Ideal Domains. - Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva 001 (FoSSaCS, 2020)

CALF - Categorical Automata Learning Framework. - Gerrit Kornelis Van Heerdt (2020)

Learning Pomset Automata. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (FoSSaCS, 2021)

Canonical automata via distributive law homomorphisms. - Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva 001; Matteo Sammartino (MFPS, 2021)

Tree-Based Adaptive Model Learning. - Tiago Ferreira 001; Gerco van Heerdt; Alexandra Silva 001 (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A Categorical Framework for Learning Generalised Tree Automata. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva 001 (CMCS, 2022)

A Coalgebraic Approach to Reducing Finitary Automata. - Keri D'Angelo; Alexandra Silva 001; Gerco van Heerdt; Leon Witzman (CoRR, 2023)

Convex language semantics for nondeterministic probabilistic automata. - Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva 001 (Theor. Comput. Sci., 2025)