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.772
EU - Europa 1.269
AS - Asia 848
SA - Sud America 135
AF - Africa 37
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5.063
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.709
RU - Federazione Russa 546
SG - Singapore 268
CN - Cina 238
IT - Italia 155
VN - Vietnam 132
BR - Brasile 117
UA - Ucraina 100
DE - Germania 85
GB - Regno Unito 67
FR - Francia 55
SE - Svezia 53
FI - Finlandia 47
CA - Canada 46
AT - Austria 45
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 13
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
CR - Costa Rica 3
JM - Giamaica 3
MX - Messico 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
DO - Repubblica Dominicana 2
EC - Ecuador 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
BZ - Belize 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EU - Europa 1
GN - Guinea 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
MC - Monaco 1
MN - Mongolia 1
MT - Malta 1
MY - Malesia 1
NI - Nicaragua 1
PA - Panama 1
PR - Porto Rico 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
SV - El Salvador 1
UY - Uruguay 1
Totale 5.063
Salva come PNG Salva come JPEG
Città #
Ashburn 317
Chandler 250
Fairfield 229
Woodbridge 208
San Jose 203
Houston 176
Ann Arbor 164
Singapore 153
Seattle 106
Wilmington 106
Santa Clara 91
Cambridge 79
Moscow 74
Boardman 58
Jacksonville 56
Milan 47
Council Bluffs 46
The Dalles 46
Vienna 45
Hefei 41
Beijing 39
Seoul 36
Tokyo 35
Los Angeles 34
Dearborn 32
Ottawa 32
Ho Chi Minh City 29
Lawrence 28
Medford 25
Lauterbourg 24
Brussels 23
Dallas 21
Dublin 21
North Charleston 20
Hanoi 18
Helsinki 17
New York 17
Rome 17
Málaga 15
San Diego 15
Amman 13
Buffalo 13
Dong Ket 13
Frankfurt am Main 13
Hong Kong 13
Casablanca 12
Chicago 12
Orem 12
Kenitra 11
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
Naples 5
Belo Horizonte 4
Chennai 4
Da Nang 4
Florence 4
Guangzhou 4
Haiphong 4
Izmir 4
Johannesburg 4
Lahore 4
London 4
Manchester 4
Roubaix 4
Stockholm 4
Toronto 4
Turin 4
Washington 4
Wuhan 4
Ankara 3
Baghdad 3
Barra Mansa 3
Berlin 3
Changsha 3
Elk Grove Village 3
Hangzhou 3
Karlsruhe 3
Kingston 3
Lusia 3
Mountain View 3
Nanjing 3
Paris 3
Phoenix 3
Princeton 3
Quanzhou 3
San José 3
Saronno 3
Taipei 3
Totale 3.328
Salva come PNG Salva come JPEG
Nome #
Fuzzy time in linear temporal logic 241
A Fuzzy Extension for the XPath Query Language 236
A Timed Extension of WSCoL 226
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 224
A Model Checking Approach to Verify BPEL4WS Workflows 224
A Fuzzy Extension for the XPath Query Language 217
Model Checking Temporal Metric Specifications with Trio2Promela 216
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 200
Keep it small, keep it real: Efficient run-time verification of web service compositions 196
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings 187
Fuzzy goals for Requirements-driven adaptation 187
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 186
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 185
An Efficient Solution for Model Checking Graph Transformation Systems 183
Fuzzy querying of semistructured data 182
TOrPEDO: witnessing model correctness with topological proofs 178
Trio2Promela: A Model Checker for Temporal Metric Specifications 177
Validation of Web Service Compositions 176
History Checking of XML Data Streams 168
A formal approach supporting the specification and verification of business conversation requirements 165
A framework for XML data streams history checking and monitoring 160
Model-checking TRIO specifications in SPIN 159
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 150
Formal verification in analysis and design of production systems 143
On the Use of Alloy to Analyze Graph Transformation Systems 141
Towards Automated Verification of Layered Graph Transformation Specifications 134
XQuery layers 120
Practical Model Checking of LTL with Past 115
Can LLMs Generate User Stories and Assess Their Quality? 7
Totale 5.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.433
article - articoli 4.247
book - libri 0
conference - conferenze 9.587
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 599
Totale 28.866
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.097 460 352 100 133 134 96 335 61 102 157 45 122
2026/202720 20 0 0 0 0 0 0 0 0 0 0 0
Totale 5.083