( en | de | ru )

 

Disambiguierung von "Sammartino, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Programming on Nominal Graphs.

, , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matteo Garavoglia

Marco Matteo

Matteo Bertini

Matteo Rini

Matteo Gabba

 

Weitere Publikationen von Autoren mit dem selben Namen

A coalgebraic semantics for causality in Petri nets., , und . J. Log. Algebraic Methods Program., 84 (6): 853-883 (2015)A network-conscious π-calculus and its coalgebraic semantics., und . Theor. Comput. Sci., (2014)Algebras for Tree Decomposable Graphs., , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 203-220. Springer, (2020)From Local to Global Knowledge and Back., , , , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Learning nominal automata., , , , und . POPL, Seite 613-625. ACM, (2017)A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours., und . TGC, Volume 8902 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2014)Symbolic Register Automata., , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2019)Tree Automata as Algebras: Minimisation and Determinisation., , , , und . CALCO, Volume 139 von LIPIcs, Seite 6:1-6:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)CALF: Categorical Automata Learning Framework., , und . CSL, Volume 82 von LIPIcs, Seite 29:1-29:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Symbolic Register Automata., , , und . CoRR, (2018)