IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.966
AS - Asia 1.147
EU - Europa 727
SA - Sud America 227
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 5.098
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.924
SG - Singapore 498
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 55
LV - Lettonia 49
GB - Regno Unito 46
IT - Italia 43
CA - Canada 23
IN - India 23
HK - Hong Kong 22
JO - Giordania 22
BD - Bangladesh 19
AR - Argentina 17
BG - Bulgaria 15
IQ - Iraq 13
MX - Messico 12
ZA - Sudafrica 11
ID - Indonesia 10
EC - Ecuador 9
TR - Turchia 9
ES - Italia 8
JP - Giappone 8
PK - Pakistan 8
CO - Colombia 7
IL - Israele 7
NL - Olanda 6
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.098
Salva come PNG Salva come JPEG
Città #
Singapore 333
Ashburn 322
Fairfield 252
Jacksonville 246
Chandler 238
Woodbridge 130
Seattle 124
Dallas 116
San Jose 114
Santa Clara 110
Houston 96
Cambridge 95
Wilmington 95
Columbus 87
Princeton 70
Moscow 61
Seoul 60
San Mateo 58
Hanoi 52
New York 52
Ann Arbor 49
Ho Chi Minh City 49
Riga 49
Beijing 43
Los Angeles 43
Lauterbourg 37
Chicago 29
Fremont 27
Dearborn 26
Hefei 21
Helsinki 21
Munich 21
São Paulo 20
Boardman 17
Frankfurt am Main 17
San Diego 17
Hong Kong 16
Buffalo 15
Redondo Beach 15
Sofia 15
Council Bluffs 14
Da Nang 14
Turku 13
Haiphong 12
Shanghai 12
Lawrence 11
The Dalles 11
London 10
Toronto 10
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
Jakarta 6
Johannesburg 6
Milan 6
Norwalk 6
Rome 6
Washington 6
Biên Hòa 5
Denver 5
Elk Grove Village 5
Kunming 5
Andover 4
Ankara 4
Atlanta 4
Baghdad 4
Belo Horizonte 4
Brasília 4
Caracas 4
Changsha 4
Lappeenranta 4
Madrid 4
Mumbai 4
Nanjing 4
Nha Trang 4
Phoenix 4
Querétaro 4
San José 4
Stockholm 4
Tashkent 4
Buenos Aires 3
Campinas 3
Charlotte 3
Colombo 3
Faisalabad 3
Hải Dương 3
Kilburn 3
Miami 3
North Bergen 3
Salvador 3
Totale 3.619
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 163
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 162
Automated Synthesis of Composite BPEL4WS Web Services 145
Improving the Encoding of LTL Model Checking into SAT 141
A request language for web services based on planning and constraint satisfaction 141
A Parametric Communication Model for the Verification of BPEL4WS Compositions 140
A model-checking verification environment for mobile processes 137
`Closed interval process algebra' versus `interval process algebra' 134
A Framework for Integrating Business Processes and Business Requirements 133
NuSMV 2: An opensource tool for symbolic model checking 132
Semantic modeling and analysis of complex data-aware processes and their executions 131
Integrating BDD-based and SAT-based Symbolic Model Checking 125
Specifying and analyzing early requirements: some experimental results 125
Graph Rewriting for Agent Oriented Visual Modeling 123
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 119
A Framework for Planning with Extended Goals under Partial Observability 117
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 116
History-Dependent Automata: An Introduction 114
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 113
Model checking early requirements specifications in tropos. 112
Specifying and analyzing early requirements in Tropos 111
On the semantics of durational actions 107
NuSMV2: an open source tool for symbolic model checking 105
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 101
Adaptivity in Dynamic Service-based Systems 100
Verifying mobile processes in the HAL environment 99
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 99
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 99
CAptLang: a language for context-aware and adaptable business processes 99
The Planning Spectrum - One, Two, Three, Infinity 98
A Hierarchical Task-Network Planner based on Symbolic Model Checking 94
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 92
Weak, strong, and strong cyclic planning via symbolic model checking 91
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 89
The Tropos methodology: an overview 88
A partition refinement algorithm for the pi-calculus 88
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 88
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 86
NuSMV2: an Open Source Tool for Symbolic Model Checking 82
Modeling and Monitoring Processes Exploiting Semantic Reasoning 81
Planning as model checking for extended goals in non-deterministic Domains 81
Planning with a language for extended goals 81
Planning for requests against Web Services 71
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 68
Semantic-Based Process Analysis 62
Modeling and Monitoring Business Process Execution 60
Improving the Encoding of LTL Model Checking into SAT 55
Planning with Extended Goals and Partial Observability 53
XSRL: An XML web-services request language 50
Integrating BDD-based and SAT-based Symbolic Model Checking 39
Totale 5.140
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.021
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 306
Totale 20.327
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202188 0 0 0 0 0 0 0 0 0 19 54 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.735 139 47 248 319 192 162 275 55 164 134 0 0
Totale 5.140