Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Montali
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j51]Anti Alman
, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139: 102512 (2023)- [j50]Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - [j49]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. 145: 102157 (2023) - [j48]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Data-aware conformance checking with SMT. Inf. Syst. 117: 102230 (2023) - [j47]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. 35(11): 11784-11800 (2023) - [j46]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c187]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT Safety Verification of Ontology-Based Processes. AAAI 2023: 6271-6279 - [c186]Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler:
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI 2023: 6346-6354 - [c185]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf:
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets 2023: 37-58 - [c184]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. AAMAS 2023: 2361-2363 - [c183]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Collaborative sfDECLARE. BPM (Forum) 2023: 55-72 - [c182]Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler:
Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM 2023: 74-91 - [c181]Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz:
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. BPM (Demos / Resources Forum) 2023: 112-116 - [c180]Francesco Riva, Dario Benvenuti, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases. BPM (Forum) 2023: 214-231 - [c179]Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali:
Extracting Event Data from Document-Driven Enterprise Systems. CAiSE 2023: 193-209 - [c178]Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali:
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics 2023 - [c177]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. ECAI 2023: 319-326 - [c176]Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira:
Plan Recognition as Probabilistic Trace Alignment. ICPM 2023: 33-40 - [c175]Paolo Felli, Marco Montali, Sarah Winkler:
Repairing Soundness Properties in Data-Aware Processes. ICPM 2023: 41-48 - [c174]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI 2023: 3248-3257 - [c173]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali:
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). IJCAI 2023: 6452-6457 - [c172]Alessandro Burigana, Paolo Felli, Marco Montali:
delphic: Practical DEL Planning via Possibilities. JELIA 2023: 579-594 - [c171]Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali:
Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. PROFES (2) 2023: 13-19 - [e14]Tiago Prince Sales, Henderik A. Proper, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca:
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops - IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers. Lecture Notes in Business Information Processing 466, Springer 2023, ISBN 978-3-031-26885-4 [contents] - [e13]Marco Montali, Arik Senderovich, Matthias Weidlich:
Process Mining Workshops - ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers. Lecture Notes in Business Information Processing 468, Springer 2023, ISBN 978-3-031-27814-3 [contents] - [i55]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf:
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). CoRR abs/2303.10039 (2023) - [i54]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali:
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions. CoRR abs/2306.06376 (2023) - [i53]Alessandro Burigana, Paolo Felli, Marco Montali:
DELPHIC: Practical DEL Planning via Possibilities (Extended Version). CoRR abs/2307.15451 (2023) - [i52]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR abs/2307.15485 (2023) - [i51]Alessandro Gianola, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). CoRR abs/2310.12180 (2023) - [i50]Alessandro Berti, Marco Montali, Wil M. P. van der Aalst:
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review. CoRR abs/2311.08795 (2023) - 2022
- [j45]João Paulo A. Almeida, Thomas D. Kühne, Marco Montali:
Special Issue on Multi-Level Modeling Process Challenge Editorial. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022) - [j44]Marco Montali, Ingo Weber, Mathias Weske, Manfred Reichert:
Special issue: BPM 2018 selected papers in foundations and engineering. Inf. Syst. 103: 101477 (2022) - [j43]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022) - [j42]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic declarative process mining. Inf. Syst. 109: 102033 (2022) - [j41]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [j40]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31(4): 68:1-68:44 (2022) - [j39]Paul Fodor, Marco Montali:
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. Theory Pract. Log. Program. 22(2): 158-161 (2022) - [c170]Paolo Felli, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI 2022: 5642-5650 - [c169]Alessandro Burigana, Paolo Felli, Marco Montali:
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. OVERLAY@AI*IA 2022: 33-37 - [c168]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA 2022: 87-92 - [c167]Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali:
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets 2022: 369-392 - [c166]Marco Montali:
Constraints for Process Framing in AI-Augmented BPM. Business Process Management Workshops 2022: 5-12 - [c165]Heba Aamer, Marco Montali, Jan Van den Bussche:
What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops 2022: 132-144 - [c164]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Conformance Checking with Uncertainty via SMT. BPM 2022: 199-216 - [c163]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali:
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. BPM 2022: 324-342 - [c162]Paolo Felli, Marco Montali, Sarah Winkler:
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR 2022: 36-56 - [c161]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE 2022: 319-335 - [c160]Paolo Felli, Marco Montali, Sarah Winkler:
Soundness of Data-Aware Processes with Arithmetic Conditions. CAiSE 2022: 389-406 - [c159]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris:
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC 2022: 201-216 - [c158]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics 2022 - [c157]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC 2022: 217-234 - [c156]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops 2022: 466-478 - [c155]Paolo Felli, Marco Montali, Sarah Winkler:
Reasoning and Verification with Data Petri Nets. PMAI@IJCAI 2022: 73-76 - [c154]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c153]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c152]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Optimising Business Process Discovery Using Answer Set Programming. LPNMR 2022: 498-504 - [c151]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD 2022: 85-92 - [p5]Claudio Di Ciccio, Marco Montali:
Declarative Process Specifications: Reasoning, Discovery, Monitoring. Process Mining Handbook 2022: 108-152 - [e12]João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi, Claudenir M. Fonseca:
Enterprise Design, Operations, and Computing - 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings. Lecture Notes in Computer Science 13585, Springer 2022, ISBN 978-3-031-17603-6 [contents] - [e11]Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti:
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Wien, Austria, July 23, 2022. CEUR Workshop Proceedings 3310, CEUR-WS.org 2022 [contents] - [i49]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - [i48]Paolo Felli, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. CoRR abs/2203.07982 (2022) - [i47]Paolo Felli, Marco Montali, Sarah Winkler:
Soundness of Data-Aware Processes with Arithmetic Conditions. CoRR abs/2203.14809 (2022) - [i46]Paolo Felli, Marco Montali, Sarah Winkler:
CTL* model checking for data-aware dynamic systems with arithmetic. CoRR abs/2205.08976 (2022) - [i45]Heba Aamer, Marco Montali, Jan Van den Bussche:
What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR abs/2206.00140 (2022) - [i44]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR abs/2206.07461 (2022) - [i43]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR abs/2208.06377 (2022) - [i42]Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler:
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR abs/2211.17166 (2022) - [i41]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. CoRR abs/2212.07363 (2022) - [i40]Luca Geatti, Marco Montali, Andrey Rivkin:
Reactive Synthesis for DECLARE via symbolic automata. CoRR abs/2212.10875 (2022) - 2021
- [j38]Paolo Felli, Marco Montali, Maurizio Proietti:
Preface. Fundam. Informaticae 178(4) (2021) - [j37]Paolo Felli, Massimiliano de Leoni, Marco Montali:
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. Fundam. Informaticae 182(1): 1-29 (2021) - [j36]Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin:
Formal foundations for responsible application integration. Inf. Syst. 101: 101439 (2021) - [j35]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [j34]Massimiliano de Leoni, Paolo Felli, Marco Montali:
Integrating BPMN and DMN: Modeling and Analysis. J. Data Semant. 10(1-2): 165-188 (2021) - [j33]Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi:
Unleashing textual descriptions of business processes. Softw. Syst. Model. 20(6): 2131-2153 (2021) - [c150]Paolo Felli, Alessandro Gianola, Marco Montali:
SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI 2021: 6321-6330 - [c149]Gemma Di Federico, Andrea Burattin, Marco Montali:
Human Behavior as a Process Model: Which Language to Use? ITBPM@BPM 2021: 18-25 - [c148]Anti Alman, Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Han van der Aa:
RuM: Declarative Process Mining, Distilled. BPM 2021: 23-29 - [c147]Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus:
Process Mining with Common Sense. Problems@BPM 2021: 45-50 - [c146]Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali:
Exploring the Conformance Space (Extended abstract). ITBPM@BPM 2021: 62-67 - [c145]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196 - [c144]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM 2021: 217-234 - [c143]Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
Aligning Data-Aware Declarative Process Models and Event Logs. BPM 2021: 235-251 - [c142]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum 2021: 118-126 - [c141]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. CAiSE 2021: 193-209 - [c140]Stephan Haarmann, Marco Montali, Mathias Weske:
Refining Case Models Using Cardinality Constraints. CAiSE 2021: 296-310 - [c139]Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. CILC 2021: 62-76 - [c138]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics 2021 - [c137]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics 2021 - [c136]Alessandro Gianola, Marco Montali, Matteo Papini:
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF 2021: 43-48 - [c135]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. ICPM 2021: 9-16 - [c134]Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli:
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021: 1859-1865 - [e10]João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales:
23rd IEEE Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 1. IEEE 2021, ISBN 978-1-6654-2069-3 [contents] - [e9]João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales:
23rd Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 2. IEEE 2021, ISBN 978-1-6654-2069-3 [contents] - [i39]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR abs/2103.10507 (2021) - [i38]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. CoRR abs/2107.03997 (2021) - [i37]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR abs/2108.12330 (2021) - [i36]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Process discovery on deviant traces and other stranger things. CoRR abs/2109.14883 (2021) - [i35]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR abs/2111.13136 (2021) - 2020
- [j32]José Miguel Pérez-Álvarez, María Teresa Gómez López, Rik Eshuis, Marco Montali, Rafael M. Gasca:
Verifying the manipulation of data objects according to business process and data models. Knowl. Inf. Syst. 62(7): 2653-2683 (2020) - [j31]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [j30]Diego Calvanese, Paul Fodor, Marco Montali:
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News 7(2): 16-18 (2020) - [c133]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Temporal Logics Over Finite Traces with Uncertainty. AAAI 2020: 10218-10225 - [c132]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman:
Extending Temporal Business Constraints with Uncertainty. BPM 2020: 35-54 - [c131]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74 - [c130]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c129]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Conformance Checking Based on Declarative Process Models. CAiSE Forum 2020: 86-99 - [c128]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). Description Logics 2020 - [c127]Marco Montali, Andrey Rivkin, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data. EDOC 2020: 67-76 - [c126]Massimiliano de Leoni, Paolo Felli, Marco Montali:
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. KR 2020: