PEZZE', MAURO
 Distribuzione geografica
Continente #
NA - Nord America 714
EU - Europa 195
AS - Asia 35
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 946
Nazione #
US - Stati Uniti d'America 700
SE - Svezia 45
IT - Italia 32
UA - Ucraina 29
FI - Finlandia 17
DE - Germania 16
GB - Regno Unito 15
CA - Canada 14
SG - Singapore 12
AT - Austria 11
ES - Italia 11
IE - Irlanda 9
VN - Vietnam 8
CN - Cina 6
BE - Belgio 3
IN - India 3
CH - Svizzera 2
FR - Francia 2
IL - Israele 2
JO - Giordania 2
PT - Portogallo 2
AR - Argentina 1
EU - Europa 1
KR - Corea 1
NL - Olanda 1
PH - Filippine 1
Totale 946
Città #
Fairfield 97
Chandler 89
Houston 76
Ashburn 52
Woodbridge 50
Wilmington 42
Ann Arbor 38
Seattle 38
Cambridge 29
Santa Clara 25
Dearborn 21
Ottawa 14
Jacksonville 13
Boardman 11
Lawrence 11
Málaga 11
Redmond 11
Vienna 11
Dublin 9
Milan 9
San Diego 9
Medford 8
Helsinki 7
Singapore 6
Dong Ket 4
Brussels 3
Princeton 3
Amman 2
Beijing 2
Besozzo 2
Como 2
Lisbon 2
Los Angeles 2
Norwalk 2
Xian 2
Écublens 2
Amsterdam 1
Chiswick 1
Federal 1
Frankfurt am Main 1
Kilburn 1
Kunming 1
Manila 1
Miami 1
Mountain View 1
Nettuno 1
Portland 1
Quzhou 1
Seongnam 1
Torino 1
Varazze 1
Verona 1
Washington 1
Totale 732
Nome #
Dynamic data flow testing of object oriented systems 115
On Formalizing UML with High-Level Petri Nets 113
Using Symbolic Execution for Verifying Safety-Critical Systems 112
PLCTools: Graph Transformation Meets PLC Design 109
Efficient analysis of event processing applications 103
A Survey of Recent Trends in Testing Concurrent Software Systems 95
Towards an engineering methodology for multi-model scientific simulations 78
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers. 75
Improving UML with Petri nets 62
Can Graph Grammars make Formal Methods more Human? 48
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP) 47
Totale 957
Categoria #
all - tutte 3.037
article - articoli 608
book - libri 0
conference - conferenze 1.983
curatela - curatele 158
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 288
Totale 6.074


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020166 0 0 0 0 31 28 23 20 20 9 24 11
2020/2021114 8 6 8 1 10 8 3 12 11 13 24 10
2021/2022100 3 12 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/202541 0 0 2 1 38 0 0 0 0 0 0 0
Totale 957