IRIS Institutional Research Information System

Zavatteri, Matteo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 115
NA - Nord America 39
EU - Europa 25
AF - Africa 6
SA - Sud America 3
Totale 188
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 52
CN - Cina 41
US - Stati Uniti d'America 33
IT - Italia 8
VN - Vietnam 8
FI - Finlandia 6
FR - Francia 6
CA - Canada 4
SA - Arabia Saudita 3
BD - Bangladesh 2
BR - Brasile 2
DE - Germania 2
KE - Kenya 2
MX - Messico 2
PK - Pakistan 2
SE - Svezia 2
CO - Colombia 1
EG - Egitto 1
ET - Etiopia 1
IN - India 1
IQ - Iraq 1
MW - Malawi 1
NG - Nigeria 1
NL - Olanda 1
PH - Filippine 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TR - Turchia 1
TW - Taiwan 1
Totale 188
Salva come PNG Salva come JPEG
Città #
San Jose 18
Helsinki 6
Ashburn 5
Shenzhen 4
Singapore 4
Saint-Denis 3
Bologna 2
Council Bluffs 2
Ho Chi Minh City 2
Montreal 2
Nairobi 2
Pergine Valsugana 2
Secaucus 2
Abha 1
Addis Ababa 1
Ankara 1
Baghdad 1
Beijing 1
Bellmawr 1
Buffalo 1
Ciudad Benito Juárez 1
Cuiabá 1
Dallas 1
Damascus 1
Damietta 1
Dammam 1
Erode 1
Hanoi 1
Jersey City 1
Ko Pha Ngan 1
Lahore 1
Lilongwe 1
Montes Claros 1
Moose Jaw 1
Multan 1
North Charleston 1
North Kansas City 1
Pereira 1
Port Harcourt 1
Quezon City 1
Regina 1
Riyadh 1
San José Iturbide 1
Utrecht 1
Zhongli District 1
Totale 86
Salva come PNG Salva come JPEG
Nome #
An interdisciplinary experimental evaluation on the disjunctive temporal problem 17
On the Complexity of Resource Controllability in Business Process Management 16
Conditional simple temporal networks with uncertainty and decisions 16
Conditional Uncertainty in Constraint Networks 14
Reducing the number of disjuncts in DTPs 12
Resource Controllability of Workflows Under Conditional Uncertainty 10
Data-aware process models: From soundness checking to repair 10
Dynamic controllability of temporal networks with instantaneous reaction 10
Conditional Simple Temporal Networks with Uncertainty and Resources 10
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 10
Automated Synthesis of Certified Neural Networks 10
OVERLAY 2024 - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024 9
Incorporating Decision Nodes into Conditional Simple Temporal Networks 9
Repair of Unsound Data-Aware Process Models 9
Special issue on verification, control, and repair in business process management 8
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia 8
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 8
Conditional Simple Temporal Networks with Uncertainty and Decisions 7
Complexity of weak, strong and dynamic controllability of CNCUs 7
Mining CSTNUDs significant for a set of traces is polynomial 7
Temporal and Resource Controllability of Workflows Under Uncertainty 7
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 7
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 7
Security Constraints in Temporal Role-Based Access-Controlled Workflows 7
Resource Controllability of Business Processes Under Conditional Uncertainty 7
Mining Significant Temporal Networks Is Polynomial 6
Constraint Networks Under Conditional Uncertainty 6
Access Controlled Temporal Networks 6
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty 6
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 6
Faster and Better Simple Temporal Problems 6
Dynamic Controllability of Temporal Networks via Supervisory Control 6
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 5
Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks 4
Strong controllability of temporal networks with decisions 4
Mining temporal networks: Results and open problems 3
Totale 300
Salva come PNG Salva come JPEG
Categoria #
all - tutte 744
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 744
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026300 0 0 0 0 0 0 0 0 68 232 0 0
Totale 300