( en | de | ru )

 

Disambiguierung von "Patrizi, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Generic, Relational Transition Systems.

, , , und . PMAI@IJCAI, Volume 3310 von CEUR Workshop Proceedings, Seite 93-96. CEUR-WS.org, (2022)

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.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating ASP and Commercial Solvers on the CSPLib., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 68-72. IOS Press, (2006)ASP-Based Declarative Process Mining., , und . AAAI, Seite 5539-5547. AAAI Press, (2022)Discovering Declarative Process Model Behavior from Event Logs via Model Learning., , , , , und . ICPM, Seite 48-55. IEEE, (2021)First-order μ-calculus over generic transition systems and applications to the situation calculus., , , und . Inf. Comput., 259 (3): 328-347 (2018)Monitoring Arithmetic Temporal Properties on Finite Traces., , , und . CoRR, (2022)A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory., , , , und . Inf. Syst., (Oktober 2023)Modeling and In-Database Management of Relational, Data-Aware Processes., , , und . CAiSE, Volume 11483 von Lecture Notes in Computer Science, Seite 328-345. Springer, (2019)Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners., , und . IJCAI, Seite 2343-2349. IJCAI/AAAI, (2013)Verification of Generic, Relational Transition Systems., , , und . PMAI@IJCAI, Volume 3310 von CEUR Workshop Proceedings, Seite 93-96. CEUR-WS.org, (2022)Timed Trace Alignment with Metric Temporal Logic over Finite Traces., , , und . KR, Seite 227-236. (2021)