IRIS Institutional Research Information System

Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.437
EU - Europa 9.684
AS - Asia 4.291
SA - Sud America 1.042
Continente sconosciuto - Info sul continente non disponibili 184
AF - Africa 112
OC - Oceania 14
AN - Antartide 1
Totale 26.765
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.048
RU - Federazione Russa 5.329
SG - Singapore 1.605
DE - Germania 1.059
BR - Brasile 884
CN - Cina 751
SE - Svezia 638
VN - Vietnam 615
UA - Ucraina 526
HK - Hong Kong 472
FI - Finlandia 413
IT - Italia 411
IN - India 371
FR - Francia 314
GB - Regno Unito 288
CA - Canada 214
NL - Olanda 204
IE - Irlanda 143
BE - Belgio 92
JP - Giappone 77
MX - Messico 77
AR - Argentina 75
BD - Bangladesh 73
PL - Polonia 54
ES - Italia 48
IQ - Iraq 45
IL - Israele 39
ZA - Sudafrica 36
EU - Europa 33
LT - Lituania 32
TR - Turchia 29
PK - Pakistan 28
IR - Iran 24
SA - Arabia Saudita 24
UZ - Uzbekistan 21
MA - Marocco 19
CZ - Repubblica Ceca 18
EC - Ecuador 17
ID - Indonesia 17
AT - Austria 16
MY - Malesia 16
VE - Venezuela 16
KE - Kenya 15
AU - Australia 14
CO - Colombia 14
GT - Guatemala 14
SI - Slovenia 14
CR - Costa Rica 13
SV - El Salvador 12
CH - Svizzera 10
HN - Honduras 10
LB - Libano 10
PT - Portogallo 10
SC - Seychelles 10
CL - Cile 9
GR - Grecia 9
MD - Moldavia 9
NI - Nicaragua 9
NP - Nepal 9
TT - Trinidad e Tobago 9
BO - Bolivia 8
ET - Etiopia 8
PR - Porto Rico 8
PY - Paraguay 8
JM - Giamaica 7
PH - Filippine 7
UY - Uruguay 7
AL - Albania 6
DK - Danimarca 6
DZ - Algeria 6
EG - Egitto 6
JO - Giordania 6
KR - Corea 6
RO - Romania 6
AE - Emirati Arabi Uniti 5
AZ - Azerbaigian 5
CW - ???statistics.table.value.countryCode.CW??? 5
EE - Estonia 5
KZ - Kazakistan 5
OM - Oman 5
BA - Bosnia-Erzegovina 4
BB - Barbados 4
CI - Costa d'Avorio 4
PA - Panama 4
PE - Perù 4
RS - Serbia 4
TH - Thailandia 4
TW - Taiwan 4
BY - Bielorussia 3
DO - Repubblica Dominicana 3
GE - Georgia 3
HU - Ungheria 3
LV - Lettonia 3
PS - Palestinian Territory 3
BG - Bulgaria 2
BN - Brunei Darussalam 2
GD - Grenada 2
GP - Guadalupe 2
HR - Croazia 2
MM - Myanmar 2
Totale 26.598
Salva come PNG Salva come JPEG
Città #
Chandler 1.230
San Jose 1.099
Jacksonville 1.020
Council Bluffs 970
Singapore 892
Ashburn 621
Dallas 525
Hong Kong 444
Moscow 359
Boardman 292
Wilmington 259
Helsinki 233
Beijing 231
Ann Arbor 211
Los Angeles 211
The Dalles 196
Dong Ket 168
New York 164
Hefei 154
Ho Chi Minh City 152
Dublin 143
Kronberg 143
Munich 137
Dearborn 136
Lauterbourg 129
Phoenix 106
Woodbridge 98
Brooklyn 89
Houston 89
Hanoi 85
Brussels 80
São Paulo 75
Santa Clara 73
Tokyo 69
Trento 66
Seattle 63
Buffalo 60
Pune 58
Ottawa 55
Frankfurt am Main 52
Warsaw 49
Montreal 48
Orem 47
Denver 45
Guangzhou 44
Atlanta 42
Miami 40
Milan 40
Toronto 40
London 35
Boston 34
Falls Church 34
Shanghai 34
Turku 34
Chicago 33
Da Nang 33
Strasbourg 33
Garland 32
Rio de Janeiro 32
Tampa 30
Verona 30
Chennai 28
Brescia 27
Falkenstein 27
Redwood City 26
Johannesburg 24
Norwalk 24
Nuremberg 23
Augusta 22
North Easton 22
Tashkent 21
Mumbai 20
Belo Horizonte 19
Honolulu 19
Manchester 19
Mexico City 19
Rome 19
Stockholm 19
Fremont 18
Amsterdam 17
San Mateo 17
Dhaka 16
Baghdad 15
Brasília 15
Campinas 15
Curitiba 15
Des Moines 15
Orlando 15
Poplar 15
Portland 15
Querétaro 15
San Francisco 15
Tappahannock 15
Biên Hòa 14
Bologna 14
Nairobi 14
Mountain View 13
San José 13
Ankara 12
Fortaleza 12
Totale 12.729
Salva come PNG Salva come JPEG
Nome #
Responsible AI at the edge: towards privacy-preserving smart cities 345
Using Gamification to Incentivize Sustainable Urban Mobility 332
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 307
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 289
A gamification framework for the long-term engagement of smart citizens 279
Adaptation of Service-based Business Processes by Context-Aware Replanning 270
A Framework for Planning with Extended Goals under Partial Observability 262
Agent-oriented modeling by interleaving formal and informal specification 258
An Open Platform for Children’s Independent Mobility 254
Virtual Coaches for Mission–Based Gamified Smart Communities 250
Agent-oriented modeling by interleaving formal and informal specification 248
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 238
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing 236
Modeling and Monitoring Processes Exploiting Semantic Reasoning 236
A Context-Aware Framework for Business Processes Evolution 236
Adaptable Pervasive Flows: Towards a More Intelligent Environment 231
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems. 229
ASTRO: Supporting the Composition and Execution of Web Services 227
A Formalisation of Adaptable Pervasive Flows 226
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 224
Business Specification Framework: an Eclipse plugin for business process specification 224
Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface 224
Design for Adaptation of Distributed Service-Based Systems 224
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 222
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 222
A context-aware framework for dynamic composition of process fragments in the internet of services 222
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 221
A conceptual framework for collective adaptive systems 221
Incremental Composition for Adaptive By-Design Service Based Systems 221
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) 220
A Framework for Integrating Business Processes and Business Requirements 219
Clam: Cross-layer management of adaptation decisions for service-based applications 218
Continuous Orchestration of Web Services via Planning 218
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 217
Automated composition of web services via planning in asynchronous domains 214
Modelling and Automated Composition of User-Centric Services 214
Data-Flow Requirements for Dynamic Service Composition 212
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 212
Model Checking Early Requirements Specifications in Tropos 211
Automated Composition of Web Services by Planning at the Knowledge Level 210
Run-Time Monitoring of Instances and Classes of Web Service Composition 209
Control Flow Requirements for Automated Service Composition 208
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 207
CLAM: Managing Cross-layer Adaptation in Service-Based Systems 205
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 204
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 204
Analysis of Communication Models in Web Service Compositions 203
MBP: A Model Based Planner 201
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 200
Cross-layer Adaptation and Monitoring of Service-Based Applications 200
Collective Adaptation in Process-based Systems 199
An Overall Process for Self-Adaptive Pervasive Systems 197
Run-Time Monitoring of the Execution of Plans for Web Service Composition 194
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis 193
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 193
Automatic generation and recommendation of personalized challenges for gamification 193
Preventing KPI Violations in Business Processes based on Decision Tree Learning and Proactive Runtime Adaptation 191
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 191
A Parametric Communication Model for the Verification of BPEL4WS Compositions 190
Analysis of Realizability Conditions for Web Service Choreographies 189
Modeling and Monitoring Business Process Execution 189
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 189
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 188
Automated Web Service Composition by On-The-Fly Belief Space Search 188
Towards Correctness Assurance in Adaptive Service-Based Applications 183
Semantic-Based Process Analysis 183
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 181
CAptEvo: Context-aware Adaptation and Evolution of Business Processes 181
CAptLang: a language for context-aware and adaptable business processes 180
Domain Objects for Dynamic and Incremental Service Composition 180
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 180
Distributed Service Co-evolution Based on Domain Objects 180
Automated Composition of Web Services by Planning in Asynchronous Domains 180
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation 178
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 178
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 175
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 173
MBP: a Model Based Planner 172
Autonomous and Adaptive Web Services 171
Timed Modelling and Analysis in Web Service Compositions 171
An Iterative Approach for the Process-level Composition of Web Services 169
CLAM: cross-layer adaptation manager for service-based applications 167
Specifying and Analyzing Early Requirements in Tropos 166
Integrating Perfective and Corrective Adaptation of Service-based Applications 166
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 164
Planning with Extended Goals and Partial Observability 164
Dynamic Composition of Pervasive Process Fragments 164
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 163
Integrating BDD-based and SAT-based Symbolic Model Checking 162
Automated Composition of Semantic Web Services into Executable Processes 162
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 162
Formal Verification of Requirements using Spin: A Case Study on Web Services 162
Automated Synthesis of Composite BPEL4WS Web Services 161
Exploiting assumption-based verification for the adaptation of service-based applications 161
Graph Rewriting for Agent Oriented Visual Modeling 159
Specifying and Analyzing Early Requirements: Some Experimental Results 157
Automated Web Service Composition at Work: the Amazon/MPS Case Study 156
Design and Verification of Web Services Compositions in the Telecommunication Domain 156
Use-Based Discovery of Pervasive Services 155
PRadapt: A framework for dynamic monitoring of adaptable service-based systems 153
Totale 20.343
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.468
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 110.468
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022716 0 0 0 126 34 26 23 123 58 48 67 211
2022/20232.670 157 201 65 501 152 389 42 189 614 189 105 66
2023/20241.377 166 70 177 55 106 119 84 159 48 229 15 149
2024/20254.120 56 69 365 126 75 104 147 261 1.498 492 591 336
2025/202610.849 384 559 918 769 548 393 1.482 4.077 600 480 532 107
2026/20272.314 444 393 785 692 0 0 0 0 0 0 0 0
Totale 26.765