SPOLETINI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 1.812
EU - Europa 497
AS - Asia 101
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 2.412
Nazione #
US - Stati Uniti d'America 1.778
UA - Ucraina 97
IT - Italia 76
DE - Germania 57
SE - Svezia 49
GB - Regno Unito 48
AT - Austria 44
VN - Vietnam 44
FI - Finlandia 42
CA - Canada 34
CN - Cina 25
BE - Belgio 23
IE - Irlanda 20
ES - Italia 16
IN - India 11
JO - Giordania 11
FR - Francia 8
NL - Olanda 7
RU - Federazione Russa 5
TR - Turchia 5
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
MC - Monaco 1
MN - Mongolia 1
Totale 2.412
Città #
Chandler 250
Fairfield 229
Woodbridge 208
Houston 170
Ann Arbor 164
Ashburn 116
Wilmington 106
Seattle 102
Cambridge 79
Jacksonville 56
Vienna 44
Dearborn 32
Ottawa 32
Lawrence 28
Medford 25
Brussels 23
Milan 22
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
Boardman 4
Izmir 4
Shanghai 4
Karlsruhe 3
Lusia 3
Mountain View 3
Princeton 3
Saronno 3
Washington 3
Berlin 2
Chicago 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
Rodgau 1
Saint Petersburg 1
San Jose 1
Seongnam 1
Sofia 1
Ulan Bator 1
Verona 1
Wuhan 1
Zagreb 1
Totale 1.887
Nome #
Model Checking Temporal Metric Specifications with Trio2Promela 122
A Model Checking Approach to Verify BPEL4WS Workflows 117
Fuzzy time in linear temporal logic 116
A Fuzzy Extension for the XPath Query Language 110
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 107
A Timed Extension of WSCoL 104
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 102
Keep it small, keep it real: Efficient run-time verification of web service compositions 102
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 101
Model-checking TRIO specifications in SPIN 101
A Fuzzy Extension for the XPath Query Language 99
Trio2Promela: A Model Checker for Temporal Metric Specifications 95
Fuzzy goals for Requirements-driven adaptation 95
Fuzzy querying of semistructured data 93
An Efficient Solution for Model Checking Graph Transformation Systems 93
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 90
Validation of Web Service Compositions 88
History Checking of XML Data Streams 85
On the Use of Alloy to Analyze Graph Transformation Systems 82
A framework for XML data streams history checking and monitoring 72
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings 69
Towards Automated Verification of Layered Graph Transformation Specifications 66
A formal approach supporting the specification and verification of business conversation requirements 63
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 62
XQuery layers 53
Formal verification in analysis and design of production systems 52
Practical Model Checking of LTL with Past 51
TOrPEDO: witnessing model correctness with topological proofs 40
Totale 2.430
Categoria #
all - tutte 6.919
article - articoli 1.976
book - libri 0
conference - conferenze 4.644
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 299
Totale 13.838


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019169 0 0 0 0 0 0 0 0 0 0 85 84
2019/2020583 36 60 17 40 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/202490 10 30 9 6 5 12 2 3 0 12 1 0
Totale 2.430