Marco Montali

Available identifiers

zbMath Open montali.marcoWikidataQ57312359 ScholiaQ57312359MaRDI QIDQ315289

List of research outcomes

Publication	Date of Publication	Type
Correctness Notions for Petri Nets with Identifiers	2024-02-08	Paper
From DB-nets to Coloured Petri Nets with Priorities	2024-01-29	Paper
Optimising business process discovery using answer set programming	2023-04-04	Paper
CTL* model checking for data-aware dynamic systems with arithmetic	2022-12-07	Paper
Combined covers and Beth definability	2022-11-09	Paper
Combination of uniform interpolants via Beth definability	2022-10-24	Paper
Data and process resonance. Identifier soundness for models of information systems	2022-08-19	Paper
Semantic DMN: Formalizing Decision Models with Domain Knowledge	2022-07-01	Paper
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q5013882	2021-12-03	Paper
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)	2021-11-24	Paper
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge	2021-09-03	Paper
SMT-based verification of data-aware processes: a model-theoretic approach	2020-12-08	Paper
From model completeness to verification of data aware processes	2020-06-04	Paper
Model completeness, covers and superposition	2020-03-10	Paper
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*	2018-10-02	Paper
Evaluating Compliance: From LTL to Abductive Logic Programming	2018-05-03	Paper
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus	2018-03-21	Paper
Model checking Petri nets with names using data-centric dynamic systems	2016-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3457205	2015-12-11	Paper
Verification of Context-Sensitive Knowledge and Action Bases	2015-01-14	Paper
Description Logic Knowledge and Action Bases	2013-05-02	Paper
Reactive Event Calculus for Monitoring Global Computing Applications	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3005894	2011-06-10	Paper
A Logic-Based, Reactive Calculus of Events	2011-03-28	Paper
Specification and verification of declarative open interaction models. A logic-based approach	2010-09-28	Paper
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework	2010-09-14	Paper
Social Commitments in Time: Satisfied or Compensated	2010-02-02	Paper
${\cal B}$ -Tropos	2009-02-12	Paper
Verification from Declarative Specifications Using Logic Programming	2009-01-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Montali