Checking Bisimilarity for Finitary pi-Calculus. - Ugo Montanari; Marco Pistore (CONCUR, 1995)

Concurrent semantics for the pi-calculus. - Ugo Montanari; Marco Pistore (MFPS, 1995)

A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). - Marco Pistore; Davide Sangiorgi (CAV, 1996)

History dependent verification for partial order systems. - Ugo Montanari; Marco Pistore (Partial Order Methods in Verification, 1996)

Efficient Minimization up to Location Equivalence. - Ugo Montanari; Marco Pistore; Daniel Yankelevich (ESOP, 1996)

Specification and Verification of Timed Lazy Systems. - Flavio Corradini; Marco Pistore (MFCS, 1996)

Minimal Transition Systems for History-Preserving Bisimulation. - Ugo Montanari; Marco Pistore (STACS, 1997)

An Automated Based Verification Environment for Mobile Processes. - Gian-Luigi Ferrari 002; Gianluigi Ferro; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (TACAS, 1997)

Eager, busy-waiting and lazy actions in timed computation? - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (EXPRESS, 1997)

An Introduction to History Dependent Automata. - Ugo Montanari; Marco Pistore (HOOTS, 1997)

Verifying Mobile Processes in the HAL Environment. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (CAV, 1998)

Final semantics for the pi-calculus. - Furio Honsell; Marina Lenisa; Ugo Montanari; Marco Pistore (PROCOMET, 1998)

Finite State Verification for the Asynchronous pi-Calculus. - Ugo Montanari; Marco Pistore (TACAS, 1999)

pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. - Ugo Montanari; Marco Pistore (MFCS, 2000)

Planning as Model Checking for Extended Goals in Non-deterministic Domains. - Marco Pistore; Paolo Traverso (IJCAI, 2001)

Model Checking Early Requirements Specifications in Tropos. - Ariel Fuxman; John Mylopoulos; Marco Pistore; Paolo Traverso (RE, 2001)

'Closed Interval Process Algebra' versus 'Interval Process Algebra'. - Flavio Corradini; Marco Pistore (Acta Informatica, 2001)

A Partition Refinement Algorithm for the -Calculus. - Marco Pistore; Davide Sangiorgi (Inf. Comput., 2001)

On the semantics of durational actions. - Flavio Corradini; Gian-Luigi Ferrari 002; Marco Pistore (Theor. Comput. Sci., 2001)

Planning with a Language for Extended Goals. - Ugo Dal Lago; Marco Pistore; Paolo Traverso (AAAI/IAAI, 2002)

NuSMV 2: An OpenSource Tool for Symbolic Model Checking. - Alessandro Cimatti; Edmund M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; Armando Tacchella (CAV, 2002)

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. - Gian-Luigi Ferrari 002; Ugo Montanari; Marco Pistore (FoSSaCS, 2002)

Integrating BDD-Based and SAT-Based Symbolic Model Checking. - Alessandro Cimatti; Enrico Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; Armando Tacchella (FroCoS, 2002)

A Request Language for Web-Services Based on Planning and Constraint Satisfaction. - Marco Aiello 001; Mike P. Papazoglou; Jian Yang 001; Mark James Carman; Marco Pistore; Luciano Serafini; Paolo Traverso (TES, 2002)

Improving the Encoding of LTL Model Checking into SAT. - Alessandro Cimatti; Marco Pistore; Marco Roveri; Roberto Sebastiani (VMCAI, 2002)

Planning for Requests against Web Services. - Mike P. Papazoglou; Marco Aiello 001; Marco Pistore; Jian Yang 001 (IEEE Data Eng. Bull., 2002)

A Framework for Planning with Extended Goals under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso (ICAPS, 2003)

Agent-Oriented Modeling by Interleaving Formal and Informal Specification. - Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi (AOSE, 2003)

Specifying and Analyzing Early Requirements: Some Experimental Results. - Ariel Fuxman; Lin Liu 001; Marco Pistore; Marco Roveri; John Mylopoulos (RE, 2003)

Weak, strong, and strong cyclic planning via symbolic model checking. - Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso (Artif. Intell., 2003)

A model-checking verification environment for mobile processes. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Marco Pistore (ACM Trans. Softw. Eng. Methodol., 2003)

Planning and Monitoring Web Service Composition. - Marco Pistore; Fabio Barbon; Piergiorgio Bertoli; Dmitry Shaparau; Paolo Traverso (AIMSA, 2004)

Planning with Extended Goals and Partial Observability. - Piergiorgio Bertoli; Marco Pistore (ICAPS, 2004)

