World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Italy
2025

D-Index & Metrics

Computer Science

D-Index
57
Citations
12006
World Ranking
3869
National Ranking
78

Research.com Recognitions

  • 2025 - Research.com Computer Science in Italy Leader Award
  • 2023 - Research.com Computer Science in Italy Leader Award
  • 2022 - Research.com Computer Science in Italy Leader Award

Overview

Marco Pistore is affiliated with Fondazione Bruno Kessler in Italy. Their research primarily spans the field of Computer Science, with notable contributions in several subfields including Artificial Intelligence, Information Systems, Developmental and Educational Psychology, Sociology and Political Science, and Education.

Their work addresses various topics related to digital technology and human interaction, focusing on Educational Games and Gamification, Artificial Intelligence in Games, Digital Games and Media, ICT in Developing Communities, Child Development and Digital Technology, Innovative Human-Technology Interaction, and Business Process Modeling and Analysis.

Marco Pistore has published the following recent papers:

  • Automatic generation and recommendation of personalized challenges for gamification, 2020, User Modeling and User-Adapted Interaction
  • CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility, 2020, IEEE Pervasive Computing
  • Semantic modeling and analysis of complex data-aware processes and their executions, 2022, Expert Systems with Applications
  • AI@EDGE: A Secure and Reusable Artificial Intelligence Platform for Edge Computing, 2023, Zenodo (CERN European Organization for Nuclear Research)
  • Responsible AI at the edge: towards privacy-preserving smart cities, 2022, CINECA IRIS Institutial research information system (University of Pisa)

Frequent co-authors include:

  • Annapaola Marconi
  • Elisabetta Farella
  • Reza Khoshkangini
  • Giuseppe Valetto
  • Michela Ferron

Marco Pistore's research is published in a variety of venues, reflecting the interdisciplinary nature of their work. These venues include:

  • User Modeling and User-Adapted Interaction
  • IEEE Pervasive Computing
  • Expert Systems with Applications
  • Zenodo (CERN European Organization for Nuclear Research)
  • CINECA IRIS Institutial research information system (University of Pisa)

Best Publications

  • NuSMV 2: An OpenSource Tool for Symbolic Model Checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • Weak, strong, and strong cyclic planning via symbolic model checking

    A. Cimatti;M. Pistore;M. Roveri;P. Traverso

  • Nusmv version 2: an opensource tool for symbolic model checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • Automated composition of semantic web services into executable processes

    Paolo Traverso;Marco Pistore

  • Run-Time Monitoring of Instances and Classes of Web Service Compositions

    F. Barbon;P. Traverso;M. Pistore;M. Trainotti

  • Specifying and analyzing early requirements in Tropos

    Ariel Fuxman;Lin Liu;John Mylopoulos;Marco Pistore

  • Planning and monitoring Web service composition

    M. Pistore;F. Barbon;P. Bertoli;D. Shaparau

  • Automated composition of web services by planning at the knowledge level

    M. Pistore;A. Marconi;P. Bertoli;P. Traverso

  • Model checking early requirements specifications in Tropos

    A. Fuxman;M. Pistore;J. Mylopoulos;P. Traverso

  • Automated synthesis of composite BPEL4WS Web services

    M. Pistore;P. Traverso;P. Bertoli;A. Marconi

  • Automated composition of web services by planning in asynchronous domains

    M. Pistore;P. Traverso;P. Bertoli

  • Planning with a language for extended goals

    Ugo Dal Lago;Marco Pistore;Paolo Traverso

  • Planning as model checking for extended goals in non-deterministic domains

    Marco Pistore;Paolo Traverso

  • Automated composition of Web services via planning in asynchronous domains

    Piergiorgio Bertoli;Marco Pistore;Paolo Traverso

  • Using gamification to incentivize sustainable urban mobility

    Raman Kazhamiakin;Annapaola Marconi;Mirko Perillo;Marco Pistore

  • A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing

    Julia Hielscher;Raman Kazhamiakin;Andreas Metzger;Marco Pistore

  • The Tropos Methodology

    Paolo Giorgini;Manuel Kolp;John Mylopoulos;Marco Pistore

  • History-Dependent Automata

    Ugo Montanari;Marco Pistore

  • Analysis of communication models in web service compositions

    Raman Kazhamiakin;Marco Pistore;Luca Santuari

  • ASTRO: supporting composition and execution of web services

    Michele Trainotti;Marco Pistore;Gaetano Calabrese;Gabriele Zacco

Frequent Co-Authors

Paolo Traverso
Paolo Traverso Fondazione Bruno Kessler
Alessandro Cimatti
Alessandro Cimatti Fondazione Bruno Kessler
Ugo Montanari
Ugo Montanari University of Pisa
Mike P. Papazoglou
Mike P. Papazoglou Tilburg University
Marco Aiello
Marco Aiello University of Stuttgart
Massimo Paolucci
Massimo Paolucci NTT (Japan)
John Mylopoulos
John Mylopoulos University of Ottawa
Roberto Sebastiani
Roberto Sebastiani University of Trento
Frank Leymann
Frank Leymann University of Stuttgart
Luciano Baresi
Luciano Baresi Polytechnic University of Milan

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens the door to various online degrees and career pathways in closely related fields. Many students pursue an online degree for mechanical engineering, which is ideal for those fascinated by design and innovation. These programs blend foundational engineering principles with modern technology, allowing for flexible study options.

Another compelling choice is earning a bachelor of science in physics online. This route is perfect for analytical thinkers interested in the fundamental laws that power computer systems, robotics, and digital devices.

Data continues to drive global innovation, making the data science learning path increasingly popular. These programs teach you how to analyze complex datasets, extract insights, and inform decision-making across multiple industries.

For those wanting to work on the hardware and infrastructure behind today’s computerized systems, an online bachelor’s in electrical engineering is a smart investment. This degree enables graduates to design circuits, power systems, and electronics, often leading to highly sought-after engineering roles.

Best Scientists Citing Marco Pistore

Trending Scientists