Gerco van Heerdt

According to our database, Gerco van Heerdt authored at least 13 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Coalgebraic Approach to Reducing Finitary Automata.

Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman

CoRR, 2023

2022

A Categorical Framework for Learning Generalised Tree Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2022

Tree-Based Adaptive Model Learning.

Tiago Ferreira, Gerco van Heerdt, Alexandra Silva

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Canonical automata via distributive law homomorphisms.

Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Learning Pomset Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

CALF - Categorical Automata Learning Framework.

Gerrit Kornelis Van Heerdt

PhD thesis, 2020

Learning Weighted Automata over Principal Ideal Domains.

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Learning Automata with Side-Effects.

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

A (co)algebraic theory of succinct automata.

Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2019

Tree Automata as Algebras: Minimisation and Determinisation.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Convex Language Semantics for Nondeterministic Probabilistic Automata.

Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Learning to Coordinate.

Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva

Proceedings of the It's All About Coordination, 2018

2017

CALF: Categorical Automata Learning Framework.

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017