IRIS Institutional Research Information System

Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.371
EU - Europa 5.235
AS - Asia 3.130
SA - Sud America 903
AF - Africa 70
Continente sconosciuto - Info sul continente non disponibili 34
OC - Oceania 12
AN - Antartide 1
Totale 16.756
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.152
RU - Federazione Russa 1.449
SG - Singapore 1.230
DE - Germania 925
BR - Brasile 794
CN - Cina 600
SE - Svezia 535
UA - Ucraina 517
FI - Finlandia 412
HK - Hong Kong 408
IT - Italia 348
IN - India 333
GB - Regno Unito 263
VN - Vietnam 254
NL - Olanda 197
CA - Canada 155
FR - Francia 155
IE - Irlanda 142
BE - Belgio 87
AR - Argentina 57
JP - Giappone 53
MX - Messico 47
PL - Polonia 44
IL - Israele 37
BD - Bangladesh 36
ES - Italia 34
EU - Europa 33
LT - Lituania 29
IQ - Iraq 28
TR - Turchia 25
ZA - Sudafrica 25
IR - Iran 23
CZ - Repubblica Ceca 17
MA - Marocco 17
SA - Arabia Saudita 17
UZ - Uzbekistan 15
EC - Ecuador 13
AU - Australia 12
PK - Pakistan 12
SI - Slovenia 12
AT - Austria 10
CH - Svizzera 10
LB - Libano 10
CO - Colombia 9
VE - Venezuela 9
GR - Grecia 8
ET - Etiopia 7
KE - Kenya 7
CL - Cile 6
DK - Danimarca 6
KR - Corea 6
MY - Malesia 6
RO - Romania 6
EG - Egitto 5
PT - Portogallo 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
BO - Bolivia 4
DZ - Algeria 4
ID - Indonesia 4
KZ - Kazakistan 4
PY - Paraguay 4
TW - Taiwan 4
UY - Uruguay 4
AZ - Azerbaigian 3
BB - Barbados 3
EE - Estonia 3
HU - Ungheria 3
JO - Giordania 3
LV - Lettonia 3
MD - Moldavia 3
PE - Perù 3
TT - Trinidad e Tobago 3
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
GD - Grenada 2
GE - Georgia 2
JM - Giamaica 2
NO - Norvegia 2
NP - Nepal 2
OM - Oman 2
SC - Seychelles 2
TH - Thailandia 2
AM - Armenia 1
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
NI - Nicaragua 1
PA - Panama 1
PH - Filippine 1
QA - Qatar 1
RS - Serbia 1
Totale 16.752
Salva come PNG Salva come JPEG
Città #
Chandler 1.230
Jacksonville 1.012
Singapore 794
Dallas 505
Ashburn 481
Hong Kong 401
Moscow 357
Boardman 289
Wilmington 256
Helsinki 232
Beijing 216
Ann Arbor 211
The Dalles 179
Dong Ket 168
Los Angeles 164
Hefei 154
Kronberg 143
Dublin 142
Dearborn 136
Munich 134
Woodbridge 98
New York 92
Brooklyn 79
Brussels 78
Houston 72
São Paulo 68
Phoenix 67
Trento 66
Pune 58
Seattle 54
Ottawa 53
Tokyo 51
Santa Clara 48
Warsaw 41
Montreal 40
Guangzhou 39
Falls Church 34
Ho Chi Minh City 34
Turku 34
Strasbourg 33
Frankfurt am Main 32
Milan 32
Shanghai 32
London 31
Toronto 31
Denver 30
Verona 29
Boston 28
Rio de Janeiro 28
Falkenstein 27
Brescia 26
Chennai 26
Orem 26
Redwood City 26
Miami 25
Norwalk 23
Atlanta 22
Johannesburg 21
Augusta 20
Stockholm 19
Belo Horizonte 17
Council Bluffs 17
San Mateo 17
Fremont 16
Mumbai 16
Chicago 15
Manchester 15
Mexico City 15
Tappahannock 15
Tashkent 15
Brasília 14
Hanoi 14
Rome 14
Campinas 13
Curitiba 13
Des Moines 13
Mountain View 13
Querétaro 13
Portland 12
San Francisco 12
Amsterdam 11
Berlin 11
Buenos Aires 11
Hanover 11
Olomouc 11
Poplar 11
Secaucus 11
Ankara 10
Baghdad 10
Fortaleza 10
Nuremberg 10
Salvador 10
Ardabil 9
Porto Alegre 9
Bologna 8
Caxias do Sul 8
Recife 8
Riyadh 8
St Petersburg 8
Auburn Hills 7
Totale 9.358
Salva come PNG Salva come JPEG
Nome #
Using Gamification to Incentivize Sustainable Urban Mobility 258
Responsible AI at the edge: towards privacy-preserving smart cities 246
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 230
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 196
A gamification framework for the long-term engagement of smart citizens 185
A Framework for Planning with Extended Goals under Partial Observability 177
An Open Platform for Children’s Independent Mobility 170
Virtual Coaches for Mission–Based Gamified Smart Communities 168
Agent-oriented modeling by interleaving formal and informal specification 165
Adaptation of Service-based Business Processes by Context-Aware Replanning 164
Agent-oriented modeling by interleaving formal and informal specification 163
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 156
Incremental Composition for Adaptive By-Design Service Based Systems 154
A Context-Aware Framework for Business Processes Evolution 152
Adaptable Pervasive Flows: Towards a More Intelligent Environment 151
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing 150
Design for Adaptation of Distributed Service-Based Systems 150
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 149
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems. 149
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 148
ASTRO: Supporting the Composition and Execution of Web Services 147
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) 147
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 146
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 145
Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface 145
Run-Time Monitoring of Instances and Classes of Web Service Composition 144
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 143
Modeling and Monitoring Processes Exploiting Semantic Reasoning 143
A context-aware framework for dynamic composition of process fragments in the internet of services 143
A Formalisation of Adaptable Pervasive Flows 141
Model Checking Early Requirements Specifications in Tropos 140
Automated Composition of Web Services by Planning at the Knowledge Level 140
Business Specification Framework: an Eclipse plugin for business process specification 140
A conceptual framework for collective adaptive systems 140
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 140
Clam: Cross-layer management of adaptation decisions for service-based applications 138
Automated composition of web services via planning in asynchronous domains 137
Continuous Orchestration of Web Services via Planning 136
Control Flow Requirements for Automated Service Composition 135
MBP: A Model Based Planner 135
A Framework for Integrating Business Processes and Business Requirements 134
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 133
Data-Flow Requirements for Dynamic Service Composition 132
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 130
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 130
Analysis of Communication Models in Web Service Compositions 128
Modelling and Automated Composition of User-Centric Services 128
Cross-layer Adaptation and Monitoring of Service-Based Applications 127
CLAM: Managing Cross-layer Adaptation in Service-Based Systems 126
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 125
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 125
Run-Time Monitoring of the Execution of Plans for Web Service Composition 124
Automatic generation and recommendation of personalized challenges for gamification 124
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis 121
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 121
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 120
An Overall Process for Self-Adaptive Pervasive Systems 120
Automated Web Service Composition by On-The-Fly Belief Space Search 117
Planning with Extended Goals and Partial Observability 116
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 116
Distributed Service Co-evolution Based on Domain Objects 116
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 114
Domain Objects for Dynamic and Incremental Service Composition 114
Analysis of Realizability Conditions for Web Service Choreographies 113
CAptLang: a language for context-aware and adaptable business processes 113
Collective Adaptation in Process-based Systems 113
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 112
A Parametric Communication Model for the Verification of BPEL4WS Compositions 112
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 111
CAptEvo: Context-aware Adaptation and Evolution of Business Processes 111
Semantic-Based Process Analysis 111
Preventing KPI Violations in Business Processes based on Decision Tree Learning and Proactive Runtime Adaptation 110
Automated Composition of Web Services by Planning in Asynchronous Domains 110
Towards Correctness Assurance in Adaptive Service-Based Applications 107
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 107
Autonomous and Adaptive Web Services 106
Modeling and Monitoring Business Process Execution 106
Integrating BDD-based and SAT-based Symbolic Model Checking 104
MBP: a Model Based Planner 104
Specifying and Analyzing Early Requirements in Tropos 102
Automated Composition of Semantic Web Services into Executable Processes 101
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation 101
PRadapt: A framework for dynamic monitoring of adaptable service-based systems 101
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 101
Automated Web Service Composition at Work: the Amazon/MPS Case Study 100
Timed Modelling and Analysis in Web Service Compositions 100
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 100
Integrating Perfective and Corrective Adaptation of Service-based Applications 100
CLAM: cross-layer adaptation manager for service-based applications 99
Formal Verification of Requirements using Spin: A Case Study on Web Services 99
Graph Rewriting for Agent Oriented Visual Modeling 98
Web Service Discovery at Process-level Based on Semantic Annotation 98
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 98
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 97
Specifying and Analyzing Early Requirements: Some Experimental Results 97
Semantic Annotation for Web Service Processes 97
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 97
Automated Synthesis of Composite BPEL4WS Web Services 96
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 96
Exploiting assumption-based verification for the adaptation of service-based applications 96
Totale 12.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 86.227
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 86.227
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.004 0 0 0 0 0 42 203 14 80 313 88 264
2021/2022785 42 18 9 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/20263.298 384 559 918 769 548 120 0 0 0 0 0 0
Totale 16.900