Matteo Zavatteri

Matteo Zavatteri

Università degli Studi di Verona

H-index: 11

Europe-Italy

About Matteo Zavatteri

Matteo Zavatteri, With an exceptional h-index of 11 and a recent h-index of 11 (since 2020), a distinguished researcher at Università degli Studi di Verona, specializes in the field of AI, formal methods, discrete event systems, discrete dynamic control, temporal planning under uncertainty.

His recent articles reflect a diverse array of research interests and contributions to the field:

Department of Mathematics, University of Padova, Padua, Italy {matteo. zavatteri, d, davide. bresolin, massimiliano. deleoni}@ unipd. it

An interdisciplinary experimental evaluation on the disjunctive temporal problem

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty

Repair of unsound data-aware process models

Reducing the number of disjuncts in DTPs

Dynamic controllability of temporal networks with instantaneous reaction

A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia

Dynamic Controllability of Temporal Networks via Supervisory Control.

Matteo Zavatteri Information

University

Position

___

Citations(all)

298

Citations(since 2020)

270

Cited By

191

hIndex(all)

11

hIndex(since 2020)

11

i10Index(all)

11

i10Index(since 2020)

11

Email

University Profile Page

Università degli Studi di Verona

Google Scholar

View Google Scholar Profile

Matteo Zavatteri Skills & Research Interests

AI

formal methods

discrete event systems

discrete dynamic control

temporal planning under uncertainty

Top articles of Matteo Zavatteri

Title

Journal

Author(s)

Publication Date

Department of Mathematics, University of Padova, Padua, Italy {matteo. zavatteri, d, davide. bresolin, massimiliano. deleoni}@ unipd. it

Business Process Management Workshops: BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers

Matteo Zavatteri

2024/2/11

An interdisciplinary experimental evaluation on the disjunctive temporal problem

Constraints

Matteo Zavatteri

Alice Raffaele

Dario Ostuni

Romeo Rizzi

2023/3

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty

Information Systems

Davide Bresolin

Matteo Zavatteri

2023/10/1

Repair of unsound data-aware process models

Matteo Zavatteri

Davide Bresolin

Massimiliano de Leoni

2023/9/11

Reducing the number of disjuncts in DTPs

Information and Computation

Alice Raffaele

Matteo Zavatteri

2023/8/1

Dynamic controllability of temporal networks with instantaneous reaction

Information Sciences

Matteo Zavatteri

Romeo Rizzi

Tiziano Villa

2022/10/1

A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia

Alice Raffaele

Matteo Zavatteri

Fabio Bazzoli

Marco Gussago

Romeo Rizzi

2022/2/23

Dynamic Controllability of Temporal Networks via Supervisory Control.

Matteo Zavatteri

Davide Bresolin

Romeo Rizzi

Tiziano Villa

2022

Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way

Information and Computation

Matteo Zavatteri

Carlo Combi

Romeo Rizzi

Luca Viganò

2021/10/1

Resource controllability of business processes under conditional uncertainty

Journal on Data Semantics

Matteo Zavatteri

Carlo Combi

Luca Viganò

2021/6

Faster and Better Simple Temporal Problems

Proceedings of the AAAI Conference on Artificial Intelligence

Dario Ostuni

Alice Raffaele

Romeo Rizzi

Matteo Zavatteri

2021/5/18

Mining Temporal Networks: Results and Open Problems.

Guido Sciavicco

Tiziano Villa

Matteo Zavatteri

2021

Mining CSTNUDs significant for a set of traces is polynomial

Information and Computation

Guido Sciavicco

Matteo Zavatteri

Tiziano Villa

2021/12/1

On the complexity of resource controllability in business process management

Matteo Zavatteri

Romeo Rizzi

Tiziano Villa

2020

Mining significant temporal networks is polynomial

Guido Sciavicco

Matteo Zavatteri

Tiziano Villa

2020

Dynamic controllability and (J, K)-resiliency in generalized constraint networks with uncertainty

Proceedings of the International Conference on Automated Planning and Scheduling

Matteo Zavatteri

Romeo Rizzi

Tiziano Villa

2020/6/1

See List of Professors in Matteo Zavatteri University(Università degli Studi di Verona)