IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201946 0 0 0 0 0 0 0 0 0 0 32 14
2019/20201.655 155 153 6 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.216 166 70 177 55 106 119 84 159 48 229 3 0
Totale 9.321