Marco Montali focuses on Business process, Programming language, Process mining, Process and Process modeling. His Business process study combines topics in areas such as Data science and Database. Many of his research projects under Programming language are closely connected to Management information systems with Management information systems, tying the diverse disciplines of science together.
His study in Process mining is interdisciplinary in nature, drawing from both Runtime verification and Theoretical computer science, Logic programming. His Process research incorporates themes from Risk analysis and Workflow. His study on Process modeling also encompasses disciplines like
His primary areas of investigation include Business process, Theoretical computer science, Programming language, Process and Software engineering. He interconnects Data science, Database and Linear temporal logic in the investigation of issues within Business process. His studies in Theoretical computer science integrate themes in fields like Representation, Semantics and Petri net.
When carried out as part of a general Process research project, his work on Process modeling and Process mining is frequently linked to work in TRACE, therefore connecting diverse disciplines of study. Marco Montali combines subjects such as Event and Automaton with his study of Process mining. His Software engineering research integrates issues from Service and Semantic Web.
Theoretical computer science, Process, Business process, Petri net and Model checking are his primary areas of study. His Theoretical computer science research includes themes of Semantics and Relevance. His work in the fields of Process, such as Process modeling, Process mining, Conformance checking and Business process management, overlaps with other areas such as TRACE.
His studies deal with areas such as Set and State as well as Process mining. His Business process research incorporates themes from Relational database, Software engineering and Artificial intelligence. His Parameterized complexity research focuses on subjects like Programming language, which are linked to Business Process Model and Notation.
His scientific interests lie mostly in Theoretical computer science, Petri net, Correctness, Model checking and Process. In his research, Event, Automaton, Process mining and Identification is intimately related to Relevance, which falls under the overarching field of Theoretical computer science. His study in Correctness is interdisciplinary in nature, drawing from both Soundness and Software engineering.
His study focuses on the intersection of Model checking and fields such as Parameterized complexity with connections in the field of Reachability, Decidability and Artifact. Marco Montali works on Process which deals in particular with Process modeling. His study looks at the relationship between Persistent data structure and fields such as Extension, as well as how they intersect with chemical problems.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Process Mining Manifesto
Wil van der Aalst;Wil van der Aalst;Arya Adriansyah;Ana Karla Alves de Medeiros;Franco Arcieri.
business process management (2012)
Declarative specification and verification of service choreographiess
Marco Montali;Maja Pesic;Wil M. P. van der Aalst;Federico Chesani.
ACM Transactions on The Web (2010)
Monitoring business constraints with linear temporal logic: an approach based on colored automata
Fabrizio Maria Maggi;Marco Montali;Michael Westergaard;Wil M. P. Van Der Aalst.
business process management (2011)
Verification of relational data-centric dynamic systems with external services
Babak Bagheri Hariri;Diego Calvanese;Giuseppe De Giacomo;Alin Deutsch.
symposium on principles of database systems (2013)
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
Compliance monitoring in business processes
Linh Thao Ly;Fabrizio Maria Maggi;Marco Montali;Stefanie Rinderle-Ma.
Information Systems (2015)
Foundations of data-aware process analysis: a database theory perspective
Diego Calvanese;Giuseppe De Giacomo;Marco Montali.
symposium on principles of database systems (2013)
Monitoring business constraints with the event calculus
Marco Montali;Fabrizio M. Maggi;Federico Chesani;Paola Mello.
ACM Transactions on Intelligent Systems and Technology (2014)
Specification and Verification of Declarative Open Interaction Models
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Federico Chesani;Evelina Lamma;Paola Mello;Marco Montali.
Transactions on Petri Nets and Other Models of Concurrency II (2009)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: