What is he best known for?
The fields of study he is best known for:
- Programming language
- Artificial intelligence
- Database
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
- Business process discovery and related Data mining,
- Business process modeling together with Business process management, Database theory and XPDL.
His most cited work include:
- Process Mining Manifesto (684 citations)
- Declarative specification and verification of service choreographiess (188 citations)
- Monitoring business constraints with linear temporal logic: an approach based on colored automata (173 citations)
What are the main themes of his work throughout his whole career to date?
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.
He most often published in these fields:
- Business process (27.53%)
- Theoretical computer science (27.13%)
- Programming language (20.24%)
What were the highlights of his more recent work (between 2017-2021)?
- Theoretical computer science (27.13%)
- Process (17.81%)
- Business process (27.53%)
In recent papers he was focusing on the following fields of study:
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.
Between 2017 and 2021, his most popular works were:
- Multi-party business process compliance monitoring through IoT-enabled artifacts (19 citations)
- Semantics, Analysis and Simplification of DMN Decision Tables (18 citations)
- First-order μ-calculus over generic transition systems and applications to the situation calculus (17 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Artificial intelligence
- Database
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.
