What is he best known for?
The fields of study he is best known for:
- Programming language
- Artificial intelligence
- Operating system
Marco Pistore focuses on Web service, Model checking, Software engineering, Programming language and Formal specification.
His Business Process Execution Language study in the realm of Web service interacts with subjects such as Asynchronous communication.
His work carried out in the field of Model checking brings together such families of science as Nondeterministic algorithm and System requirements specification.
His Software engineering research integrates issues from WS-Policy, Field, Services computing, Artificial intelligence and Web service composition.
He merges Programming language with Constraint satisfaction in his research.
His work deals with themes such as Business process reengineering, Symbolic computation and Finite-state machine, which intersect with Symbolic trajectory evaluation.
His most cited work include:
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (1328 citations)
- Automated composition of semantic web services into executable processes (353 citations)
- Nusmv version 2: an opensource tool for symbolic model checking (341 citations)
What are the main themes of his work throughout his whole career to date?
Marco Pistore mostly deals with Web service, Service, Distributed computing, Software engineering and Adaptation.
When carried out as part of a general Web service research project, his work on WS-Policy and Web modeling is frequently linked to work in Asynchronous communication, therefore connecting diverse disciplines of study.
His research in Distributed computing intersects with topics in Domain, Real-time computing, Key and Exploit.
The Software engineering study combines topics in areas such as Business domain, Business process modeling, Database, Model checking and Artificial intelligence.
His research in Model checking is mostly concerned with Symbolic trajectory evaluation.
As part of one scientific family, Marco Pistore deals mainly with the area of Adaptation, narrowing it down to issues related to the Business process, and often Knowledge management.
He most often published in these fields:
- Web service (34.19%)
- Service (20.65%)
- Distributed computing (18.71%)
What were the highlights of his more recent work (between 2011-2021)?
- Adaptation (17.42%)
- Distributed computing (18.71%)
- Service (20.65%)
In recent papers he was focusing on the following fields of study:
The scientist’s investigation covers issues in Adaptation, Distributed computing, Service, Business process and Domain.
His Adaptation research incorporates elements of Service based systems, Business activity monitoring, Construct and Specification language.
His Distributed computing research is multidisciplinary, relying on both Exploit, Data flow diagram, Real-time computing and WS-Policy.
His biological study spans a wide range of topics, including Port, Web service, Context and Automated planning and scheduling.
His Web service research includes themes of Data modeling, Context model, Knowledge management, Data model and Formal specification.
His Business process study incorporates themes from Process management, Information technology, Data science and Semantic Web.
Between 2011 and 2021, his most popular works were:
- Using gamification to incentivize sustainable urban mobility (64 citations)
- Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes (62 citations)
- Design for Adaptation of Distributed Service-Based Systems (23 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Artificial intelligence
Marco Pistore mainly investigates Distributed computing, Adaptation, Service, Smart city and Exploit.
His Distributed computing study combines topics from a wide range of disciplines, such as Domain and Real-time computing.
Domain connects with themes related to Web service in his study.
Marco Pistore interconnects Context model and Knowledge management in the investigation of issues within Web service.
Data mining is closely connected to Business process in his research, which is encompassed under the umbrella topic of Adaptation.
His studies deal with areas such as Port, Reduction and Interleaving as well as Service.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
