default search action
Gianluca Torta
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158: 11-27 (2024) - [j18]Giorgio Audrito, Gianluca Torta:
FCPP to aggregate them all. Sci. Comput. Program. 231: 103026 (2024) - [c45]Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta:
An Enhanced Exchange Operator for XC. COORDINATION 2024: 129-145 - [c44]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Real-Time Guarantees for SLCS Monitors in XC. VORTEX@ISSTA 2024: 32-37 - [p2]Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Actor-Based Designs for Distributed Self-organisation Programming. Active Object Languages: Current Research Trends 2024: 37-58 - [i4]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024) - [i3]Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli:
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR abs/2406.04780 (2024) - 2023
- [j17]Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17(1-2): 27-62 (2023) - [c43]Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta:
Parallelising an Aggregate Programming Framework with Message-Passing Interface. ACSOS-C 2023: 140-145 - [c42]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - [c41]Liliana Ardissono, Federica Cena, Noemi Mauro, Mauro Palomba, Francesco Parizia, Luigi Perotti, Livio Scarpinati, Gianluca Torta:
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration. UMAP (Adjunct Publication) 2023: 355-362 - [c40]Ferruccio Damiani, Gianluca Torta:
On Stream Runtime Verification and Aggregate Programming. VORTEX@ISSTA 2023: 9-12 - [p1]Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta:
Aggregate Programming for Customized Building Management and Users Preference Implementation. IoT Edge Solutions for Cognitive Buildings 2023: 147-172 - 2022
- [j16]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j15]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85: 101658 (2022) - [c39]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C 2022: 37-42 - [c38]Giorgio Audrito, Luigi Rapetta, Gianluca Torta:
Extensible 3D Simulation of Aggregated Systems with FCPP. COORDINATION 2022: 55-71 - [c37]Andrea Basso, Daniele Bortoluzzi, Gianluca Torta:
Implementation of an IoT Wearable Prototype on a Standard AI Architecture. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-5 - [c36]Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli:
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c35]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) 2022: 301-317 - [c34]Liliana Ardissono, Gianluca Torta, Pietro Barone, Marino Segnan, Claudio Mattutino:
Integration of Cultural and Natural Heritage Information in Future Mobile Guides. UMAP (Adjunct Publication) 2022: 402-405 - [i2]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR abs/2204.00467 (2022) - [i1]Giorgio Audrito, Volker Stolz, Gianluca Torta:
Predictive Semantics for Past-CTL Runtime Monitors. CoRR abs/2209.00538 (2022) - 2021
- [c33]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C 2021: 81-86 - [c32]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C 2021: 297-298 - [c31]Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta:
RM for users' safety and security in the built environment. VORTEX@ISSTA 2021: 13-16 - [c30]Giorgio Audrito, Gianluca Torta:
Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA 2021: 26-29
2010 – 2019
- 2019
- [c29]Gianluca Torta, Roberto Micalizio, Samuele Sormano:
Temporal Multiagent Plan Execution: Explaining What Happened. EXTRAAMAS@AAMAS 2019: 167-185 - [c28]Gianluca Torta, Roberto Micalizio, Samuele Sormano:
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans. AAMAS 2019: 2232-2234 - 2018
- [j14]Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta:
35 Years of Pietro Torasso's work on diagnosis. Intelligenza Artificiale 12(1): 31-40 (2018) - [c27]Gianluca Torta, Roberto Micalizio:
SMT-Based Diagnosis of Multi-Agent Temporal Plans. AAMAS 2018: 2097-2099 - [c26]Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Angioletta Voghera:
Ontological Representation of Constraints for Geographical Reasoning. KEOD 2018: 134-145 - [c25]Gianluca Torta, Liliana Ardissono, Daniele Fea, Luigi La Riccia, Angioletta Voghera:
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains. IC3K 2018: 202-227 - 2017
- [c24]Gianluca Torta, Liliana Ardissono, Luigi La Riccia, Adriano Savoca, Angioletta Voghera:
Representing Ecological Network Specifications with Semantic Web Techniques. KEOD 2017: 86-97 - [c23]Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Adriano Savoca, Angioletta Voghera:
GeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web. IC3K 2017: 268-293 - 2016
- [j13]Roberto Micalizio, Gianluca Torta:
Explaining interdependent action delays in multiagent plans execution. Auton. Agents Multi Agent Syst. 30(4): 601-639 (2016) - 2015
- [c22]Roberto Micalizio, Gianluca Torta:
A Scheduling Tool for Conditionally Independent Temporal Preferences. ICTAI 2015: 64-71 - [c21]Roberto Micalizio, Gianluca Torta:
Scheduling with Structured Preferences. SGAI Conf. 2015: 155-168 - 2014
- [j12]Gianluca Torta, Luca Anselma, Daniele Theseider Dupré:
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions. AI Commun. 27(3): 245-262 (2014) - [j11]Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta:
Intelligent user interfaces for calendar management. Intelligenza Artificiale 8(2): 115-127 (2014) - 2013
- [j10]Gianluca Torta, Pietro Torasso:
Automatic component abstraction for Model-Based Diagnosis on relational models. AI Commun. 26(2): 179-209 (2013) - [j9]Guido Nigrelli, Marta Chiarle, Angelo Nuzzi, Luigi Perotti, Gianluca Torta, Marco Giardino:
A web-based, relational database for studying glaciers in the Italian Alps. Comput. Geosci. 51: 101-107 (2013) - [j8]Marco Boccalatte, Filippo Brogi, Francesco Catalfamo, Stefania Maddaluno, Michele Martino, Valter Mellano, Paolo Rosazza Prin, Filomena Solitro, Pietro Torasso, Gianluca Torta:
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas. J. Intell. Robotic Syst. 70(1-4): 275-291 (2013) - [c20]Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta:
Interacting with the User in Calendar Management. AI*HCI@AI*IA 2013 - [c19]Roberto Micalizio, Gianluca Torta:
Diagnosing Dependent Action Delays in Temporal Multiagent Plans. SGAI Conf. 2013: 157-171 - 2012
- [c18]Roberto Micalizio, Gianluca Torta:
Diagnosing Delays in Multi-Agent Plans Execution. ECAI 2012: 594-599 - [c17]Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta:
Mixed-Initiative Management of Online Calendars. WEBIST (Selected Papers) 2012: 167-182 - [c16]Liliana Ardissono, Giovanna Petrone, Gianluca Torta, Marino Segnan:
Mixed-initiative Scheduling of Tasks in user Collaboration. WEBIST 2012: 342-351 - 2011
- [c15]Alban Grastien, Gianluca Torta:
Reformulation for the Diagnosis of Discrete-Event Systems. SARA 2011 - [c14]Alban Grastien, Gianluca Torta:
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA 2011 - [c13]Pietro Torasso, Gianluca Torta:
Exploiting Automatic Validation in Human Mission Planning. SGAI Conf. 2011: 21-34 - 2010
- [c12]Gianluca Torta, Pietro Torasso:
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model. SGAI Conf. 2010: 251-264
2000 – 2009
- 2009
- [j7]Gianluca Torta, Pietro Torasso:
Parametric abstraction of behavioral modes for model-based diagnosis. AI Commun. 22(2): 73-96 (2009) - [c11]Gianluca Torta, Daniele Theseider Dupré:
Abductive Problem Solving with Abstractions. SARA 2009 - 2008
- [c10]Gianluca Torta, Daniele Theseider Dupré, Luca Anselma:
Cost-sensitive Iterative Abductive Reasoning with abstractions. ECAI 2008: 803-804 - [c9]Gianluca Torta, Pietro Torasso:
Computation of Minimal Sensor Sets for Conditional Testability Requirements. ECAI 2008: 805-806 - 2007
- [j6]Gianluca Torta, Pietro Torasso:
On the role of modeling causal independence for system model compilation with OBDDs. AI Commun. 20(1): 17-26 (2007) - [j5]Gianluca Torta, Pietro Torasso:
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems. AI Commun. 20(2): 93-116 (2007) - [c8]Lorenza Saitta, Pietro Torasso, Gianluca Torta:
Formalizing the Abstraction Process in Model-Based Diagnosis. SARA 2007: 314-328 - 2006
- [j4]Roberto Micalizio, Pietro Torasso, Gianluca Torta:
On-line monitoring and diagnosis of a team of service robots: A model-based approach. AI Commun. 19(4): 313-340 (2006) - [j3]Roberto Micalizio, Pietro Torasso, Gianluca Torta:
Intelligent Supervision of Plan Execution in Multi-Agent Systems. Int. Trans. Syst. Sci. Appl. 1(3): 259-268 (2006) - [j2]Gianluca Torta, Pietro Torasso:
On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model. Knowl. Based Syst. 19(5): 316-323 (2006) - [c7]Roberto Micalizio, Pietro Torasso, Gianluca Torta:
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems. Artificial Intelligence and Applications 2006: 279-286 - [c6]Pietro Torasso, Gianluca Torta:
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. Reasoning, Action and Interaction in AI Theories and Systems 2006: 287-305 - 2005
- [j1]Pietro Torasso, Gianluca Torta:
Compact Diagnoses Representation in Diagnostic Problem Solving. Comput. Intell. 21(1): 27-68 (2005) - [c5]Pietro Torasso, Gianluca Torta:
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. KI 2005: 176-190 - [c4]Gianluca Torta, Pietro Torasso:
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model. SGAI Conf. 2005: 317-330 - 2004
- [c3]Roberto Micalizio, Pietro Torasso, Gianluca Torta:
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach. ECAI 2004: 848-852 - 2003
- [c2]Gianluca Torta, Pietro Torasso:
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. IJCAI 2003: 394-402 - [c1]Pietro Torasso, Gianluca Torta:
Computing Minimum-Cardinality Diagnoses Using OBDDs. KI 2003: 224-238
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint