SPOLETINI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 1.878
EU - Europa 505
AS - Asia 161
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 2.548
Nazione #
US - Stati Uniti d'America 1.844
UA - Ucraina 97
IT - Italia 78
DE - Germania 60
SE - Svezia 49
GB - Regno Unito 48
CN - Cina 47
AT - Austria 44
VN - Vietnam 44
FI - Finlandia 42
SG - Singapore 38
CA - Canada 34
BE - Belgio 23
IE - Irlanda 20
ES - Italia 16
IN - India 11
JO - Giordania 11
FR - Francia 8
NL - Olanda 7
RU - Federazione Russa 6
TR - Turchia 5
EG - Egitto 2
TH - Thailandia 2
AU - Australia 1
AZ - Azerbaigian 1
BG - Bulgaria 1
CH - Svizzera 1
DK - Danimarca 1
EU - Europa 1
HR - Croazia 1
KR - Corea 1
LV - Lettonia 1
MC - Monaco 1
MN - Mongolia 1
PL - Polonia 1
Totale 2.548
Città #
Chandler 250
Fairfield 229
Woodbridge 208
Houston 170
Ann Arbor 164
Ashburn 117
Wilmington 106
Seattle 102
Cambridge 79
Jacksonville 56
Vienna 44
Santa Clara 35
Boardman 32
Dearborn 32
Ottawa 32
Singapore 29
Lawrence 28
Medford 25
Brussels 23
Milan 23
Dublin 20
Helsinki 15
Málaga 15
San Diego 15
Dong Ket 13
Amman 11
Beijing 10
Auburn Hills 8
Amsterdam 6
Oldham 6
Des Moines 5
Izmir 4
Shanghai 4
Karlsruhe 3
Lusia 3
Mountain View 3
Princeton 3
Quanzhou 3
Saronno 3
Washington 3
Al Fayyum 2
Berlin 2
Chicago 2
Frankfurt am Main 2
Guangzhou 2
Kleinmachnow 2
Lappeenranta 2
Nanjing 2
Toronto 2
Turin 2
Aviano 1
Baku 1
Bern 1
Blanes 1
Changsha 1
Chengdu 1
Copenhagen 1
Dallas 1
Edinburgh 1
Gorla Maggiore 1
Ichalkaranji 1
Istanbul 1
Kunming 1
Los Angeles 1
Lunel 1
Melbourne 1
Monaco 1
New York 1
Norwalk 1
Orsenigo 1
Portland 1
Redwood City 1
Riga 1
Rodgau 1
Saint Petersburg 1
San Jose 1
Seongnam 1
Sofia 1
Ulan Bator 1
Verona 1
Wuhan 1
Włodawa 1
Zagreb 1
Totale 1.990
Nome #
Fuzzy time in linear temporal logic 129
Model Checking Temporal Metric Specifications with Trio2Promela 126
A Model Checking Approach to Verify BPEL4WS Workflows 122
A Fuzzy Extension for the XPath Query Language 114
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 113
A Timed Extension of WSCoL 107
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 107
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 106
Keep it small, keep it real: Efficient run-time verification of web service compositions 106
Model-checking TRIO specifications in SPIN 105
A Fuzzy Extension for the XPath Query Language 103
Fuzzy goals for Requirements-driven adaptation 101
Trio2Promela: A Model Checker for Temporal Metric Specifications 98
An Efficient Solution for Model Checking Graph Transformation Systems 98
Fuzzy querying of semistructured data 97
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 95
Validation of Web Service Compositions 91
History Checking of XML Data Streams 88
On the Use of Alloy to Analyze Graph Transformation Systems 86
A framework for XML data streams history checking and monitoring 77
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings 76
A formal approach supporting the specification and verification of business conversation requirements 70
Towards Automated Verification of Layered Graph Transformation Specifications 69
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 67
Formal verification in analysis and design of production systems 58
Practical Model Checking of LTL with Past 56
XQuery layers 56
TOrPEDO: witnessing model correctness with topological proofs 46
Totale 2.567
Categoria #
all - tutte 8.322
article - articoli 2.382
book - libri 0
conference - conferenze 5.574
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 366
Totale 16.644


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020430 0 0 0 0 67 64 74 46 69 23 62 25
2020/2021321 32 12 30 20 30 8 27 32 27 28 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/2025113 1 3 10 26 73 0 0 0 0 0 0 0
Totale 2.567