E-LIB Suche - Ergebnisse für: Heerdt, Gerco van

1

A Categorical Framework for Learning Generalised Tree Autom..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Heerdt, Gerco van ; Kappé, Tobias ; Rot, Jurriaan.. - p. 67-87 , 2022

Link: https://doi.org/10.1007/..

2

Tree-Based Adaptive Model Learning:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Ferreira, Tiago ; van Heerdt, Gerco ; Silva, Alexandra - p. 164-179 , 2022

Link: https://doi.org/10.1007/..

3

Learning Pomset Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan. - p. 510-530 , 2021

Link: https://doi.org/10.1007/..

4

Learning Automata with Side-Effects:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

van Heerdt, Gerco ; Sammartino, Matteo ; Silva, Alexandra - p. 68-89 , 2020

Link: https://doi.org/10.1007/..

5

Learning Weighted Automata over Principal Ideal Domains:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

van Heerdt, Gerco ; Kupke, Clemens ; Rot, Jurriaan. - p. 602-621 , 2020

Link: https://doi.org/10.1007/..

6

A (co)algebraic theory of succinct automata:

van Heerdt, Gerco ; Moerman, Joshua ; Sammartino, Matteo.
Journal of Logical and Algebraic Methods in Programming. 105 (2019) - p. 112-125 , 2019

Link: https://doi.org/10.1016/..

7

Convex Language Semantics for Nondeterministic Probabilisti..:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,

van Heerdt, Gerco ; Hsu, Justin ; Ouaknine, Joël. - p. 472-492 , 2018

Link: https://doi.org/10.1007/..

8

A Coalgebraic Approach to Reducing Finitary Automata:

D'Angelo, Keri ; Silva, Alexandra ; van Heerdt, Gerco.
http://arxiv.org/abs/2303.14916. , 2023

Link: http://arxiv.org/abs/230..

9

Tree-Based Adaptive Model Learning:

Ferreira, Tiago ; van Heerdt, Gerco ; Silva, Alexandra
http://arxiv.org/abs/2209.00122. , 2022

Link: http://arxiv.org/abs/220..

10

A Categorical Framework for Learning Generalised Tree Autom..:

Heerdt, Gerco van ; Kappé, Tobias ; Rot, Jurriaan..
https://rhul.elsevierpure.com/en/publications/d0cc62fe-8a55-4aa3-ade5-d50682d2add4. , 2022

Link: https://rhul.elsevierpur..

11

Canonical Automata via Distributive Law Homomorphisms:

Zetzsche, Stefan ; van Heerdt, Gerco ; Sammartino, Matteo.
http://arxiv.org/abs/2104.13421. , 2021

Link: http://arxiv.org/abs/210..

12

Learning Pomset Automata:

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan.
http://arxiv.org/abs/2102.07504. , 2021

Link: http://arxiv.org/abs/210..

13

Learning Pomset Automata:

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984277/. , 2021

Link: http://www.ncbi.nlm.nih...

14

Learning Automata with Side-Effects:

Heerdt, Gerco ; Sammartino, Matteo ; Silva, Alexandra
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-57201-3_5. , 2020

Link: https://hal.inria.fr/hal..

15

Learning Weighted Automata over Principal Ideal Domains:

van Heerdt, Gerco ; Kupke, Clemens ; Rot, Jurriaan.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788606/. , 2020

Link: http://www.ncbi.nlm.nih...