| CALF: categorical automata learning framework G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.05676, 2017 | 26 | 2017 |
| Learning automata with side-effects G Van Heerdt, M Sammartino, A Silva International Workshop on Coalgebraic Methods in Computer Science, 68-89, 2020 | 21 | 2020 |
| 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 | 21 | 2020 |
| 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 | 14 | 2018 |
| An abstract automata learning framework G van Heerdt Master’s thesis, Radboud University Nijmegen, 2016 | 14 | 2016 |
| Learning Pomset Automata. G van Heerdt, T Kappé, J Rot, A Silva FoSSaCS, 510-530, 2021 | 9 | 2021 |
| Canonical automata via distributive law homomorphisms S Zetzsche, G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:2104.13421, 2021 | 8 | 2021 |
| Tree automata as algebras: Minimisation and determinisation G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva arXiv preprint arXiv:1904.08802, 2019 | 8 | 2019 |
| Optimizing automata learning via monads G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.08055, 2017 | 7 | 2017 |
| 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 | 4 | 2020 |
| 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 | 4 | 2019 |
| 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 | 3 | 2022 |
| Learning to coordinate G van Heerdt, B Jacobs, T Kappé, A Silva It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018 | 3 | 2018 |
| Efficient Inference of Mealy Machines G van Heerdt Bachelor thesis, Radboud University Nijmegen, 2014 | 3 | 2014 |
| 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) A Dawar, D Leivant, PG Kolaitis, L Kovács, S Kreutzer, M Mahajan, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
| 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 |
Alexandra SilvaCornell UniversityBestätigte E-Mail-Adresse bei cornell.edu