A Framework for Integrating Business Processes and Business Requirements. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (EDOC, 2004)

Formal Verification of Requirements using SPIN: A Case Study on Web Services. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (SEFM, 2004)

Automated Composition of Semantic Web Services into Executable Processes. - Paolo Traverso; Marco Pistore (ISWC, 2004)

Graph Rewriting for Agent Oriented Visual Modeling. - Aliaksei Novikau; Anna Perini; Marco Pistore (GT-VMT@ETAPS, 2004)

Requirements-Driven Verification of Web Services. - Marco Pistore; Marco Roveri; Paolo Busetta (WSFM, 2004)

A Hierarchical Task-Network Planner based on Symbolic Model Checking. - Ugur Kuter; Dana S. Nau; Marco Pistore; Paolo Traverso (ICAPS, 2005)

Automated Composition of Web Services by Planning in Asynchronous Domains. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli (ICAPS, 2005)

A Parametric Communication Model for the Verification of BPEL4WS Compositions. - Raman Kazhamiakin; Marco Pistore (EPEW/WS-FM, 2005)

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. - Marco Pistore; Pierluigi Roberti; Paolo Traverso (ESWC, 2005)

ASTRO: Supporting Composition and Execution of Web Services. - Michele Trainotti; Marco Pistore; Gaetano Calabrese; Gabriele Zacco; Gigi Lucchese; Fabio Barbon; Piergiorgio Bertoli; Paolo Traverso (ICSOC, 2005)

Automated Synthesis of Composite BPEL4WS Web Services. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (ICWS, 2005)

Automated Composition of Web Services by Planning at the Knowledge Level. - Marco Pistore; Annapaola Marconi; Piergiorgio Bertoli; Paolo Traverso (IJCAI, 2005)

History-Dependent Automata: An Introduction. - Ugo Montanari; Marco Pistore (SFM, 2005)

Automated synthesis of executable web service compositions from BPEL4WS processes. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (WWW (Special interest tracks and posters), 2005)

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. - Alexey Gotsman; Fabio Massacci; Marco Pistore (ARSPA@ICALP, 2005)

Structured coalgebras and minimal HD-automata for the pi-calculus. - Ugo Montanari; Marco Pistore (Theor. Comput. Sci., 2005)

Timed Modelling and Analysis in Web Service Compositions. - Raman Kazhamiakin; Paritosh K. Pandya; Marco Pistore (ARES, 2006)

Contingent Planning with Goal Preferences. - Dmitry Shaparau; Marco Pistore; Paolo Traverso (AAAI, 2006)

Run-Time Monitoring of the Execution of Plans for Web Service Composition. - Fabio Barbon; Paolo Traverso; Marco Pistore; Michele Trainotti (ICAPS, 2006)

Towards Strong Cyclic Planning under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore (ICAPS, 2006)

Automated Web Service Composition by On-the-Fly Belief Space Search. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (ICAPS, 2006)

Stong Cyclic Planning Under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore (ECAI, 2006)

Analysis of Realizability Conditions for Web Service Choreographies. - Raman Kazhamiakin; Marco Pistore (FORTE, 2006)

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. - Annapaola Marconi; Marco Pistore; Paolo Traverso (ICSOC, 2006)

Run-Time Monitoring of Instances and Classes of Web Service Compositions. - Fabio Barbon; Paolo Traverso; Marco Pistore; Michele Trainotti (ICWS, 2006)

Static Verification of Control and Data inWeb Service Compositions. - Raman Kazhamiakin; Marco Pistore (ICWS, 2006)

Representation, Verification, and Computation of Timed Properties in Web. - Raman Kazhamiakin; Paritosh K. Pandya; Marco Pistore (ICWS, 2006)

A Minimalist Approach to Semantic Annotations for Web Processes Compositions. - Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2006)

Specifying Data-Flow Requirements for the Automated Composition of Web Services. - Annapaola Marconi; Marco Pistore; Paolo Traverso (SEFM, 2006)

Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. - Raman Kazhamiakin; Marco Pistore (WS-FM, 2006)

Analysis of communication models in web service compositions. - Raman Kazhamiakin; Marco Pistore; Luca Santuari (WWW, 2006)

Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. - Jörg Hoffmann 001; Piergiorgio Bertoli; Marco Pistore (AAAI, 2007)

07061 Abstracts Collection – Autonomous and Adaptive Web Services. - Jana Koehler; Marco Pistore; Amit P. Sheth; Paolo Traverso; Martin Wirsing (Autonomous and Adaptive Web Services, 2007)

