IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.531
AS - Asia 1.165
EU - Europa 790
SA - Sud America 241
Continente sconosciuto - Info sul continente non disponibili 49
AF - Africa 23
OC - Oceania 3
Totale 5.802
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.463
SG - Singapore 504
CN - Cina 236
BR - Brasile 186
VN - Vietnam 182
RU - Federazione Russa 129
UA - Ucraina 120
SE - Svezia 112
DE - Germania 72
FI - Finlandia 72
IT - Italia 72
KR - Corea 62
FR - Francia 59
GB - Regno Unito 50
LV - Lettonia 49
CA - Canada 34
IN - India 24
HK - Hong Kong 23
JO - Giordania 22
BD - Bangladesh 21
AR - Argentina 17
BG - Bulgaria 15
MX - Messico 14
IQ - Iraq 13
ID - Indonesia 12
CO - Colombia 11
ZA - Sudafrica 11
CR - Costa Rica 10
EC - Ecuador 10
ES - Italia 10
TR - Turchia 10
VE - Venezuela 9
JP - Giappone 8
NL - Olanda 8
PK - Pakistan 8
IL - Israele 7
JM - Giamaica 6
EU - Europa 4
LT - Lituania 4
TH - Thailandia 4
UZ - Uzbekistan 4
AU - Australia 3
BE - Belgio 3
IR - Iran 3
PE - Perù 3
PH - Filippine 3
PL - Polonia 3
SA - Arabia Saudita 3
AL - Albania 2
BO - Bolivia 2
BW - Botswana 2
CZ - Repubblica Ceca 2
EG - Egitto 2
KE - Kenya 2
KG - Kirghizistan 2
LB - Libano 2
MA - Marocco 2
MY - Malesia 2
NP - Nepal 2
PS - Palestinian Territory 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AT - Austria 1
BB - Barbados 1
CG - Congo 1
CL - Cile 1
DZ - Algeria 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MD - Moldavia 1
MK - Macedonia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UY - Uruguay 1
Totale 5.760
Salva come PNG Salva come JPEG
Città #
Ashburn 371
Singapore 335
Fairfield 252
Jacksonville 247
Chandler 238
San Jose 194
Woodbridge 130
Seattle 124
Columbus 122
Dallas 122
Santa Clara 120
Houston 101
Cambridge 95
Wilmington 95
Princeton 70
Council Bluffs 62
Moscow 62
Seoul 60
New York 58
San Mateo 58
Hanoi 52
Los Angeles 50
Ann Arbor 49
Ho Chi Minh City 49
Riga 49
Beijing 44
Lauterbourg 37
Phoenix 35
Chicago 33
Fremont 27
Dearborn 26
Boardman 25
São Paulo 23
Hefei 21
Helsinki 21
Munich 21
Buffalo 17
Frankfurt am Main 17
Hong Kong 17
San Diego 17
Milan 15
Redondo Beach 15
Sofia 15
The Dalles 15
Da Nang 14
Turku 13
Haiphong 12
Shanghai 12
Lawrence 11
Denver 10
London 10
San José 10
Toronto 10
Washington 10
Paris 9
Atlanta 8
Brooklyn 8
Chennai 8
Falls Church 8
Orem 8
Rio de Janeiro 8
Tokyo 8
Montreal 7
North Charleston 7
Nuremberg 7
Porto Alegre 7
Rome 7
Salt Lake City 7
The Bronx 7
Trento 7
Amsterdam 6
Elk Grove Village 6
Jakarta 6
Johannesburg 6
Norwalk 6
Ankara 5
Biên Hòa 5
Caracas 5
Kunming 5
Mumbai 5
Andover 4
Baghdad 4
Belo Horizonte 4
Brasília 4
Changsha 4
Lappeenranta 4
Madrid 4
Nanjing 4
Nha Trang 4
Querétaro 4
San Francisco 4
Stockholm 4
Tashkent 4
Bogotá 3
Bologna 3
Buenos Aires 3
Campinas 3
Charlotte 3
Colombo 3
Des Moines 3
Totale 3.967
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 183
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 177
NuSMV 2: An opensource tool for symbolic model checking 170
Automated Synthesis of Composite BPEL4WS Web Services 161
A request language for web services based on planning and constraint satisfaction 154
A Parametric Communication Model for the Verification of BPEL4WS Compositions 151
Improving the Encoding of LTL Model Checking into SAT 149
A Framework for Integrating Business Processes and Business Requirements 146
Semantic modeling and analysis of complex data-aware processes and their executions 145
A model-checking verification environment for mobile processes 144
`Closed interval process algebra' versus `interval process algebra' 143
Graph Rewriting for Agent Oriented Visual Modeling 142
Specifying and analyzing early requirements: some experimental results 137
Integrating BDD-based and SAT-based Symbolic Model Checking 135
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 133
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 133
A Framework for Planning with Extended Goals under Partial Observability 129
Model checking early requirements specifications in tropos. 127
Specifying and analyzing early requirements in Tropos 127
History-Dependent Automata: An Introduction 123
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 121
NuSMV2: an open source tool for symbolic model checking 118
Weak, strong, and strong cyclic planning via symbolic model checking 118
On the semantics of durational actions 116
Adaptivity in Dynamic Service-based Systems 115
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 114
Verifying mobile processes in the HAL environment 109
CAptLang: a language for context-aware and adaptable business processes 109
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 108
Modeling and Monitoring Processes Exploiting Semantic Reasoning 107
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 106
The Planning Spectrum - One, Two, Three, Infinity 106
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 106
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 105
A Hierarchical Task-Network Planner based on Symbolic Model Checking 104
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 98
A partition refinement algorithm for the pi-calculus 97
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 97
The Tropos methodology: an overview 95
NuSMV2: an Open Source Tool for Symbolic Model Checking 94
Planning with a language for extended goals 94
Planning as model checking for extended goals in non-deterministic Domains 90
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 84
Planning for requests against Web Services 80
Improving the Encoding of LTL Model Checking into SAT 79
Semantic-Based Process Analysis 73
Modeling and Monitoring Business Process Execution 69
Planning with Extended Goals and Partial Observability 62
XSRL: An XML web-services request language 60
Integrating BDD-based and SAT-based Symbolic Model Checking 59
Totale 5.802
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.461
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 367
Totale 23.828
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022302 0 0 0 5 42 17 14 55 22 15 69 63
2022/2023473 55 42 0 75 50 76 3 41 83 8 33 7
2023/2024261 9 21 23 12 33 77 18 7 8 15 8 30
2024/2025881 1 6 37 196 52 140 46 32 59 139 72 101
2025/20261.869 139 47 248 319 192 162 275 55 164 155 64 49
2026/2027528 56 116 250 106 0 0 0 0 0 0 0 0
Totale 5.802