Anna Ciampolini

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 13

Top Topics

Business Process

Top Venues

Future Gener. Comput. Syst.

ESOCC Workshops

Publications

Daniela Loreti, Marcello Artioli, Anna Ciampolini
Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint. IEEE Trans. Parallel Distributed Syst. 35 (7) (2024)
Sofia Montebugnoli, Anna Ciampolini
Energy consumption comparison of parallel linear systems solver algorithms on HPC infrastructure. SC Workshops (2023)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
Generating synthetic positive and negative business process traces through abduction. Knowl. Inf. Syst. 62 (2) (2020)
Daniela Loreti, Marcello Artioli, Anna Ciampolini
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults. SRDS (2020)
Marcello Artioli, Daniela Loreti, Anna Ciampolini
Fault Tolerant High Performance Solver for Linear Equation Systems. SRDS (2019)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
A distributed approach to compliance monitoring of business process event streams. Future Gener. Comput. Syst. 82 (2018)
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. ICPE Companion (2017)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Abduction for Generating Synthetic Traces. Business Process Management Workshops (2017)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. CLOSER (Selected Papers) (2016)
Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
Process Mining Monitoring for Map Reduce Applications in the Cloud. CLOSER (1) (2016)
Daniela Loreti, Anna Ciampolini
MapReduce over the Hybrid Cloud: A Novel Infrastructure Management Policy. UCC (2015)
Daniela Loreti, Anna Ciampolini
A Hybrid Cloud Infrastructure for Big Data Applications. HPCC/CSS/ICESS (2015)
Daniela Loreti, Anna Ciampolini
SHYAM: A System for Autonomic Management of Virtual Clusters in Hybrid Clouds. ESOCC Workshops (2015)
Daniela Loreti, Anna Ciampolini
A distributed self-balancing policy for virtual machine management in cloud datacenters. HPCS (2014)
Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) (2010)
Anna Ciampolini, Paola Mello, Sergio Storari
An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI (2008)
Sergio Storari, Anna Ciampolini, Paola Mello
An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. PervasiveHealth (2008)
Federico Chesani, Anna Ciampolini, Paola Mello
E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context (2008)
Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS (2005)
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
Protocol Specification and Verification by Using Computational Logic. WOA (2005)
Anna Ciampolini, Paolo Torroni
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. Appl. Artif. Intell. 18 (3-4) (2004)
Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37 (1-2) (2003)
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
A Social ACL Semantics by Deontic Constraints. CEEMAS (2003)
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA (2002)
Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma
Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS (2002)
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27 (4) (2001)
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
Expressing Collaboration And Competition Among Abductive Logic Agents. WOA (2000)
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems (2000)
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni
An Implementation for Abductive Logic Agents. AI*IA (1999)
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
Abductive Coordination for Logic Agents. SAC (1999)
Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
Optimizing Modular Logic Languages. ACM Comput. Surv. 30 (3es) (1998)
Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
Blackboard- and Object-Based Systems via Multi-Head Clauses. Comput. Artif. Intell. 16 (4) (1997)
Anna Ciampolini, Evelina Lamma, Paola Mello
An Optimized Implementation of a Dynamic Modular Logic Language. Softw. Concepts Tools 17 (4) (1996)
Anna Ciampolini, Evelina Lamma, Paola Mello
An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett. 58 (4) (1996)
Anna Ciampolini, Cesare Stefanelli
Extending PVM to a massively parallel architecture. Future Gener. Comput. Syst. 12 (1) (1996)
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
Distributed logic objects: A fragment of rewriting logic and its implementation. WRLA (1996)
Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
Distributed Logic Objects. Comput. Lang. 22 (4) (1996)
Anna Ciampolini, Evelina Lamma, Paola Mello
Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE (1995)
Anna Ciampolini, Antonio Corradi, Letizia Leonardi, Franco Zambonelli
The Benefits Of Migration In A Parallel Objects Programming Environment. PDP (1994)
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
Multi-level Copying For Unification In Parallel Architectures. PDP (1994)
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ELP (1993)
Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. 42 (6) (1992)
Anna Ciampolini, Antonio Corradi, Letizia Leonardi
Parallel object system support on transputer-based architectures. Microprocessing and Microprogramming 27 (1-5) (1989)