Agree or Change! Making Services Evolve. - Paolo Traverso; Marco Pistore (ICSM, 2007)

Design and Analysis of the Composed Telecom Services. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICSOC Workshops, 2007)

Design and Verification ofWeb Services Compositions in the Telecommunication Domain. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICWS, 2007)

Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. - Piergiorgio Bertoli; Jörg Hoffmann 001; Freddy Lécué; Marco Pistore (ICWS, 2007)

AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. - Annapaola Marconi; Marco Pistore; Piero Poccianti; Paolo Traverso (ICWS, 2007)

Web Service Discovery at Process-level Based on Semantic Annotation. - Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2007)

Assumption-Based Composition and Monitoring of Web Services. - Marco Pistore; Paolo Traverso (Test and Analysis of Web Services, 2007)

The Planning Spectrum - One, Two, Three, Infinity. - Marco Pistore; Moshe Y. Vardi (J. Artif. Intell. Res., 2007)

Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. - Dmitry Shaparau; Marco Pistore; Paolo Traverso (AAAI, 2008)

History Dependent Automata for Service Compatibility. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Marco Pistore; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

YourWay!: a Platform for Composing and Executing Services Driven by User Resources. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS (Posters & Demos), 2008)

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS, 2008)

Semantic Annotation for Web Service Processes. - Ivan Di Pietro; Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2008)

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. - Luciano Baresi; Sam Guinea; Raman Kazhamiakin; Marco Pistore (ServiceWave, 2008)

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. - Julia Hielscher; Raman Kazhamiakin; Andreas Metzger; Marco Pistore (ServiceWave, 2008)

Towards Correctness Assurance in Adaptive Service-Based Applications. - Raman Kazhamiakin; Andreas Metzger; Marco Pistore (ServiceWave, 2008)

Automated Composition of Web Services: the ASTRO Approach. - Annapaola Marconi; Marco Pistore; Paolo Traverso (IEEE Data Eng. Bull., 2008)

Automated Planning. - Alessandro Cimatti; Marco Pistore; Paolo Traverso (Handbook of Knowledge Representation, 2008)

Continuous Orchestration of Web Services via Planning. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICAPS, 2009)

S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services. - Elisabetta Di Nitto; Dimka Karastoyanova; Andreas Metzger; Michael Parkin; Marco Pistore; Klaus Pohl; Fabrizio Silvestri; Willem-Jan van den Heuvel (Future Internet Assembly, 2009)

From Software Services to a Future Internet of Services. - Marco Pistore; Paolo Traverso; Massimo Paolucci 001; Matthias Wagner 001 (Future Internet Assembly, 2009)

Design for Adaptation of Service-Based Applications: Main Issues and Requirements. - Antonio Bucchiarone; Cinzia Cappiello; Elisabetta Di Nitto; Raman Kazhamiakin; Valentina Mazza; Marco Pistore (ICSOC/ServiceWave Workshops, 2009)

Cross-Layer Adaptation and Monitoring of Service-Based Applications. - Raman Kazhamiakin; Marco Pistore; Asli Zengin (ICSOC/ServiceWave Workshops, 2009)

Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. - Raman Kazhamiakin; Branimir Wetzstein; Dimka Karastoyanova; Marco Pistore; Frank Leymann (ICSOC/ServiceWave Workshops, 2009)

Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. - Annapaola Marconi; Marco Pistore; Adina Sirbu; Hanna Eberle; Frank Leymann; Tobias Unger (ICSOC/ServiceWave, 2009)

Dynamo + Astro: An Integrated Approach for BPEL Monitoring. - Luciano Baresi; Sam Guinea; Marco Pistore; Michele Trainotti (ICWS, 2009)

Control Flow Requirements for Automated Service Composition. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICWS, 2009)

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. - Ivan Di Pietro; Annapaola Marconi; Francesco Pagliarecci; Marco Pistore; Luca Spalazzi (SEBD, 2009)

Synthesis and Composition of Web Services. - Annapaola Marconi; Marco Pistore (SFM, 2009)

A Formalisation of Adaptable Pervasive Flows. - Antonio Bucchiarone; Alberto Lluch-Lafuente; Annapaola Marconi; Marco Pistore (WS-FM, 2009)

Task decomposition on abstract states, for planning under nondeterminism. - Ugur Kuter; Dana S. Nau; Marco Pistore; Paolo Traverso (Artif. Intell., 2009)

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. - Jörg Hoffmann 001; Piergiorgio Bertoli; Malte Helmert; Marco Pistore (J. Artif. Intell. Res., 2009)

