IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.234
AS - Asia 1.158
EU - Europa 748
SA - Sud America 230
Continente sconosciuto - Info sul continente non disponibili 49
AF - Africa 23
OC - Oceania 3
Totale 5.445
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.177
SG - Singapore 502
CN - Cina 235
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
IT - Italia 59
FR - Francia 57
LV - Lettonia 49
GB - Regno Unito 46
CA - Canada 30
IN - India 24
HK - Hong Kong 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
CO - Colombia 9
EC - Ecuador 9
ES - Italia 9
TR - Turchia 9
CR - Costa Rica 8
JP - Giappone 8
NL - Olanda 8
PK - Pakistan 8
IL - Israele 7
VE - Venezuela 6
EU - Europa 4
UZ - Uzbekistan 4
AU - Australia 3
BE - Belgio 3
IR - Iran 3
JM - Giamaica 3
LT - Lituania 3
PE - Perù 3
PH - Filippine 3
PL - Polonia 3
TH - Thailandia 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
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
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
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 5.403
Salva come PNG Salva come JPEG
Città #
Ashburn 340
Singapore 335
Fairfield 252
Jacksonville 247
Chandler 238
San Jose 156
Woodbridge 130
Seattle 124
Dallas 120
Columbus 119
Santa Clara 116
Houston 100
Cambridge 95
Wilmington 95
Princeton 70
Moscow 62
Council Bluffs 61
Seoul 60
San Mateo 58
New York 54
Hanoi 52
Ann Arbor 49
Ho Chi Minh City 49
Riga 49
Los Angeles 48
Beijing 43
Lauterbourg 37
Chicago 30
Fremont 27
Dearborn 26
Boardman 22
Hefei 21
Helsinki 21
Munich 21
São Paulo 20
Buffalo 17
Frankfurt am Main 17
Hong Kong 17
San Diego 17
Redondo Beach 15
Sofia 15
Da Nang 14
Turku 13
Haiphong 12
Milan 12
Shanghai 12
Lawrence 11
The Dalles 11
London 10
Toronto 10
Denver 9
Paris 9
Chennai 8
Falls Church 8
Orem 8
Rio de Janeiro 8
San José 8
Tokyo 8
Atlanta 7
Montreal 7
North Charleston 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
Biên Hòa 5
Kunming 5
Mumbai 5
Andover 4
Ankara 4
Baghdad 4
Belo Horizonte 4
Brasília 4
Caracas 4
Changsha 4
Lappeenranta 4
Madrid 4
Nanjing 4
Nha Trang 4
Querétaro 4
San Francisco 4
Stockholm 4
Tashkent 4
The Bronx 4
Bogotá 3
Buenos Aires 3
Campinas 3
Charlotte 3
Colombo 3
Des Moines 3
Faisalabad 3
Totale 3.819
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 170
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 165
NuSMV 2: An opensource tool for symbolic model checking 158
Automated Synthesis of Composite BPEL4WS Web Services 153
A request language for web services based on planning and constraint satisfaction 146
A Parametric Communication Model for the Verification of BPEL4WS Compositions 144
Improving the Encoding of LTL Model Checking into SAT 144
A model-checking verification environment for mobile processes 141
A Framework for Integrating Business Processes and Business Requirements 138
`Closed interval process algebra' versus `interval process algebra' 137
Semantic modeling and analysis of complex data-aware processes and their executions 136
Integrating BDD-based and SAT-based Symbolic Model Checking 130
Graph Rewriting for Agent Oriented Visual Modeling 128
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 128
Specifying and analyzing early requirements: some experimental results 127
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 122
A Framework for Planning with Extended Goals under Partial Observability 122
Model checking early requirements specifications in tropos. 121
Specifying and analyzing early requirements in Tropos 118
History-Dependent Automata: An Introduction 117
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 116
On the semantics of durational actions 112
NuSMV2: an open source tool for symbolic model checking 112
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 110
Adaptivity in Dynamic Service-based Systems 106
Verifying mobile processes in the HAL environment 104
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 104
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 103
CAptLang: a language for context-aware and adaptable business processes 103
The Planning Spectrum - One, Two, Three, Infinity 102
Modeling and Monitoring Processes Exploiting Semantic Reasoning 98
A Hierarchical Task-Network Planner based on Symbolic Model Checking 98
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 97
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 95
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 94
Weak, strong, and strong cyclic planning via symbolic model checking 94
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 93
The Tropos methodology: an overview 92
A partition refinement algorithm for the pi-calculus 91
NuSMV2: an Open Source Tool for Symbolic Model Checking 89
Planning with a language for extended goals 85
Planning as model checking for extended goals in non-deterministic Domains 83
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 75
Improving the Encoding of LTL Model Checking into SAT 74
Planning for requests against Web Services 74
Semantic-Based Process Analysis 71
Modeling and Monitoring Business Process Execution 64
Planning with Extended Goals and Partial Observability 57
XSRL: An XML web-services request language 52
Integrating BDD-based and SAT-based Symbolic Model Checking 52
Totale 5.445
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.300
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 349
Totale 22.649
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022349 0 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.869 139 47 248 319 192 162 275 55 164 155 64 49
2026/2027171 56 115 0 0 0 0 0 0 0 0 0 0
Totale 5.445