Browse by UCL people
Group by: Type | Date
Number of items: 12.
Article
Heerdt, GV;
Sammartino, M;
Silva, A;
(2019)
Optimizing Automata Learning via Monads.
arXiv
|
|
Sammartino, M;
Van Heerdt, G;
Silva, A;
Moerman, J;
(2019)
A (co)algebraic theory of succinct automata.
Journal of Logical and Algebraic Methods in Programming
, 105
pp. 112-125.
10.1016/j.jlamp.2019.02.008.
|
|
van Heerdt, G;
Kupke, C;
Rot, J;
Silva, A;
(2020)
Learning Weighted Automata over Principal Ideal Domains.
Lecture Notes in Computer Science
, 12077
pp. 602-621.
10.1007/978-3-030-45231-5_31.
|
 |
Book chapter
|
van Heerdt, G;
Jacobs, B;
Kappé, T;
Silva, A;
(2018)
Learning to Coordinate.
In: de Boer, F and Bonsangue, M and Rutten, J, (eds.)
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab.
(pp. 139-159).
Springer: Cham, Switzerland.
|
Proceedings paper
|
Heerdt, GV;
Kappé, T;
Rot, J;
Sammartino, M;
Silva, A;
(2022)
A Categorical Framework for Learning Generalised Tree Automata.
In:
Coalgebraic Methods in Computer Science.
(pp. pp. 67-87).
Springer Nature: Cham, Switzerland.
|
|
Heerdt, GV;
Kappé, T;
Rot, J;
Silva, A;
(2021)
Learning Pomset Automata.
In: Kiefer, S and Tasson, C, (eds.)
Foundations of Software Science and Computation Structures. FOSSACS 2021.
(pp. pp. 510-530).
Springer: Cham, Switzerland.
|
|
|
van Heerdt, G;
Hsu, J;
Ouaknine, J;
Silva, A;
(2018)
Convex Language Semantics for Nondeterministic Probabilistic Automata.
In: Fischer, B and Uustalu, T, (eds.)
Theoretical Aspects of Computing – ICTAC 2018. ICTAC 2018. Lecture Notes in Computer Science.
(pp. pp. 472-492).
Springer: Cham.
|
|
van Heerdt, G;
Kappé, T;
Rot, J;
Sammartino, M;
Silva, A;
(2019)
Tree automata as algebras: Minimisation and determinisation.
In:
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019).
(pp. 6:1-6:22).
LIPICS
|
|
|
van Heerdt, G;
Sammartino, M;
Silva, A;
(2020)
Learning automata with side-effects.
In:
Coalgebraic Methods in Computer Science.
(pp. pp. 68-89).
Springer Nature
|
|
|
Van Heerdt, G;
Sammartino, M;
Silva, A;
(2017)
CALF: Categorical automata learning framework.
In: Goranko, V and Dam, M, (eds.)
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017).
(pp. 29:1-29:24).
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.
|
|
|
Zetzsche, S;
van Heerdt, G;
Sammartino, M;
Silva, A;
(2021)
Canonical Automata via Distributive Law Homomorphisms.
In:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021).
(pp. pp. 296-313).
|
|
Thesis
|
Van Heerdt, Gerrit Kornelis;
(2020)
CALF: Categorical Automata Learning Framework.
Doctoral thesis (Ph.D), UCL (University College London).
|
|
