IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.341 0 0 0 11 204 94 201 23 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/2025505 56 69 365 15 0 0 0 0 0 0 0 0
Totale 9.987