( en | de | ru )

 

Disambiguierung von "Molinari, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete.

, , , , und . GandALF, Volume 226 von EPTCS, Seite 76-90. (2016)

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.

Emil Molinari

Franz Molinari

Lise Molinari

Marc Molinari

Alberto Fierro

 

Weitere Publikationen von Autoren mit dem selben Namen

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison., , , , und . CoRR, (2017)Timeline-based planning over dense temporal domains., , , , und . Theor. Comput. Sci., (2020)Model checking interval temporal logics with regular expressions., , , und . Inf. Comput., (2020)Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption., , , , und . CoRR, (2020)Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption., , , , und . Log. Methods Comput. Sci., (2022)Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling., , , , und . ICTCS, Volume 1720 von CEUR Workshop Proceedings, Seite 49-61. CEUR-WS.org, (2016)Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy., , , , und . Inf. Comput., (2018)Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives., , und . CoRR, (2017)Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives., , und . Inf. Comput., 259 (3): 412-443 (2018)Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains., , , und . KR, Seite 627-628. AAAI Press, (2018)