Anna Ciampolini

According to our database, Anna Ciampolini authored at least 42 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Energy consumption comparison of parallel linear systems solver algorithms on HPC infrastructure.

Sofia Montebugnoli, Anna Ciampolini

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

2020

Generating synthetic positive and negative business process traces through abduction.

Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello

Knowl. Inf. Syst., 2020

Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults.

Daniela Loreti, Marcello Artioli, Anna Ciampolini

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

2019

Fault Tolerant High Performance Solver for Linear Equation Systems.

Marcello Artioli, Daniela Loreti, Anna Ciampolini

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2018

A distributed approach to compliance monitoring of business process event streams.

Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello

Future Gener. Comput. Syst., 2018

2017

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.

Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Abduction for Generating Synthetic Traces.

Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello

Proceedings of the Business Process Management Workshops, 2017

2016

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring.

Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello

Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

Process Mining Monitoring for Map Reduce Applications in the Cloud.

Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello

Proceedings of the CLOSER 2016, 2016

2015

MapReduce over the Hybrid Cloud: A Novel Infrastructure Management Policy.

Daniela Loreti, Anna Ciampolini

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

A Hybrid Cloud Infrastructure for Big Data Applications.

Daniela Loreti, Anna Ciampolini

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

SHYAM: A System for Autonomic Management of Virtual Clusters in Hybrid Clouds.

Daniela Loreti, Anna Ciampolini

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

2014

A distributed self-balancing policy for virtual machine management in cloud datacenters.

Daniela Loreti, Anna Ciampolini

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

2010

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.

Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2008

E-learning by Doing with Computational Logic.

Federico Chesani, Anna Ciampolini, Paola Mello

Proceedings of the Conference Knowledge Construction in E-learning Context: CSCL, 2008

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios.

Sergio Storari, Anna Ciampolini, Paola Mello

Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

An Abductive Multi-Agent System for Medical Services Coordination.

Anna Ciampolini, Paola Mello, Sergio Storari

Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

2005

Protocol Specification and Verification by Using Computational Logic.

Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.

Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari

Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

2004

Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.

Anna Ciampolini, Paolo Torroni

Appl. Artif. Intell., 2004

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

A Social ACL Semantics by Deontic Constraints.

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Proceedings of the Multi-Agent Systems and Applications III, 2003

2002

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Coordinating the safe execution of tasks in a constrained multi-agent system.

Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

LAILA: a language for coordinating abductive reasoning among logic agents.

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Comput. Lang., 2001

2000

Expressing Collaboration And Competition Among Abductive Logic Agents.

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Expressing Collaborative and Competitive Coordination among Abductive.

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Abductive Coordination for Logic Agents.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

An Implementation for Abductive Logic Agents.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Optimizing Modular Logic Languages.

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello

ACM Comput. Surv., 1998

1997

Blackboard- and Object-Based Systems via Multi-Head Clauses.

Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello

Comput. Artif. Intell., 1997

1996

An Optimized Implementation of a Dynamic Modular Logic Language.

Anna Ciampolini, Evelina Lamma, Paola Mello

Softw. Concepts Tools, 1996

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.

Anna Ciampolini, Evelina Lamma, Paola Mello

Inf. Process. Lett., 1996

Extending PVM to a massively parallel architecture.

Anna Ciampolini, Cesare Stefanelli

Future Gener. Comput. Syst., 1996

Distributed logic objects: A fragment of rewriting logic and its implementation.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Distributed Logic Objects.

Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello

Comput. Lang., 1996

1995

Improving the Efficiency of Dynamic Modular Logic Languages.

Anna Ciampolini, Evelina Lamma, Paola Mello

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Multi-level Copying For Unification In Parallel Architectures.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

The Benefits Of Migration In A Parallel Objects Programming Environment.

Anna Ciampolini, Antonio Corradi, Letizia Leonardi, Franco Zambonelli

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992

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

1989

Parallel object system support on transputer-based architectures.

Anna Ciampolini, Antonio Corradi, Letizia Leonardi

Microprocessing and Microprogramming, 1989