Use-Based Discovery of Pervasive Services. - Raman Kazhamiakin; Volha Kerhet; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (AIMSA, 2010)

Message Filtering Based On Mobile User Context. - Hermann Stern; Armin Ulbrich; Viktoria Pammer; Marco Pistore; Piergiorgio Bertoli; Stefanie N. Lindstaedt (CIAO@EKAW, 2010)

2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). - Grace A. Lewis; Andreas Metzger; Marco Pistore; Dennis B. Smith; Andrea Zisman (ICSE (2), 2010)

Modelling and Automated Composition of User-Centric Services. - Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik (OTM Conferences (1), 2010)

Exploiting assumption-based verification for the adaptation of service-based applications. - Andreas Gehlert; Antonio Bucchiarone; Raman Kazhamiakin; Andreas Metzger; Marco Pistore; Klaus Pohl (SAC, 2010)

Automated composition of Web services via planning in asynchronous domains. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (Artif. Intell., 2010)

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010). - Grace A. Lewis; Dennis B. Smith; Andreas Metzger; Andrea Zisman; Marco Pistore (ACM SIGSOFT Softw. Eng. Notes, 2010)

CLAM: cross-layer adaptation manager for service-based applications. - Asli Zengin; Annapaola Marconi; Marco Pistore (QASBA, 2011)

A Context-Aware Framework for Business Processes Evolution. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Adina Sirbu (EDOCW, 2011)

SLAs Empowering Services in the Future Internet. - Joe Butler; Juan Lambea; Michael Nolan; Wolfgang Theilmann; Francesco Torelli; Ramin Yahyapour; Annamaria Chiasera; Marco Pistore (Future Internet Assembly, 2011)

CAptEvo: Context-Aware Adaptation and Evolution of Business Processes. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Heorhi Raik (ICSOC Workshops, 2011)

Dynamic Composition of Pervasive Process Fragments. - Adina Sirbu; Annapaola Marconi; Marco Pistore; Hanna Eberle; Frank Leymann; Tobias Unger (ICWS, 2011)

CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. - Asli Zengin; Raman Kazhamiakin; Marco Pistore (ICWS, 2011)

Adaptation of service-based business processes by context-aware replanning. - Antonio Bucchiarone; Marco Pistore; Heorhi Raik; Raman Kazhamiakin (SOCA, 2011)

CLAM: Managing cross-layer adaptation in service-based systems. - Asli Zengin; Annapaola Marconi; Luciano Baresi; Marco Pistore (SOCA, 2011)

SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (BIS (Workshops), 2012)

Adaptivity in dynamic service-based systems. - Antonio Bucchiarone; Raman Kazhamiakin; Annapaola Marconi; Marco Pistore (S-Cube@ICSE, 2012)

A car logistics scenario for context-aware adaptive service-based systems. - Antonio Bucchiarone; Nawaz Khurshid; Annapaola Marconi; Marco Pistore; Heorhi Raik (PESOS@ICSE, 2012)

PRadapt: A framework for dynamic monitoring of adaptable service-based systems. - Ricardo Contreras; Andrea Zisman; Annapaola Marconi; Marco Pistore (PESOS@ICSE, 2012)

Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Heorhi Raik (ICWS, 2012)

A Constraint-Driven Business Object Model for Service-Based Business Processes. - Farhana H. Zulkernine; Piergiorgio Bertoli; Marco Pistore; Andreas Friesen; Jens Lemcke; Bernhard Thimmel; Otfried von Geisau (ITNG, 2012)

ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems. - Heorhi Raik; Antonio Bucchiarone; Nawaz Khurshid; Annapaola Marconi; Marco Pistore (SERVICES, 2012)

SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (WISE, 2012)

Corrective Evolution of Adaptable Process Models. - Luciano Baresi; Annapaola Marconi; Marco Pistore; Adina Sirbu (BMMDS/EMMSAD, 2013)

Modeling and Monitoring Business Process Execution. - Piergiorgio Bertoli; Mauro Dragoni; Chiara Ghidini; Emanuele Martufi; Michele Nori; Marco Pistore; Chiara Di Francescomarino (ICSOC, 2013)

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. - Antonio Bucchiarone; Annapaola Marconi; Claudio Antares Mezzina; Marco Pistore; Heorhi Raik (ICSOC, 2013)

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Raman Kazhamiakin (ICWS, 2013)

Data-Flow Requirements for Dynamic Service Composition. - Raman Kazhamiakin; Annapaola Marconi; Marco Pistore; Heorhi Raik (ICWS, 2013)

