( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.

, , , , и . Artif. Intell. Medicine, (мая 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Другие публикации лиц с тем же именем

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