( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multi-model Monitoring Framework for Hybrid Process Specifications.

, , , , и . CAiSE, том 13295 из Lecture Notes in Computer Science, стр. 319-335. Springer, (2022)

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 Ruggiero

Fábio Favarim

 

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

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)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)On the Separability of Subproblems in Benders Decompositions., и . CPAIOR, том 3990 из Lecture Notes in Computer Science, стр. 74-88. Springer, (2006)ASP-Based Declarative Process Mining., , и . AAAI, стр. 5539-5547. AAAI Press, (2022)