IRIS Institutional Research Information System

Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.570
EU - Europa 3.462
AS - Asia 1.480
SA - Sud America 139
Continente sconosciuto - Info sul continente non disponibili 33
AF - Africa 13
OC - Oceania 11
Totale 10.708
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.469
DE - Germania 811
SE - Svezia 515
UA - Ucraina 510
FI - Finlandia 377
HK - Hong Kong 352
SG - Singapore 348
IT - Italia 318
IN - India 272
RU - Federazione Russa 225
CN - Cina 217
GB - Regno Unito 180
VN - Vietnam 170
IE - Irlanda 142
FR - Francia 138
BR - Brasile 119
BE - Belgio 87
CA - Canada 86
NL - Olanda 54
EU - Europa 33
IL - Israele 33
IR - Iran 22
JP - Giappone 22
LT - Lituania 21
MX - Messico 14
CZ - Repubblica Ceca 13
SI - Slovenia 12
AU - Australia 11
AR - Argentina 10
CH - Svizzera 8
GR - Grecia 8
MA - Marocco 8
ES - Italia 7
AT - Austria 6
KR - Corea 6
LB - Libano 6
DK - Danimarca 5
PT - Portogallo 5
MY - Malesia 4
PK - Pakistan 4
RO - Romania 4
TR - Turchia 4
TW - Taiwan 4
CO - Colombia 3
EC - Ecuador 3
HU - Ungheria 3
MD - Moldavia 3
ID - Indonesia 2
KE - Kenya 2
LV - Lettonia 2
NO - Norvegia 2
PE - Perù 2
TH - Thailandia 2
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BO - Bolivia 1
BY - Bielorussia 1
CL - Cile 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
HR - Croazia 1
IQ - Iraq 1
JO - Giordania 1
KZ - Kazakistan 1
NI - Nicaragua 1
PH - Filippine 1
PL - Polonia 1
QA - Qatar 1
SA - Arabia Saudita 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TM - Turkmenistan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 10.708
Salva come PNG Salva come JPEG
Città #
Chandler 1.230
Jacksonville 1.012
Hong Kong 346
Boardman 287
Ashburn 256
Wilmington 256
Helsinki 232
Ann Arbor 211
Singapore 209
Dong Ket 168
Kronberg 143
Dublin 142
Dearborn 136
Woodbridge 97
Los Angeles 81
Brussels 78
Beijing 71
Moscow 66
Houston 63
Trento 62
Pune 57
Brooklyn 56
Phoenix 55
Ottawa 53
Munich 47
Seattle 47
Guangzhou 37
Falls Church 34
Strasbourg 33
New York 32
Shanghai 31
Milan 29
Falkenstein 27
Brescia 26
Redwood City 26
Verona 25
Miami 23
Norwalk 23
Toronto 23
Frankfurt am Main 20
Tokyo 20
Augusta 19
Santa Clara 18
San Mateo 17
Fremont 16
Tappahannock 15
Council Bluffs 13
Mountain View 13
Portland 12
Rome 12
Hanover 11
London 10
Ardabil 9
Berlin 9
Mexico City 8
Olomouc 8
São Paulo 8
Auburn Hills 7
Buenos Aires 7
Campinas 7
Fairfield 7
Redmond 7
Secaucus 7
Gordon 6
Hamburg 6
Hefei 6
Mumbai 6
Nuremberg 6
Bangalore 5
Bolzano 5
Cologne 5
Leawood 5
Sacramento 5
Saint Petersburg 5
Vilnius 5
Barcelona 4
Bucharest 4
Frankfurt Am Main 4
Hangzhou 4
Kharkiv 4
Leuven 4
Naples 4
Storo 4
Taipei 4
Zurich 4
Amsterdam 3
Ascoli Piceno 3
Bologna 3
Brandenburg 3
Bristol 3
Brno 3
Chisinau 3
Costa Mesa 3
Curitiba 3
Dallas 3
Des Moines 3
Florence 3
Fortaleza 3
Gioia Del Colle 3
Isera 3
Totale 6.260
Salva come PNG Salva come JPEG
Nome #
Using Gamification to Incentivize Sustainable Urban Mobility 204
Responsible AI at the edge: towards privacy-preserving smart cities 174
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 157
Fra Pubblico e Privato: Sistemi Digitali Simbiotici per la Persona 138
A gamification framework for the long-term engagement of smart citizens 122
Design for Adaptation of Distributed Service-Based Systems 118
An Open Platform for Children’s Independent Mobility 116
Virtual Coaches for Mission–Based Gamified Smart Communities 114
Incremental Composition for Adaptive By-Design Service Based Systems 102
Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface 100
Agent-oriented modeling by interleaving formal and informal specification 99
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 99
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems. 98
Agent-oriented modeling by interleaving formal and informal specification 98
Automated composition of web services via planning in asynchronous domains 97
ASTRO: Supporting the Composition and Execution of Web Services 96
Automated Composition of Web Services by Planning at the Knowledge Level 94
A Framework for Planning with Extended Goals under Partial Observability 93
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 93
MBP: A Model Based Planner 93
Adaptation of Service-based Business Processes by Context-Aware Replanning 92
Clam: Cross-layer management of adaptation decisions for service-based applications 91
Model Checking Early Requirements Specifications in Tropos 91
Run-Time Monitoring of Instances and Classes of Web Service Composition 91
Business Specification Framework: an Eclipse plugin for business process specification 91
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) 90
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing 88
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 88
CLAM: Managing Cross-layer Adaptation in Service-Based Systems 87
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 86
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 86
Continuous Orchestration of Web Services via Planning 84
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 84
A conceptual framework for collective adaptive systems 84
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 84
Adaptable Pervasive Flows: Towards a More Intelligent Environment 83
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments 83
Modeling and Monitoring Processes Exploiting Semantic Reasoning 82
A Framework for Integrating Business Processes and Business Requirements 81
A Context-Aware Framework for Business Processes Evolution 81
Integrating BDD-based and SAT-based Symbolic Model Checking 80
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 80
Data-Flow Requirements for Dynamic Service Composition 80
A Formalisation of Adaptable Pervasive Flows 80
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 78
Run-Time Monitoring of the Execution of Plans for Web Service Composition 78
Automated Web Service Composition by On-The-Fly Belief Space Search 77
Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems. 77
Modelling and Automated Composition of User-Centric Services 76
Automatic generation and recommendation of personalized challenges for gamification 76
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 75
Analysis of Communication Models in Web Service Compositions 75
Control Flow Requirements for Automated Service Composition 75
CAptLang: a language for context-aware and adaptable business processes 74
CAptEvo: Context-aware Adaptation and Evolution of Business Processes 74
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 73
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 73
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 73
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 72
Cross-layer Adaptation and Monitoring of Service-Based Applications 72
Graph Rewriting for Agent Oriented Visual Modeling 71
Preventing KPI Violations in Business Processes based on Decision Tree Learning and Proactive Runtime Adaptation 71
An Overall Process for Self-Adaptive Pervasive Systems 71
PRadapt: A framework for dynamic monitoring of adaptable service-based systems 71
Modeling and Monitoring Business Process Execution 71
MBP: a Model Based Planner 71
Semantic-Based Process Analysis 71
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 70
Autonomous and Adaptive Web Services 70
A context-aware framework for dynamic composition of process fragments in the internet of services 70
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 70
Automated Web Service Composition at Work: the Amazon/MPS Case Study 69
Automated Composition of Semantic Web Services into Executable Processes 69
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 69
Specifying and Analyzing Early Requirements in Tropos 68
Process-Level composition of executable Web services: `on-the-fly` versus `once-for-all` composition 68
Planning with Extended Goals and Partial Observability 68
Analysis of Realizability Conditions for Web Service Choreographies 68
Automated Composition of Web Services by Planning in Asynchronous Domains 68
Timed Modelling and Analysis in Web Service Compositions 67
Modelling and Analysis of Time-related Properties in Web Service Compositions 67
A Parametric Communication Model for the Verification of BPEL4WS Compositions 67
Agree or Change! Making Services Evolve 67
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices 66
Semantic Annotation for Web Service Processes 66
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis 66
Domain Objects for Dynamic and Incremental Service Composition 66
Graph Rewriting for Agent Oriented Visual Modeling 66
Requirements-Driven Verification of Web Services 66
Distributed Service Co-evolution Based on Domain Objects 66
Having Services YourWay!: Towards User-Centric Composition of Mobile Services 65
Formal Verification of Requirements using Spin: A Case Study on Web Services 65
Planning and Monitoring Web Service Composition 64
Plan Validation for Extended Goals under Partial Observability (preliminary report) 64
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans 64
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains 64
History Dependent Automata for Service Compatibility 64
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. 64
Planning with a Language for Extended Goals 62
Automated Synthesis of Composite BPEL4WS Web Services 62
Totale 8.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 66.122
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 66.122
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020808 0 0 0 0 0 0 0 0 194 268 228 118
2020/20211.657 211 7 169 102 164 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/20251.370 56 69 365 126 75 104 147 261 167 0 0 0
Totale 10.852