( en | de | ru )

 

Disambiguierung von "Montali, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From DB-nets to Coloured Petri Nets with Priorities (Extended Version).

, und . CoRR, (2019)

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.

Marco Montali

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Johannes Marcour

 

Weitere Publikationen von Autoren mit dem selben Namen

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach., , , , und . CoRR, (2021)Conceptually-grounded mapping patterns for Virtual Knowledge Graphs., , , , , und . Data Knowl. Eng., (Mai 2023)Process discovery on deviant traces and other stranger things., , , , , , , und . CoRR, (2021)Semantics and Analysis of DMN Decision Tables., , , , , und . EMISA Forum, 37 (1): 49-51 (2017)Semantic Enrichment of GSM-Based Artifact-Centric Models, , , und . Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR, AAAI Press, (2014)From DB-nets to Coloured Petri Nets with Priorities (Extended Version)., und . CoRR, (2019)Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019., und . Theory Pract. Log. Program., 22 (2): 158-161 (2022)From DB-nets to Coloured Petri Nets with Priorities., und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 449-469. Springer, (2019)Combined Covers and Beth Definability., , , , und . CoRR, (2019)Conformance Checking with Uncertainty via SMT., , , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 199-216. Springer, (2022)