Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. - Gianluca Torta; Pietro Torasso (IJCAI, 2003)

Computing Minimum-Cardinality Diagnoses Using OBDDs. - Pietro Torasso; Gianluca Torta (KI, 2003)

On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach. - Roberto Micalizio; Pietro Torasso; Gianluca Torta (ECAI, 2004)

Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. - Pietro Torasso; Gianluca Torta (KI, 2005)

Compact Diagnoses Representation in Diagnostic Problem Solving. - Pietro Torasso; Gianluca Torta (Comput. Intell., 2005)

Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems. - Roberto Micalizio; Pietro Torasso; Gianluca Torta (Artificial Intelligence and Applications, 2006)

Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. - Pietro Torasso; Gianluca Torta (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

On-line monitoring and diagnosis of a team of service robots: A model-based approach. - Roberto Micalizio; Pietro Torasso; Gianluca Torta (AI Commun., 2006)

Intelligent Supervision of Plan Execution in Multi-Agent Systems. - Roberto Micalizio; Pietro Torasso; Gianluca Torta (Int. Trans. Syst. Sci. Appl., 2006)

On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model. - Gianluca Torta; Pietro Torasso (Knowl. Based Syst., 2006)

Formalizing the Abstraction Process in Model-Based Diagnosis. - Lorenza Saitta; Pietro Torasso; Gianluca Torta (SARA, 2007)

On the role of modeling causal independence for system model compilation with OBDDs. - Gianluca Torta; Pietro Torasso (AI Commun., 2007)

An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems. - Gianluca Torta; Pietro Torasso (AI Commun., 2007)

Cost-sensitive Iterative Abductive Reasoning with abstractions. - Gianluca Torta; Daniele Theseider Dupré; Luca Anselma (ECAI, 2008)

Computation of Minimal Sensor Sets for Conditional Testability Requirements. - Gianluca Torta; Pietro Torasso (ECAI, 2008)

Abductive Problem Solving with Abstractions. - Gianluca Torta; Daniele Theseider Dupré (SARA, 2009)

Parametric abstraction of behavioral modes for model-based diagnosis. - Gianluca Torta; Pietro Torasso (AI Commun., 2009)

A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model. - Gianluca Torta; Pietro Torasso (SGAI Conf., 2010)

Reformulation for the Diagnosis of Discrete-Event Systems. - Alban Grastien; Gianluca Torta (SARA, 2011)

A Theory of Abstraction for Diagnosis of Discrete-Event Systems. - Alban Grastien; Gianluca Torta (SARA, 2011)

Exploiting Automatic Validation in Human Mission Planning. - Pietro Torasso; Gianluca Torta (SGAI Conf., 2011)

Diagnosing Delays in Multi-Agent Plans Execution. - Roberto Micalizio; Gianluca Torta (ECAI, 2012)

Mixed-Initiative Management of Online Calendars. - Liliana Ardissono; Giovanna Petrone; Marino Segnan; Gianluca Torta (WEBIST (Selected Papers), 2012)

Mixed-initiative Scheduling of Tasks in user Collaboration. - Liliana Ardissono; Giovanna Petrone; Gianluca Torta; Marino Segnan (WEBIST, 2012)

Interacting with the User in Calendar Management. - Liliana Ardissono; Giovanna Petrone; Marino Segnan; Gianluca Torta (AI*HCI@AI*IA, 2013)

Diagnosing Dependent Action Delays in Temporal Multiagent Plans. - Roberto Micalizio; Gianluca Torta (SGAI Conf., 2013)

Automatic component abstraction for Model-Based Diagnosis on relational models. - Gianluca Torta; Pietro Torasso (AI Commun., 2013)

A web-based, relational database for studying glaciers in the Italian Alps. - Guido Nigrelli; Marta Chiarle; Angelo Nuzzi; Luigi Perotti 002; Gianluca Torta; Marco Giardino (Comput. Geosci., 2013)

A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas. - Marco Boccalatte; Filippo Brogi; Francesco Catalfamo; Stefania Maddaluno; Michele Martino; Valter Mellano; Paolo Rosazza Prin; Filomena Solitro; Pietro Torasso; Gianluca Torta (J. Intell. Robotic Syst., 2013)

Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. - Gianluca Torta; Luca Anselma; Daniele Theseider Dupré (AI Commun., 2014)

Intelligent user interfaces for calendar management. - Liliana Ardissono; Giovanna Petrone; Marino Segnan; Gianluca Torta (Intelligenza Artificiale, 2014)

A Scheduling Tool for Conditionally Independent Temporal Preferences. - Roberto Micalizio; Gianluca Torta (ICTAI, 2015)

Scheduling with Structured Preferences. - Roberto Micalizio; Gianluca Torta (SGAI Conf., 2015)

Explaining interdependent action delays in multiagent plans execution. - Roberto Micalizio; Gianluca Torta (Auton. Agents Multi Agent Syst., 2016)

GeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web. - Gianluca Torta; Liliana Ardissono; Marco Corona; Luigi La Riccia; Adriano Savoca; Angioletta Voghera (IC3K, 2017)

Representing Ecological Network Specifications with Semantic Web Techniques. - Gianluca Torta; Liliana Ardissono; Luigi La Riccia; Adriano Savoca; Angioletta Voghera (KEOD, 2017)

SMT-Based Diagnosis of Multi-Agent Temporal Plans. - Gianluca Torta; Roberto Micalizio (AAMAS, 2018)

Ontological Representation of Constraints for Geographical Reasoning. - Gianluca Torta; Liliana Ardissono; Marco Corona; Luigi La Riccia; Angioletta Voghera (KEOD, 2018)

A Semantic Approach to Constraint-Based Reasoning in Geographical Domains. - Gianluca Torta; Liliana Ardissono; Daniele Fea; Luigi La Riccia; Angioletta Voghera (IC3K, 2018)

35 Years of Pietro Torasso's work on diagnosis. - Luca Console; Diego Magro; Roberto Micalizio; Enrico Scala; Daniele Theseider Dupré; Gianluca Torta (Intelligenza Artificiale, 2018)

Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans. - Gianluca Torta; Roberto Micalizio; Samuele Sormano (AAMAS, 2019)

Temporal Multiagent Plan Execution: Explaining What Happened. - Gianluca Torta; Roberto Micalizio; Samuele Sormano (EXTRAAMAS@AAMAS, 2019)

Fostering resilient execution of multi-agent plans through self-organisation. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2021)

Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2021)

