( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Two Solutions for Checking LTLf Properties in Event Logs.

, , , , и . ICPM Doctoral Consortium / Demo, том 3648 из CEUR Workshop Proceedings, CEUR-WS.org, (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.

Pietro Maggi

Pierre Maggi

Carlo Maggini

Ivan Maggini

Valerio Maggio

 

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

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints., , , , , , , , и . CILC, том 3204 из CEUR Workshop Proceedings, стр. 201-216. CEUR-WS.org, (2022)Probabilistic Temporal Logic over Finite Traces (Technical Report)., , и . CoRR, (2019)Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities., , , и . RuleML, том 8620 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2014)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., и . OTM Conferences (1), том 7565 из Lecture Notes in Computer Science, стр. 250-267. Springer, (2012)Compliance Monitoring of Multi-Perspective Declarative Process Models., , и . EDOC, стр. 151-160. IEEE, (2019)Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces., , , и . CoRR, (2020)On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment., , , и . AAAI, стр. 3555-3561. AAAI Press, (2017)Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)., , и . IJCAI, стр. 6452-6457. ijcai.org, (2023)A Tool for the Analysis of DMN Decision Tables., и . BPM (Demos), том 1789 из CEUR Workshop Proceedings, стр. 56-60. CEUR-WS.org, (2016)Nirdizati 2.0: New Features and Redesigned Backend., , , , , и . BPM (PhD/Demos), том 2420 из CEUR Workshop Proceedings, стр. 154-158. CEUR-WS.org, (2019)