IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.075
AS - Asia 1.153
EU - Europa 741
SA - Sud America 227
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 5.227
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.030
SG - Singapore 500
CN - Cina 234
VN - Vietnam 182
BR - Brasile 181
RU - Federazione Russa 129
UA - Ucraina 120
SE - Svezia 94
FI - Finlandia 72
DE - Germania 69
KR - Corea 62
FR - Francia 56
IT - Italia 54
LV - Lettonia 49
GB - Regno Unito 46
CA - Canada 25
HK - Hong Kong 23
IN - India 23
JO - Giordania 22
BD - Bangladesh 21
AR - Argentina 17
BG - Bulgaria 15
IQ - Iraq 13
MX - Messico 13
ID - Indonesia 11
ZA - Sudafrica 11
EC - Ecuador 9
TR - Turchia 9
ES - Italia 8
JP - Giappone 8
NL - Olanda 8
PK - Pakistan 8
CO - Colombia 7
IL - Israele 7
VE - Venezuela 6
CR - Costa Rica 4
EU - Europa 4
UZ - Uzbekistan 4
AU - Australia 3
BE - Belgio 3
IR - Iran 3
LT - Lituania 3
PL - Polonia 3
TH - Thailandia 3
AL - Albania 2
BO - Bolivia 2
BW - Botswana 2
CZ - Repubblica Ceca 2
KE - Kenya 2
KG - Kirghizistan 2
LB - Libano 2
MA - Marocco 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
PH - Filippine 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 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
EG - Egitto 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.227
Salva come PNG Salva come JPEG
Città #
Ashburn 339
Singapore 334
Fairfield 252
Jacksonville 246
Chandler 238
San Jose 138
Woodbridge 130
Seattle 124
Dallas 118
Santa Clara 113
Houston 99
Cambridge 95
Wilmington 95
Columbus 88
Princeton 70
Moscow 62
Seoul 60
San Mateo 58
New York 53
Hanoi 52
Ann Arbor 49
Ho Chi Minh City 49
Riga 49
Los Angeles 46
Beijing 43
Lauterbourg 37
Chicago 30
Fremont 27
Dearborn 26
Hefei 21
Helsinki 21
Munich 21
Boardman 20
São Paulo 20
Buffalo 17
Frankfurt am Main 17
Hong Kong 17
San Diego 17
Redondo Beach 15
Sofia 15
Council Bluffs 14
Da Nang 14
Turku 13
Haiphong 12
Shanghai 12
Lawrence 11
Milan 11
The Dalles 11
London 10
Toronto 10
Denver 9
Paris 9
Chennai 8
Falls Church 8
Orem 8
Rio de Janeiro 8
Tokyo 8
Montreal 7
Nuremberg 7
Porto Alegre 7
Salt Lake City 7
Trento 7
Amsterdam 6
Brooklyn 6
Elk Grove Village 6
Jakarta 6
Johannesburg 6
Norwalk 6
Phoenix 6
Rome 6
Washington 6
Atlanta 5
Biên Hòa 5
Kunming 5
Andover 4
Ankara 4
Baghdad 4
Belo Horizonte 4
Brasília 4
Caracas 4
Changsha 4
Lappeenranta 4
Madrid 4
Mumbai 4
Nanjing 4
Nha Trang 4
Querétaro 4
San Francisco 4
San José 4
Stockholm 4
Tashkent 4
Buenos Aires 3
Campinas 3
Charlotte 3
Colombo 3
Des Moines 3
Faisalabad 3
Hải Dương 3
Kilburn 3
Mexico City 3
Totale 3.696
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 166
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 163
Automated Synthesis of Composite BPEL4WS Web Services 150
NuSMV 2: An opensource tool for symbolic model checking 142
A request language for web services based on planning and constraint satisfaction 142
A Parametric Communication Model for the Verification of BPEL4WS Compositions 141
Improving the Encoding of LTL Model Checking into SAT 141
A model-checking verification environment for mobile processes 138
Semantic modeling and analysis of complex data-aware processes and their executions 135
`Closed interval process algebra' versus `interval process algebra' 135
A Framework for Integrating Business Processes and Business Requirements 134
Integrating BDD-based and SAT-based Symbolic Model Checking 128
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 126
Graph Rewriting for Agent Oriented Visual Modeling 125
Specifying and analyzing early requirements: some experimental results 125
Model checking early requirements specifications in tropos. 118
A Framework for Planning with Extended Goals under Partial Observability 118
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 117
History-Dependent Automata: An Introduction 115
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 115
Specifying and analyzing early requirements in Tropos 113
On the semantics of durational actions 108
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 108
NuSMV2: an open source tool for symbolic model checking 106
Adaptivity in Dynamic Service-based Systems 104
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 102
Verifying mobile processes in the HAL environment 100
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 100
The Planning Spectrum - One, Two, Three, Infinity 100
CAptLang: a language for context-aware and adaptable business processes 100
A Hierarchical Task-Network Planner based on Symbolic Model Checking 95
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 94
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 94
Weak, strong, and strong cyclic planning via symbolic model checking 93
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 91
A partition refinement algorithm for the pi-calculus 90
The Tropos methodology: an overview 89
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 89
Modeling and Monitoring Processes Exploiting Semantic Reasoning 87
NuSMV2: an Open Source Tool for Symbolic Model Checking 84
Planning as model checking for extended goals in non-deterministic Domains 82
Planning with a language for extended goals 82
Planning for requests against Web Services 72
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 72
Semantic-Based Process Analysis 70
Modeling and Monitoring Business Process Execution 62
Improving the Encoding of LTL Model Checking into SAT 60
Planning with Extended Goals and Partial Observability 54
XSRL: An XML web-services request language 51
Integrating BDD-based and SAT-based Symbolic Model Checking 43
Totale 5.269
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.246
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 335
Totale 21.581
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 0 0 15
2021/2022354 5 47 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.864 139 47 248 319 192 162 275 55 164 155 64 44
Totale 5.269