Gerco Van Heerdt
AuthID: R-00H-71G
1
TÃTULO: A Coalgebraic Approach to Reducing Finitary Automata
AUTORES: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.14916
AUTORES: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.14916
INDEXADO EM: DBLP
2
TÃTULO: A Categorical Framework for Learning Generalised Tree Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
INDEXADO EM: DBLP
3
TÃTULO: Learning Pomset Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2102.07504
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2102.07504
INDEXADO EM: DBLP
4
TÃTULO: Learning Pomset Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, VOLUME: 12650
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, VOLUME: 12650
INDEXADO EM: DBLP
5
TÃTULO: Canonical automata via distributive law homomorphisms
AUTORES: Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.13421
AUTORES: Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.13421
INDEXADO EM: DBLP
6
TÃTULO: Learning Weighted Automata over Principal Ideal Domains
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
INDEXADO EM: DBLP
7
TÃTULO: A Categorical Framework for Learning Generalised Tree Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.05786
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.05786
INDEXADO EM: DBLP
8
TÃTULO: Learning Automata with Side-Effects
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
INDEXADO EM: DBLP
9
TÃTULO: Tree Automata as Algebras: Minimisation and Determinisation
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
INDEXADO EM: DBLP
10
TÃTULO: Tree Automata as Algebras: Minimisation and Determinisation PDF
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08802
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08802
INDEXADO EM: DBLP arXiv