IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.775
AS - Asia 818
EU - Europa 643
SA - Sud America 212
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 4.472
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.742
SG - Singapore 460
CN - Cina 190
BR - Brasile 175
RU - Federazione Russa 129
UA - Ucraina 119
SE - Svezia 88
FI - Finlandia 68
DE - Germania 59
VN - Vietnam 58
LV - Lettonia 49
GB - Regno Unito 41
IT - Italia 35
JO - Giordania 21
CA - Canada 18
AR - Argentina 17
BG - Bulgaria 15
FR - Francia 14
HK - Hong Kong 14
BD - Bangladesh 10
MX - Messico 10
IQ - Iraq 9
ZA - Sudafrica 9
ID - Indonesia 8
TR - Turchia 8
IN - India 7
EC - Ecuador 6
IL - Israele 6
JP - Giappone 6
CO - Colombia 5
ES - Italia 4
EU - Europa 4
NL - Olanda 4
VE - Venezuela 4
AU - Australia 3
CR - Costa Rica 3
IR - Iran 3
LT - Lituania 3
PK - Pakistan 3
PL - Polonia 3
UZ - Uzbekistan 3
AL - Albania 2
BE - Belgio 2
BO - Bolivia 2
BW - Botswana 2
CZ - Repubblica Ceca 2
MY - Malesia 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
AT - Austria 1
BB - Barbados 1
CG - Congo 1
DZ - Algeria 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KR - Corea 1
KW - Kuwait 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MA - Marocco 1
MK - Macedonia 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PY - Paraguay 1
RS - Serbia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.472
Salva come PNG Salva come JPEG
Città #
Singapore 314
Ashburn 303
Fairfield 252
Jacksonville 245
Chandler 238
Woodbridge 130
Seattle 124
Dallas 113
Santa Clara 109
Houston 96
Cambridge 95
Wilmington 95
Columbus 87
Princeton 70
Moscow 61
San Mateo 58
Ann Arbor 49
Riga 49
New York 47
Beijing 43
Los Angeles 38
Chicago 27
Fremont 27
Dearborn 26
Hefei 21
Munich 21
Ho Chi Minh City 20
São Paulo 20
Helsinki 18
Boardman 17
San Diego 17
Redondo Beach 15
Sofia 15
Buffalo 14
Turku 13
Hanoi 12
Hong Kong 11
Lawrence 11
Shanghai 10
Frankfurt am Main 9
Council Bluffs 8
Falls Church 8
London 8
Paris 8
Rio de Janeiro 8
Porto Alegre 7
Toronto 7
Trento 7
Brooklyn 6
Haiphong 6
Jakarta 6
Norwalk 6
Rome 6
Tokyo 6
Washington 6
Denver 5
Elk Grove Village 5
Kunming 5
Milan 5
Montreal 5
Nuremberg 5
Orem 5
Amsterdam 4
Andover 4
Ankara 4
Atlanta 4
Belo Horizonte 4
Brasília 4
Johannesburg 4
Lappeenranta 4
Nanjing 4
Querétaro 4
Salt Lake City 4
Stockholm 4
Buenos Aires 3
Caracas 3
Changsha 3
Charlotte 3
Colombo 3
Da Nang 3
Kilburn 3
North Bergen 3
Phoenix 3
Salvador 3
San Jose 3
San José 3
Santo André 3
Sorocaba 3
Tashkent 3
Warsaw 3
Zhengzhou 3
Ardabil 2
Augusta 2
Baghdad 2
Biên Hòa 2
Boston 2
Bratislava 2
Brussels 2
Campinas 2
Canoas 2
Totale 3.195
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 154
Automated Synthesis of Composite BPEL4WS Web Services 134
A request language for web services based on planning and constraint satisfaction 132
A Parametric Communication Model for the Verification of BPEL4WS Compositions 128
A model-checking verification environment for mobile processes 128
Improving the Encoding of LTL Model Checking into SAT 128
`Closed interval process algebra' versus `interval process algebra' 124
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 120
A Framework for Integrating Business Processes and Business Requirements 119
Integrating BDD-based and SAT-based Symbolic Model Checking 117
Specifying and analyzing early requirements: some experimental results 117
Graph Rewriting for Agent Oriented Visual Modeling 116
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 109
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 109
Model checking early requirements specifications in tropos. 107
Specifying and analyzing early requirements in Tropos 106
History-Dependent Automata: An Introduction 105
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 105
NuSMV 2: An opensource tool for symbolic model checking 101
On the semantics of durational actions 99
NuSMV2: an open source tool for symbolic model checking 99
Semantic modeling and analysis of complex data-aware processes and their executions 96
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 96
The Planning Spectrum - One, Two, Three, Infinity 94
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 91
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 87
Verifying mobile processes in the HAL environment 86
Weak, strong, and strong cyclic planning via symbolic model checking 85
Adaptivity in Dynamic Service-based Systems 85
A Hierarchical Task-Network Planner based on Symbolic Model Checking 84
A Framework for Planning with Extended Goals under Partial Observability 84
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 81
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 79
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 78
The Tropos methodology: an overview 77
A partition refinement algorithm for the pi-calculus 76
Planning as model checking for extended goals in non-deterministic Domains 73
Planning with a language for extended goals 73
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 73
CAptLang: a language for context-aware and adaptable business processes 67
Planning for requests against Web Services 64
Modeling and Monitoring Processes Exploiting Semantic Reasoning 63
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 62
Semantic-Based Process Analysis 55
Modeling and Monitoring Business Process Execution 47
Planning with Extended Goals and Partial Observability 45
Improving the Encoding of LTL Model Checking into SAT 44
NuSMV2: an Open Source Tool for Symbolic Model Checking 43
XSRL: An XML web-services request language 39
Integrating BDD-based and SAT-based Symbolic Model Checking 30
Totale 4.514
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.967
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 287
Totale 19.254
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021185 0 0 0 0 0 0 40 18 39 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.109 139 47 248 319 192 162 2 0 0 0 0 0
Totale 4.514