RM for users' safety and security in the built environment. - Giorgio Audrito; Ferruccio Damiani; Giuseppe Martino Di Giuda; Silvia Meschini; Laura Pellegrini; Elena Seghezzi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (VORTEX@ISSTA, 2021)

Towards aggregate monitoring of spatio-temporal properties. - Giorgio Audrito; Gianluca Torta (VORTEX@ISSTA, 2021)

On the Dynamic Evolution of Distributed Computational Aggregates. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2022)

Extensible 3D Simulation of Aggregated Systems with FCPP. - Giorgio Audrito; Luigi Rapetta; Gianluca Torta (COORDINATION, 2022)

Implementation of an IoT Wearable Prototype on a Standard AI Architecture. - Andrea Basso 001; Daniele Bortoluzzi 002; Gianluca Torta (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. - Roberto Casadei; Danilo Pianini; Gianluca Aguzzi; Giorgio Audrito; Gianluca Torta; Marco Ottina; Ferruccio Damiani; Mirko Viroli (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Bringing Aggregate Programming Towards the Cloud. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (3), 2022)

Integration of Cultural and Natural Heritage Information in Future Mobile Guides. - Liliana Ardissono; Gianluca Torta; Pietro Barone; Marino Segnan; Claudio Mattutino (UMAP (Adjunct Publication), 2022)

Predictive Semantics for Past-CTL Runtime Monitors. - Giorgio Audrito; Volker Stolz; Gianluca Torta (CoRR, 2022)

Distributed runtime verification by past-CTL and the field calculus. - Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli (J. Syst. Softw., 2022)

Aggregate processes as distributed adaptive services for the Industrial Internet of Things. - Lorenzo Testa; Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (Pervasive Mob. Comput., 2022)

Aggregate Programming for Customized Building Management and Users Preference Implementation. - Giorgio Audrito; Ferruccio Damiani; Stefano Rinaldi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (IoT Edge Solutions for Cognitive Buildings, 2023)

Parallelising an Aggregate Programming Framework with Message-Passing Interface. - Giorgio Audrito; Alberto Riccardo Martinelli; Gianluca Torta (ACSOS-C, 2023)

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (COORDINATION, 2023)

A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration. - Liliana Ardissono; Federica Cena; Noemi Mauro; Mauro Palomba; Francesco Parizia; Luigi Perotti 002; Livio Scarpinati; Gianluca Torta (UMAP (Adjunct Publication), 2023)

On Stream Runtime Verification and Aggregate Programming. - Ferruccio Damiani; Gianluca Torta (VORTEX@ISSTA, 2023)

A field-based computing approach to sensing-driven clustering in robot swarms. - Gianluca Aguzzi; Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (Swarm Intell., 2023)

Actor-Based Designs for Distributed Self-organisation Programming. - Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (Active Object Languages: Current Research Trends, 2024)

An Enhanced Exchange Operator for XC. - Giorgio Audrito; Daniele Bortoluzzi 002; Ferruccio Damiani; Giordano Scarso; Gianluca Torta (COORDINATION, 2024)

Towards Real-Time Aggregate Computing. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (2), 2024)

Real-Time Guarantees for SLCS Monitors in XC. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (VORTEX@ISSTA, 2024)

Programming Distributed Collective Processes in the eXchange Calculus. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (CoRR, 2024)

A general framework and decentralised algorithms for collective computational processes. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (Future Gener. Comput. Syst., 2024)

FCPP to aggregate them all. - Giorgio Audrito; Gianluca Torta (Sci. Comput. Program., 2024)

An Intelligent Support System to Help Teachers Plan Field Trips. - Noemi Mauro; Liliana Ardissono; Federica Cena; Livio Scarpinati; Gianluca Torta (Int. J. Artif. Intell. Educ., 2024)

Software Engineering for Collective Cyber-Physical Ecosystems. - Roberto Casadei; Gianluca Aguzzi; Giorgio Audrito; Ferruccio Damiani; Danilo Pianini; Giordano Scarso; Gianluca Torta; Mirko Viroli (ACM Trans. Softw. Eng. Methodol., 2025)