Parallel object system support on transputer-based architectures. - Anna Ciampolini; Antonio Corradi; Letizia Leonardi (Microprocessing and Microprogramming, 1989)

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. - Antonio Brogi; Anna Ciampolini; Evelina Lamma; Paola Mello (Inf. Process. Lett., 1992)

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (ELP, 1993)

The Benefits Of Migration In A Parallel Objects Programming Environment. - Anna Ciampolini; Antonio Corradi; Letizia Leonardi; Franco Zambonelli (PDP, 1994)

Multi-level Copying For Unification In Parallel Architectures. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (PDP, 1994)

Improving the Efficiency of Dynamic Modular Logic Languages. - Anna Ciampolini; Evelina Lamma; Paola Mello (GULP-PRODE, 1995)

Distributed Logic Objects. - Anna Ciampolini; Evelina Lamma; Cesare Stefanelli; Paola Mello (Comput. Lang., 1996)

Distributed logic objects: A fragment of rewriting logic and its implementation. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (WRLA, 1996)

Extending PVM to a massively parallel architecture. - Anna Ciampolini; Cesare Stefanelli (Future Gener. Comput. Syst., 1996)

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. - Anna Ciampolini; Evelina Lamma; Paola Mello (Inf. Process. Lett., 1996)

An Optimized Implementation of a Dynamic Modular Logic Language. - Anna Ciampolini; Evelina Lamma; Paola Mello (Softw. Concepts Tools, 1996)

Blackboard- and Object-Based Systems via Multi-Head Clauses. - Anna Ciampolini; Evelina Lamma; Cesare Stefanelli; Paola Mello (Comput. Artif. Intell., 1997)

Optimizing Modular Logic Languages. - Michele Bugliesi; Anna Ciampolini; Evelina Lamma; Paola Mello (ACM Comput. Surv., 1998)

An Implementation for Abductive Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli; Paolo Torroni (AI*IA, 1999)

Abductive Coordination for Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (SAC, 1999)

Expressing Collaborative and Competitive Coordination among Abductive. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Expressing Collaboration And Competition Among Abductive Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (WOA, 2000)

LAILA: a language for coordinating abductive reasoning among logic agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (Comput. Lang., 2001)

Coordinating the safe execution of tasks in a constrained multi-agent system. - Anna Ciampolini; Paola Mello; Paolo Torroni; Evelina Lamma (AAMAS, 2002)

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (JELIA, 2002)

A Social ACL Semantics by Deontic Constraints. - Marco Alberti 001; Anna Ciampolini; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (CEEMAS, 2003)

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. - Anna Ciampolini; Evelina Lamma; Paola Mello; Francesca Toni; Paolo Torroni (Ann. Math. Artif. Intell., 2003)

Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. - Anna Ciampolini; Paolo Torroni (Appl. Artif. Intell., 2004)

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. - Anna Ciampolini; Paola Mello; Marco Montali; Sergio Storari (CBMS, 2005)

Protocol Specification and Verification by Using Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Paolo Torroni; Marco Alberti 001; Sergio Storari (WOA, 2005)

An Abductive Multi-Agent System for Medical Services Coordination. - Anna Ciampolini; Paola Mello; Sergio Storari (IFIP AI, 2008)

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. - Sergio Storari; Anna Ciampolini; Paola Mello (PervasiveHealth, 2008)

E-learning by Doing with Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello (Knowledge Construction in E-learning Context, 2008)

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. - Stefano Bragaglia; Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Davide Sottara (HAIS (1), 2010)

A distributed self-balancing policy for virtual machine management in cloud datacenters. - Daniela Loreti; Anna Ciampolini (HPCS, 2014)

SHYAM: A System for Autonomic Management of Virtual Clusters in Hybrid Clouds. - Daniela Loreti; Anna Ciampolini (ESOCC Workshops, 2015)

A Hybrid Cloud Infrastructure for Big Data Applications. - Daniela Loreti; Anna Ciampolini (HPCC/CSS/ICESS, 2015)

MapReduce over the Hybrid Cloud: A Novel Infrastructure Management Policy. - Daniela Loreti; Anna Ciampolini (UCC, 2015)

Process Mining Monitoring for Map Reduce Applications in the Cloud. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (1), 2016)

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (Selected Papers), 2016)

Abduction for Generating Synthetic Traces. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (Business Process Management Workshops, 2017)

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (ICPE Companion, 2017)

A distributed approach to compliance monitoring of business process event streams. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Future Gener. Comput. Syst., 2018)

Fault Tolerant High Performance Solver for Linear Equation Systems. - Marcello Artioli; Daniela Loreti; Anna Ciampolini (SRDS, 2019)

Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults. - Daniela Loreti; Marcello Artioli; Anna Ciampolini (SRDS, 2020)

Generating synthetic positive and negative business process traces through abduction. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Knowl. Inf. Syst., 2020)

Energy consumption comparison of parallel linear systems solver algorithms on HPC infrastructure. - Sofia Montebugnoli; Anna Ciampolini (SC Workshops, 2023)

Probabilistic Traces in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini; Marco Gavanelli; Riccardo Zese (AI*IA, 2024)

Probabilistic Compliance in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini (PMAI@ECAI, 2024)

Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint. - Daniela Loreti; Marcello Artioli; Anna Ciampolini (IEEE Trans. Parallel Distributed Syst., 2024)