Gerco van Heerdt

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	A Categorical Framework for Learning Generalised Tree Automata	2022	Gerco van Heerdt Tobias Kappé Jurriaan Rot Matteo Sammartino Alexandra Silva
+	Tree-Based Adaptive Model Learning	2022	Tiago Ferreira Gerco van Heerdt Alexandra Silva
+ PDF Chat	Tree-Based Adaptive Model Learning	2022	Tiago Ferreira Gerco van Heerdt Alexandra Silva
+ PDF Chat	Canonical Automata via Distributive Law Homomorphisms	2021	Stefan Zetzsche Gerco van Heerdt Matteo Sammartino Alexandra Silva
+	Canonical automata via distributive law homomorphisms.	2021	Stefan Zetzsche Gerco van Heerdt Alexandra Silva Matteo Sammartino
+ PDF Chat	Learning Weighted Automata over Principal Ideal Domains	2021	Gerco van Heerdt
+ PDF Chat	Learning Pomset Automata	2021	Gerco van Heerdt
+	Learning Pomset Automata	2021	Gerco van Heerdt Tobias Kappé Jurriaan Rot Alexandra Silva
+	Learning Pomset Automata	2021	Gerco van Heerdt Tobias Kappé Jurriaan Rot Alexandra Silva
+	A Categorical Framework for Learning Generalised Tree Automata	2020	Gerco van Heerdt Tobias Kappé Jurriaan Rot Matteo Sammartino Alexandra Silva
+	Learning Weighted Automata over Principal Ideal Domains	2019	Gerco van Heerdt Clemens Kupke Jurriaan Rot Alexandra Silva
+	A (co)algebraic theory of succinct automata	2019	Gerco van Heerdt Joshua Moerman Matteo Sammartino Alexandra Silva
+	Tree Automata as Algebras: Minimisation and Determinisation	2019	Gerco van Heerdt Tobias Kappé Jurriaan Rot Matteo Sammartino Alexandra Silva
+	Tree Automata as Algebras: Minimisation and Determinisation	2019	Gerco van Heerdt Tobias Kappé Jurriaan Rot Matteo Sammartino Alexandra Silva
+	Learning Weighted Automata over Principal Ideal Domains	2019	Gerco van Heerdt Clemens Kupke Jurriaan Rot Alexandra Silva
+ PDF Chat	Convex Language Semantics for Nondeterministic Probabilistic Automata	2018	Gerco van Heerdt Justin Hsu Joël Ouaknine Alexandra Silva
+	Convex Language Semantics for Nondeterministic Probabilistic Automata	2018	Gerco van Heerdt Justin Hsu Joël Ouaknine Alexandra Silva
+	CALF: Categorical automata learning framework	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva
+	Learning Automata with Side-Effects	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva
+	CALF: Categorical Automata Learning Framework	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva
+	Optimizing Automata Learning via Monads	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva

Common Coauthors

