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

SPOLETINI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.698
EU - Europa 1.196
AS - Asia 842
SA - Sud America 133
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 4.908
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.644
RU - Federazione Russa 546
SG - Singapore 268
CN - Cina 237
VN - Vietnam 128
BR - Brasile 116
UA - Ucraina 100
DE - Germania 85
IT - Italia 83
GB - Regno Unito 67
FR - Francia 55
SE - Svezia 53
FI - Finlandia 47
AT - Austria 45
CA - Canada 44
KR - Corea 39
JP - Giappone 35
IN - India 25
MA - Marocco 25
BE - Belgio 23
NL - Olanda 22
IE - Irlanda 21
ES - Italia 19
HK - Hong Kong 17
JO - Giordania 14
BD - Bangladesh 12
PL - Polonia 10
TR - Turchia 10
AR - Argentina 9
IQ - Iraq 9
PH - Filippine 6
PK - Pakistan 6
TH - Thailandia 6
AZ - Azerbaigian 5
ID - Indonesia 5
LT - Lituania 5
ZA - Sudafrica 5
TW - Taiwan 4
UZ - Uzbekistan 4
MX - Messico 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
HR - Croazia 2
KE - Kenya 2
LK - Sri Lanka 2
LV - Lettonia 2
NP - Nepal 2
AD - Andorra 1
AU - Australia 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EC - Ecuador 1
EU - Europa 1
GN - Guinea 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
MC - Monaco 1
MN - Mongolia 1
MT - Malta 1
MY - Malesia 1
NI - Nicaragua 1
PA - Panama 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SA - Arabia Saudita 1
SR - Suriname 1
UY - Uruguay 1
Totale 4.908
Salva come PNG Salva come JPEG
Città #
Ashburn 315
Chandler 250
Fairfield 229
Woodbridge 208
San Jose 201
Houston 175
Ann Arbor 164
Singapore 153
Seattle 106
Wilmington 106
Santa Clara 86
Cambridge 79
Moscow 74
Jacksonville 56
The Dalles 46
Vienna 45
Council Bluffs 41
Hefei 41
Beijing 39
Seoul 36
Tokyo 35
Los Angeles 34
Boardman 32
Dearborn 32
Ottawa 32
Lawrence 28
Ho Chi Minh City 27
Medford 25
Lauterbourg 24
Brussels 23
Milan 23
Dallas 21
Dublin 21
North Charleston 20
Hanoi 18
Helsinki 17
Málaga 15
New York 15
San Diego 15
Amman 13
Buffalo 13
Dong Ket 13
Frankfurt am Main 13
Hong Kong 13
Casablanca 12
Orem 12
Kenitra 11
Chicago 10
Shanghai 10
São Paulo 10
Amsterdam 9
Auburn Hills 8
Warsaw 8
Düsseldorf 6
Mumbai 6
Oldham 6
Atlanta 5
Baku 5
Brooklyn 5
Denver 5
Des Moines 5
Las Vegas 5
Belo Horizonte 4
Chennai 4
Da Nang 4
Guangzhou 4
Haiphong 4
Izmir 4
Johannesburg 4
Lahore 4
London 4
Manchester 4
Roubaix 4
Stockholm 4
Washington 4
Wuhan 4
Ankara 3
Baghdad 3
Barra Mansa 3
Berlin 3
Changsha 3
Elk Grove Village 3
Hangzhou 3
Karlsruhe 3
Lusia 3
Mountain View 3
Nanjing 3
Paris 3
Phoenix 3
Princeton 3
Quanzhou 3
Saronno 3
Taipei 3
Tashkent 3
Toronto 3
Turku 3
Zhengzhou 3
Addis Ababa 2
Al Fayyum 2
Birmingham 2
Totale 3.235
Salva come PNG Salva come JPEG
Nome #
Fuzzy time in linear temporal logic 235
A Fuzzy Extension for the XPath Query Language 225
A Model Checking Approach to Verify BPEL4WS Workflows 221
A Timed Extension of WSCoL 220
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 219
A Fuzzy Extension for the XPath Query Language 216
Model Checking Temporal Metric Specifications with Trio2Promela 211
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 194
Keep it small, keep it real: Efficient run-time verification of web service compositions 190
An Efficient Solution for Model Checking Graph Transformation Systems 181
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 179
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings 179
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 178
TOrPEDO: witnessing model correctness with topological proofs 175
Fuzzy goals for Requirements-driven adaptation 174
Fuzzy querying of semistructured data 173
Validation of Web Service Compositions 172
Trio2Promela: A Model Checker for Temporal Metric Specifications 165
History Checking of XML Data Streams 163
A formal approach supporting the specification and verification of business conversation requirements 162
A framework for XML data streams history checking and monitoring 156
Model-checking TRIO specifications in SPIN 150
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 147
On the Use of Alloy to Analyze Graph Transformation Systems 141
Formal verification in analysis and design of production systems 140
Towards Automated Verification of Layered Graph Transformation Specifications 130
XQuery layers 119
Practical Model Checking of LTL with Past 112
Totale 4.927
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.902
article - articoli 4.087
book - libri 0
conference - conferenze 9.232
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 583
Totale 27.804
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202175 0 0 0 0 0 0 0 0 0 0 19 56
2021/2022314 11 47 21 35 42 5 19 20 7 22 44 41
2022/2023473 53 75 4 74 57 54 1 29 75 23 19 9
2023/2024114 10 30 9 6 5 12 2 3 0 12 1 24
2024/2025512 1 3 10 26 82 63 10 41 83 37 86 70
2025/20261.961 460 352 100 133 134 96 335 61 102 157 31 0
Totale 4.927