Zavatteri, Matteo
 Distribuzione geografica
Continente #
NA - Nord America 382
AS - Asia 127
Continente sconosciuto - Info sul continente non disponibili 123
EU - Europa 53
AF - Africa 9
SA - Sud America 4
Totale 698
Nazione #
US - Stati Uniti d'America 363
SG - Singapore 54
CN - Cina 48
SE - Svezia 22
IT - Italia 13
CA - Canada 10
VN - Vietnam 8
FI - Finlandia 6
FR - Francia 6
DE - Germania 5
JM - Giamaica 4
HK - Hong Kong 3
MX - Messico 3
SA - Arabia Saudita 3
SC - Seychelles 3
BD - Bangladesh 2
BR - Brasile 2
CR - Costa Rica 2
KE - Kenya 2
PK - Pakistan 2
AR - Argentina 1
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 575
Città #
Council Bluffs 256
San Jose 24
Ashburn 9
New York 9
Beijing 6
Helsinki 6
Santa Clara 6
Singapore 6
The Dalles 5
Los Angeles 4
Shenzhen 4
Bremen 3
Phoenix 3
Saint-Denis 3
Bologna 2
Buffalo 2
Camden 2
Chicago 2
Dallas 2
Ho Chi Minh City 2
Hong Kong 2
Jersey City 2
Kingston 2
Montreal 2
Nairobi 2
Pergine Valsugana 2
Secaucus 2
Abha 1
Addis Ababa 1
Ankara 1
Asheville 1
Atlanta 1
Baghdad 1
Bellmawr 1
Bolton 1
Bowen 1
Bristol 1
Brooklyn 1
Calgary 1
Canton 1
Cartago 1
Catania 1
Ciudad Benito Juárez 1
Concord 1
Conway 1
Cuiabá 1
Damascus 1
Damietta 1
Dammam 1
Denver 1
Drummondville 1
Dunedin 1
Erode 1
Glendale 1
Hanoi 1
Houston 1
Hudson 1
Juneau 1
Ko Pha Ngan 1
Lahore 1
Lansdowne 1
Laval 1
Lexington 1
Lilongwe 1
Manahawkin 1
Markham 1
Mexico City 1
Montes Claros 1
Moose Jaw 1
Multan 1
Nashville 1
New Hyde Park 1
Newbury Park 1
Norfolk 1
North Charleston 1
North Kansas City 1
Paterson 1
Pereira 1
Port Harcourt 1
Queens 1
Quezon City 1
Reading 1
Regina 1
Riva presso Chieri 1
Rivadavia 1
Riyadh 1
San Francisco 1
San José 1
San José Iturbide 1
Shreveport 1
Toronto 1
Utrecht 1
Yorktown Heights 1
Zhongli District 1
Totale 437
Nome #
Conditional simple temporal networks with uncertainty and decisions 33
An interdisciplinary experimental evaluation on the disjunctive temporal problem 28
Reducing the number of disjuncts in DTPs 26
Conditional Uncertainty in Constraint Networks 25
Incorporating Decision Nodes into Conditional Simple Temporal Networks 25
Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks 24
Dynamic controllability of temporal networks with instantaneous reaction 24
On the Complexity of Resource Controllability in Business Process Management 24
Conditional Simple Temporal Networks with Uncertainty and Resources 23
Data-aware process models: From soundness checking to repair 22
Constraint Networks Under Conditional Uncertainty 22
OVERLAY 2024 - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024 22
Resource Controllability of Workflows Under Conditional Uncertainty 21
Automated Synthesis of Certified Neural Networks 21
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia 20
Security Constraints in Temporal Role-Based Access-Controlled Workflows 20
Special issue on verification, control, and repair in business process management 19
Mining Significant Temporal Networks Is Polynomial 19
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 19
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 18
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 17
Access Controlled Temporal Networks 17
Conditional Simple Temporal Networks with Uncertainty and Decisions 17
Temporal and Resource Controllability of Workflows Under Uncertainty 17
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 17
Mining CSTNUDs significant for a set of traces is polynomial 16
Dynamic Controllability of Temporal Networks via Supervisory Control 16
Complexity of weak, strong and dynamic controllability of CNCUs 15
Repair of Unsound Data-Aware Process Models 15
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 15
Resource Controllability of Business Processes Under Conditional Uncertainty 15
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty 14
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 14
Strong controllability of temporal networks with decisions 14
Faster and Better Simple Temporal Problems 13
Mining temporal networks: Results and open problems 11
Totale 698
Categoria #
all - tutte 4.815
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 4.815


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026476 0 0 0 0 0 0 0 0 68 247 140 21
2026/2027222 130 92 0 0 0 0 0 0 0 0 0 0
Totale 698