IRIS Institutional Research Information System

Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.528
NA - Nord America 8.694
AS - Asia 4.236
SA - Sud America 1.033
AF - Africa 103
Continente sconosciuto - Info sul continente non disponibili 34
OC - Oceania 14
AN - Antartide 1
Totale 23.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.414
RU - Federazione Russa 5.327
SG - Singapore 1.592
DE - Germania 1.051
BR - Brasile 881
CN - Cina 742
VN - Vietnam 613
SE - Svezia 560
UA - Ucraina 521
HK - Hong Kong 460
FI - Finlandia 413
IN - India 371
IT - Italia 368
FR - Francia 311
GB - Regno Unito 281
NL - Olanda 204
CA - Canada 169
IE - Irlanda 143
BE - Belgio 92
MX - Messico 77
AR - Argentina 73
BD - Bangladesh 71
JP - Giappone 68
PL - Polonia 54
IQ - Iraq 45
ES - Italia 44
IL - Israele 37
ZA - Sudafrica 36
EU - Europa 33
LT - Lituania 31
TR - Turchia 29
PK - Pakistan 27
IR - Iran 24
SA - Arabia Saudita 24
UZ - Uzbekistan 21
MA - Marocco 19
CZ - Repubblica Ceca 18
ID - Indonesia 17
AT - Austria 16
EC - Ecuador 15
KE - Kenya 15
VE - Venezuela 15
AU - Australia 14
SI - Slovenia 14
CO - Colombia 13
MY - Malesia 13
CH - Svizzera 10
LB - Libano 10
CL - Cile 9
GR - Grecia 9
NP - Nepal 9
PT - Portogallo 9
BO - Bolivia 8
ET - Etiopia 8
PY - Paraguay 8
MD - Moldavia 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
KZ - Kazakistan 5
OM - Oman 5
PH - Filippine 5
TT - Trinidad e Tobago 5
CI - Costa d'Avorio 4
EE - Estonia 4
PA - Panama 4
PE - Perù 4
RS - Serbia 4
TH - Thailandia 4
TW - Taiwan 4
BA - Bosnia-Erzegovina 3
BB - Barbados 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
GE - Georgia 3
GT - Guatemala 3
HN - Honduras 3
HU - Ungheria 3
JM - Giamaica 3
LV - Lettonia 3
NI - Nicaragua 3
PS - Palestinian Territory 3
BG - Bulgaria 2
BN - Brunei Darussalam 2
CR - Costa Rica 2
GD - Grenada 2
HR - Croazia 2
MM - Myanmar 2
NO - Norvegia 2
QA - Qatar 2
SC - Seychelles 2
SN - Senegal 2
TN - Tunisia 2
Totale 23.628
Salva come PNG Salva come JPEG
Città #
Chandler 1.230
Jacksonville 1.012
San Jose 923
Singapore 887
Ashburn 598
Dallas 508
Hong Kong 442
Moscow 359
Boardman 289
Wilmington 256
Helsinki 233
Beijing 229
Ann Arbor 211
The Dalles 194
Los Angeles 182
Dong Ket 168
Hefei 154
Ho Chi Minh City 152
Dublin 143
Kronberg 143
Munich 137
Dearborn 136
Lauterbourg 129
New York 108
Woodbridge 98
Hanoi 83
Brussels 80
Brooklyn 79
São Paulo 75
Houston 74
Phoenix 71
Trento 66
Tokyo 63
Pune 58
Santa Clara 56
Seattle 55
Ottawa 53
Frankfurt am Main 52
Warsaw 49
Orem 45
Guangzhou 43
Montreal 43
London 35
Denver 34
Falls Church 34
Shanghai 34
Turku 34
Da Nang 33
Milan 33
Strasbourg 33
Rio de Janeiro 32
Toronto 31
Boston 30
Verona 30
Chennai 28
Falkenstein 27
Atlanta 26
Brescia 26
Redwood City 26
Council Bluffs 25
Miami 25
Johannesburg 24
Norwalk 23
Nuremberg 23
Tashkent 21
Augusta 20
Mumbai 20
Belo Horizonte 19
Mexico City 19
Stockholm 19
Amsterdam 17
Manchester 17
San Mateo 17
Chicago 16
Dhaka 16
Fremont 16
Rome 16
Baghdad 15
Brasília 15
Des Moines 15
Poplar 15
Querétaro 15
Tappahannock 15
Biên Hòa 14
Campinas 14
Curitiba 14
Nairobi 14
Mountain View 13
Ankara 12
Fortaleza 12
Portland 12
San Francisco 12
Berlin 11
Buenos Aires 11
Haiphong 11
Hanover 11
Olomouc 11
Porto Alegre 11
Secaucus 11
Salvador 10
Totale 11.139
Salva come PNG Salva come JPEG
Nome #
Responsible AI at the edge: towards privacy-preserving smart cities 316
Using Gamification to Incentivize Sustainable Urban Mobility 307
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 285
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 259
A gamification framework for the long-term engagement of smart citizens 256
Adaptation of Service-based Business Processes by Context-Aware Replanning 246
A Framework for Planning with Extended Goals under Partial Observability 240
Agent-oriented modeling by interleaving formal and informal specification 234
An Open Platform for Children’s Independent Mobility 231
Agent-oriented modeling by interleaving formal and informal specification 227
Virtual Coaches for Mission–Based Gamified Smart Communities 221
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 219
A Context-Aware Framework for Business Processes Evolution 216
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing 213
Adaptable Pervasive Flows: Towards a More Intelligent Environment 213
Modeling and Monitoring Processes Exploiting Semantic Reasoning 213
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems. 210
ASTRO: Supporting the Composition and Execution of Web Services 206
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 206
A Formalisation of Adaptable Pervasive Flows 206
Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface 204
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 203
Business Specification Framework: an Eclipse plugin for business process specification 203
A context-aware framework for dynamic composition of process fragments in the internet of services 203
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) 201
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 201
Design for Adaptation of Distributed Service-Based Systems 201
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 199
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 198
Incremental Composition for Adaptive By-Design Service Based Systems 198
A conceptual framework for collective adaptive systems 197
Continuous Orchestration of Web Services via Planning 196
A Framework for Integrating Business Processes and Business Requirements 194
Automated composition of web services via planning in asynchronous domains 194
Clam: Cross-layer management of adaptation decisions for service-based applications 193
Model Checking Early Requirements Specifications in Tropos 192
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 192
Run-Time Monitoring of Instances and Classes of Web Service Composition 191
Data-Flow Requirements for Dynamic Service Composition 191
Automated Composition of Web Services by Planning at the Knowledge Level 189
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 186
Analysis of Communication Models in Web Service Compositions 185
Modelling and Automated Composition of User-Centric Services 185
Control Flow Requirements for Automated Service Composition 185
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 184
MBP: A Model Based Planner 183
Cross-layer Adaptation and Monitoring of Service-Based Applications 180
An Overall Process for Self-Adaptive Pervasive Systems 179
CLAM: Managing Cross-layer Adaptation in Service-Based Systems 178
Collective Adaptation in Process-based Systems 178
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 175
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis 174
Automatic generation and recommendation of personalized challenges for gamification 174
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 171
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 170
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 170
Run-Time Monitoring of the Execution of Plans for Web Service Composition 170
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 170
Modeling and Monitoring Business Process Execution 169
Preventing KPI Violations in Business Processes based on Decision Tree Learning and Proactive Runtime Adaptation 166
Analysis of Realizability Conditions for Web Service Choreographies 165
A Parametric Communication Model for the Verification of BPEL4WS Compositions 165
Automated Web Service Composition by On-The-Fly Belief Space Search 165
CAptEvo: Context-aware Adaptation and Evolution of Business Processes 163
Distributed Service Co-evolution Based on Domain Objects 163
CAptLang: a language for context-aware and adaptable business processes 162
Semantic-Based Process Analysis 162
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 160
Towards Correctness Assurance in Adaptive Service-Based Applications 160
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 160
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 159
Automated Composition of Web Services by Planning in Asynchronous Domains 159
Extending PDDL to mondeterminism, limited sensing and iterative conditional plans 157
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 156
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation 156
Domain Objects for Dynamic and Incremental Service Composition 156
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 155
Autonomous and Adaptive Web Services 153
CLAM: cross-layer adaptation manager for service-based applications 151
MBP: a Model Based Planner 151
Planning with Extended Goals and Partial Observability 150
Timed Modelling and Analysis in Web Service Compositions 150
Dynamic Composition of Pervasive Process Fragments 150
Specifying and Analyzing Early Requirements in Tropos 148
Integrating BDD-based and SAT-based Symbolic Model Checking 146
Automated Composition of Semantic Web Services into Executable Processes 145
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 145
Integrating Perfective and Corrective Adaptation of Service-based Applications 144
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 144
Graph Rewriting for Agent Oriented Visual Modeling 143
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 142
Specifying and Analyzing Early Requirements: Some Experimental Results 142
Automated Synthesis of Composite BPEL4WS Web Services 142
Exploiting assumption-based verification for the adaptation of service-based applications 142
An Iterative Approach for the Process-level Composition of Web Services 142
Formal Verification of Requirements using Spin: A Case Study on Web Services 141
PRadapt: A framework for dynamic monitoring of adaptable service-based systems 139
Automated Web Service Composition at Work: the Amazon/MPS Case Study 138
Use-Based Discovery of Pervasive Services 137
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 135
Totale 18.239
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.729
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 96.729
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021665 0 0 0 0 0 0 0 0 0 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/202610.185 384 559 918 769 548 393 1.482 4.077 600 455 0 0
Totale 23.787