Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Compositional Automata Learning of Synchronous Systems
Neele, T. & Sammartino, M., 20 Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). Springer, p. 47-66 20 p. (Lecture Notes in Computer Science; vol. 13991).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Generators and Bases for Monadic Closures
Zetzsche, S., Silva, A. & Sammartino, M., 2 Sept 2023, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Baldan, P. & de Paiva, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 11:1–11:19 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 270).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
A Categorical Framework for Learning Generalised Tree Automata
Heerdt, G. V., Kappé, T., Rot, J., Sammartino, M. & Silva, A., 23 Jul 2022, 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. Hansen, H. H. & Zanasi, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 67-87 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile31 Downloads (Pure) -
Categorical specification and implementation of Replicated Data Types
Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 8 Feb 2022, In: Theoretical Computer Science. 903, p. 84-112 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile24 Downloads (Pure) -
RESIDUALITY AND LEARNING FOR NONDETERMINISTIC NOMINAL AUTOMATA
Moerman, J. & Sammartino, M., 3 Feb 2022, In: Logical Methods in Computer Science. 18, 1, 28.Research output: Contribution to journal › Article › peer-review
Open Access
Projects
- 1 Active
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Sammartino, M. (PI)
Eng & Phys Sci Res Council EPSRC
6/01/20 → 31/03/25
Project: Research