A conceptual framework for collective adaptive systems. - Antonio Bucchiarone; Annapaola Marconi; Claudio Antares Mezzina; Marco Pistore (SAC, 2013)

CAptLang: a language for context-aware and adaptable business processes. - Antonio Bucchiarone; Claudio Antares Mezzina; Marco Pistore (VaMoS, 2013)

Domain Objects for Dynamic and Incremental Service Composition. - Antonio Bucchiarone; Martina De Sanctis; Marco Pistore (ESOCC, 2014)

Collective Adaptation in Process-Based Systems. - Antonio Bucchiarone; Claudio Antares Mezzina; Marco Pistore; Heorhi Raik; Giuseppe Valetto (SASO, 2014)

Modeling and Monitoring Processes exploiting Semantic Reasoning. - Mauro Dragoni; Piergiorgio Bertoli; Chiara Di Francescomarino; Chiara Ghidini; Michele Nori; Marco Pistore; Roberto Tiella; Francesco Corcoglioniti (ISWC (Posters & Demos), 2014)

Semantic-Based Process Analysis. - Chiara Di Francescomarino; Francesco Corcoglioniti; Mauro Dragoni; Piergiorgio Bertoli; Roberto Tiella; Chiara Ghidini; Michele Nori; Marco Pistore (ISWC (2), 2014)

Design for Adaptation of Distributed Service-Based Systems. - Antonio Bucchiarone; Martina De Sanctis; Annapaola Marconi; Marco Pistore; Paolo Traverso (ICSOC, 2015)

Distributed Service Co-evolution Based on Domain Objects. - Martina De Sanctis; Kurt Geihs; Antonio Bucchiarone; Giuseppe Valetto; Annapaola Marconi; Marco Pistore (ICSOC Workshops, 2015)

Using gamification to incentivize sustainable urban mobility. - Raman Kazhamiakin; Annapaola Marconi; Mirko Perillo; Marco Pistore; Giuseppe Valetto; Luca Piras 003; Francesco Avesani; Nicola Perri (ISC2, 2015)

An Open Platform for Children's Independent Mobility. - Matteo Gerosa; Annapaola Marconi; Marco Pistore; Paolo Traverso (SMARTGREENS/VEHITS (Selected Papers), 2015)

Incremental Composition for Adaptive By-Design Service Based Systems. - Antonio Bucchiarone; Martina De Sanctis; Annapaola Marconi; Marco Pistore; Paolo Traverso (ICWS, 2016)

A gamification framework for the long-term engagement of smart citizens. - Raman Kazhamiakin; Annapaola Marconi; Alberto Martinelli; Marco Pistore; Giuseppe Valetto (ISC2, 2016)

A context-aware framework for dynamic composition of process fragments in the internet of services. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Heorhi Raik (J. Internet Serv. Appl., 2017)

Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface. - Annapaola Marconi; Gianluca Schiavo; Massimo Zancanaro; Giuseppe Valetto; Marco Pistore (AVI, 2018)

Combining Human and Machine Intelligence to Foster Wider Adoption of e-Services. - Koldo Zabaleta; Ana Belen Lago; Diego López-de-Ipiña; Giuseppe Di Modica; Raúl Santos de La Cámara; Marco Pistore (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility. - Elisabetta Farella; Gianluca Schiavo; Michela Ferron; Davide Giovanelli; Chiara Leonardi; Annapaola Marconi; Paolo Massa; Amy L. Murphy; Michele Nori; Marco Pistore (IEEE Pervasive Comput., 2020)

AI@EDGE: A Secure and Reusable Artificial Intelligence Platform for Edge Computing. - Roberto Riggio; Estefanía Coronado; Neiva Linder; Jovanka Adzic; Gianpiero Mastinu; Leonardo Goratti; Miguel Rosa; Hans D. Schotten; Marco Pistore (EuCNC/6G Summit, 2021)

Automatic generation and recommendation of personalized challenges for gamification. - Reza Khoshkangini; Giuseppe Valetto; Annapaola Marconi; Marco Pistore (User Model. User Adapt. Interact., 2021)

Semantic modeling and analysis of complex data-aware processes and their executions. - Piergiorgio Bertoli; Francesco Corcoglioniti; Chiara Di Francescomarino; Mauro Dragoni; Chiara Ghidini; Marco Pistore (Expert Syst. Appl., 2022)

Towards Civic Digital Twins: Co-Design the Citizen-Centric Future of Bologna. - Massimiliano Luca; Bruno Lepri; Riccardo Gallotti; Stefania Paolazzi; Mauro Bigi; Marco Pistore (CoRR, 2024)