( en | de | ru )

 

Disambiguierung von "Bresolin, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Decidable Spatial Generalization of Metric Interval Temporal Logic.

, , , , und . TIME, Seite 95-102. IEEE Computer Society, (2010)

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.

Geraldine Bresolin

Davide Pennino

Davide Cadamuro

Davide Batic

Davide Pagani

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification of robotic surgery tasks by reachability analysis., , , , und . Microprocess. Microsystems, 39 (8): 836-842 (2015)DL-Lite and Interval Temporal Logics: a Marriage Proposal., , , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 957-958. IOS Press, (2014)Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders., , , und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2011)On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures., , , , und . LATA, Volume 8977 von Lecture Notes in Computer Science, Seite 511-523. Springer, (2015)Open Problems in Verification and Refinement of Autonomous Robotic Systems., , , , , und . DSD, Seite 469-476. IEEE Computer Society, (2012)An Optimal Decision Procedure for MPNL over the Integers, , , und . GandALF, Volume 54 von EPTCS, Seite 192-206. (2011)On Decidability and Expressiveness of Propositional Interval Neighborhood Logics., , , und . LFCS, Volume 4514 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2007)Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability., , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 695-700. IOS Press, (2010)Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty., und . Inf. Syst., (Oktober 2023)Static and dynamic property-preserving updates., und . Inf. Comput., (2021)