Anna Ciampolini

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