Coauthor	Papers Together
Alexandra Silva	19
Matteo Sammartino	11
Jurriaan Rot	8
Tobias Kappé	6
Clemens Kupke	2
Joël Ouaknine	2
Justin Hsu	2
Tiago Ferreira	2
Stefan Zetzsche	2
Joshua Moerman	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Generalizing determinization from automata to coalgebras	2013	Alexandra Silva Filippo Bonchi Marcello Bonsangue Jan Rutten	4
+ PDF Chat	Learning nominal automata	2016	Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin Michał Szynwelski	3
+	Optimizing Automata Learning via Monads	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva	3
+	Learning Automata with Side-Effects	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva	3
+	Coalgebraic Determinization of Alternating Automata.	2018	Meven Bertrand Jurriaan Rot	3
+ PDF Chat	Recognisable Languages over Monads	2015	Mikołaj Bojańczyk	3
+	A (co)algebraic theory of succinct automata	2019	Gerco van Heerdt Joshua Moerman Matteo Sammartino Alexandra Silva	2
+	Concurrent Kleene Algebra: Free Model and Completeness	2018	Tobias Kappé Paul Brunet Alexandra Silva Fabio Zanasi	2
+	Weighted Automata in Text and Speech Processing	2005	Mehryar Mohri Fernando Pereira Michael Riley	2
+	SUBSPACES IN ABSTRACT STONE DUALITY	2002	Paul Taylor	2
+ PDF Chat	No-Go Theorems for Distributive Laws	2019	Maaike Zwart Dan Marsden	2
+ PDF Chat	Adjoint functors and triples	1965	Samuel Eilenberg John C. Moore	2
+ PDF Chat	$$L^*$$-Based Learning of Markov Decision Processes	2019	Martin Tappler Bernhard K. Aichernig Giovanni Bacci Maria Eichlseder Kim G. Larsen	2
+ PDF Chat	Presenting Distributive Laws	2013	Marcello Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot	2
+ PDF Chat	Generating Posets Beyond N	2020	Uli Fahrenberg Christian Johansen Georg Struth Ratan Bahadur Thapa	2
+	Equivalence checking for weak bi-Kleene algebra	2018	Tobias Kappé Paul Brunet Bas Luttik Alexandra Silva Fabio Zanasi	2
+	On series-parallel pomset languages: Rationality, context-freeness and automata	2018	Tobias Kappé Paul Brunet Bas Luttik Alexandra Silva Fabio Zanasi	2
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova	1
+	Positivity problems for low-order linear recurrence sequences	2014	Joël Ouaknine James Worrell	1
+	Automata Learning: An Algebraic Approach	2019	Henning Urbat Lutz Schröder	1
+ PDF Chat	Learning nominal automata	2017	Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin Michał Szynwelski	1
+ PDF Chat	On Well-Founded and Recursive Coalgebras	2020	Jiřı́ Adámek Stefan Milius Lawrence S. Moss	1
+ PDF Chat	Generic Trace Semantics via Coinduction	2007	Ichiro Hasuo Bart Jacobs Ana Sokolova	1
+ PDF Chat	Learning Pomset Automata	2021	Gerco van Heerdt	1
+	Learning Pomset Automata	2021	Gerco van Heerdt Tobias Kappé Jurriaan Rot Alexandra Silva	1
+	Basic Algebra I.	1986	Andy R. Magid Nathan Jacobson	1
+ PDF Chat	Prognosis	2021	Tiago Ferreira Harrison Brewton Loris D’Antoni Alexandra Silva	1
+ PDF Chat	Canonical Automata via Distributive Law Homomorphisms	2021	Stefan Zetzsche Gerco van Heerdt Matteo Sammartino Alexandra Silva	1
+	Lectures in Abstract Algebra	1953	Nathan Jacobson	1
+	Onto Endomorphisms are Isomorphisms	1971	Morris Orzech	1
+	Coalgebraic Determinization of Alternating Automata	2018	Meven Bertrand Jurriaan Rot	1
+	Lifting theorems for Kleisli categories	1994	Philip S. Mulry	1
+	Locally Presentable and Accessible Categories	1994	J. Adámek J. Rosicky	1
+	Adjoint Lifting Theorems for Categories of Algebras	1975	Peter Johnstone	1
+	Free iterative theories: a coalgebraic view	2003	Ji � Ad�mek Stefan Milius J. Velebil	1
+ PDF Chat	Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes	2014	Marco Bernardo Rocco De Nicola Michele Loreti	1
+ PDF Chat	XV. On systems of linear indeterminate equations and congruences	1861	Henry J. Stephen Smith	1
+	RECURRENCE SEQUENCES (Mathematical Surveys and Monographs 104) By GRAHAM EVEREST, ALF VAN DER POORTEN, IGOR SHPARLINSKI and THOMAS WARD: 318 pp., US$79.00, ISBN 0-8218-3387-1 (American Mathematical Society, Providence, RI, 2003)	2004	Pieter Moree	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+ PDF Chat	Towards a Coalgebraic Chomsky Hierarchy	2014	Sergey Goncharov Stefan Milius Alexandra Silva	1
+ PDF Chat	Probabilistic Bisimulation: Naturally on Distributions	2014	Holger Hermanns Jan Krčál Jan Křetínský	1
+	Onto Endomorphisms are Isomorphisms	1971	Morris Orzech	1
+	CALF: Categorical Automata Learning Framework	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva	1
+	A Coalgebraic Paige-Tarjan Algorithm.	2017	Ulrich Dorsch Stefan Milius Lutz Schröder Thorsten Wißmann	1
+ PDF Chat	Coalgebraic trace semantics via forgetful logics	2017	Bartek Klin Jurriaan Rot	1
+	CALF: Categorical automata learning framework	2017	Gerco van Heerdt Matteo Sammartino Alexandra Silva	1
+ PDF Chat	Linear Temporal Logic for Regular Cost Functions	2014	Denis Kuperberg	1