RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

PEZZE', MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.060
EU - Europa 480
AS - Asia 327
SA - Sud America 68
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 11
OC - Oceania 1
Totale 1.959
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.027
RU - Federazione Russa 176
SG - Singapore 115
IT - Italia 70
CN - Cina 69
VN - Vietnam 61
BR - Brasile 59
SE - Svezia 46
DE - Germania 32
UA - Ucraina 30
GB - Regno Unito 26
FR - Francia 24
CA - Canada 23
FI - Finlandia 18
KR - Corea 15
NL - Olanda 13
AT - Austria 12
ES - Italia 12
IN - India 11
IE - Irlanda 9
JP - Giappone 9
BD - Bangladesh 8
HK - Hong Kong 5
IQ - Iraq 5
MA - Marocco 5
MX - Messico 5
AR - Argentina 4
ID - Indonesia 4
JO - Giordania 4
TW - Taiwan 4
BE - Belgio 3
CH - Svizzera 3
UZ - Uzbekistan 3
ZA - Sudafrica 3
EG - Egitto 2
IL - Israele 2
PH - Filippine 2
PK - Pakistan 2
PL - Polonia 2
PT - Portogallo 2
PY - Paraguay 2
AU - Australia 1
AZ - Azerbaigian 1
BH - Bahrain 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CU - Cuba 1
EC - Ecuador 1
EU - Europa 1
GT - Guatemala 1
GY - Guiana 1
HR - Croazia 1
JM - Giamaica 1
KZ - Kazakistan 1
LB - Libano 1
MQ - Martinica 1
OM - Oman 1
PS - Palestinian Territory 1
RS - Serbia 1
SA - Arabia Saudita 1
SV - El Salvador 1
TR - Turchia 1
Totale 1.948
Salva come PNG Salva come JPEG
Città #
Ashburn 121
Fairfield 97
Chandler 89
Houston 77
Singapore 66
Santa Clara 61
San Jose 57
Woodbridge 50
Wilmington 42
Seattle 39
Ann Arbor 38
Moscow 32
Cambridge 29
Council Bluffs 24
Boardman 23
Ho Chi Minh City 22
Dearborn 21
Los Angeles 17
Milan 17
Beijing 16
Frankfurt am Main 14
Ottawa 14
Seoul 14
The Dalles 14
Jacksonville 13
Dallas 12
Hefei 11
Lawrence 11
Málaga 11
Redmond 11
Vienna 11
Hanoi 10
Lauterbourg 10
Dublin 9
San Diego 9
Tokyo 9
Helsinki 8
Medford 8
New York 8
Buffalo 5
Figino 5
North Charleston 5
Phoenix 5
Amman 4
Casablanca 4
Dhaka 4
Dong Ket 4
Hong Kong 4
Taipei 4
Brussels 3
Chennai 3
Düsseldorf 3
Haiphong 3
Naples 3
Princeton 3
São Paulo 3
Tashkent 3
Amsterdam 2
Baghdad 2
Besozzo 2
Biên Hòa 2
Brooklyn 2
Canary Wharf 2
Como 2
Foz do Iguaçu 2
Greensboro 2
Johannesburg 2
Lisbon 2
London 2
Louisville 2
New Delhi 2
Norwalk 2
Poplar 2
Porto Alegre 2
Sacramento 2
San Francisco 2
Shanghai 2
Verona 2
Vĩnh Long 2
Warsaw 2
Xian 2
Zhuhai 2
Écublens 2
Alfenas 1
Allentown 1
Almaty 1
Amargosa 1
Ancona 1
Anápolis 1
Ascoli Piceno 1
Asunción 1
Baie-D'Urfé 1
Baku 1
Balneário Piçarras 1
Bannach 1
Bari 1
Batangas 1
Belo Horizonte 1
Bengaluru 1
Bergamo 1
Totale 1.282
Salva come PNG Salva come JPEG
Nome #
Using Symbolic Execution for Verifying Safety-Critical Systems 243
Dynamic data flow testing of object oriented systems 219
A Survey of Recent Trends in Testing Concurrent Software Systems 214
On Formalizing UML with High-Level Petri Nets 208
PLCTools: Graph Transformation Meets PLC Design 185
Efficient analysis of event processing applications 185
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. 159
Towards an engineering methodology for multi-model scientific simulations 156
Improving UML with Petri nets 147
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP) 131
Can Graph Grammars make Formal Methods more Human? 112
Totale 1.959
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.537
article - articoli 1.099
book - libri 0
conference - conferenze 3.559
curatela - curatele 366
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 513
Totale 11.074
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202285 0 0 4 4 25 2 5 5 7 8 12 13
2022/2023161 13 13 11 15 21 26 0 16 23 14 7 2
2023/202461 7 13 4 4 5 6 5 0 5 4 0 8
2024/2025243 0 0 2 1 49 27 13 34 31 22 28 36
2025/2026761 161 111 30 61 37 30 124 34 46 59 11 57
2026/202739 13 15 11 0 0 0 0 0 0 0 0 0
Totale 1.959