( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

, , , и . IJCAI, стр. 4247-4253. AAAI Press, (2015)

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.

Marco Montali

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

 

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

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness., , и . Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, стр. 1027-1033. AAAI Press, (2014)Fifty Shades of Green: How Informative is a Compliant Process Trace?, , , и . CAiSE, том 11483 из Lecture Notes in Computer Science, стр. 611-626. Springer, (2019)Model Completeness, Covers and Superposition., , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis., , , и . IJCAI, стр. 4247-4253. AAAI Press, (2015)Exploiting Inductive Logic Programming Techniques for Declarative Process Mining., , , , , и . Trans. Petri Nets Other Model. Concurr., (2009)Soundness of Data-Aware Processes with Arithmetic Conditions., , и . CAiSE, том 13295 из Lecture Notes in Computer Science, стр. 389-406. Springer, (2022)Extracting Event Data from Document-Driven Enterprise Systems., , , и . CAiSE, том 13901 из Lecture Notes in Computer Science, стр. 193-209. Springer, (2023)Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines, , , , , , и . Knowledge Representation for Health-Care. Data, Processes and Guidelines, Springer, (2010)The biggest business process management problems to solve before we die., , , , , , , , , и 32 other автор(ы). Comput. Ind., (апреля 2023)Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)., , и . CoRR, (2023)