Anna Ciampolini

According to our database1, Anna Ciampolini authored at least 37 papers between 1992 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A distributed approach to compliance monitoring of business process event streams.
Future Generation Comp. Syst., 2018

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Abduction for Generating Synthetic Traces.
Proceedings of the Business Process Management Workshops, 2017

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring.
Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

Process Mining Monitoring for Map Reduce Applications in the Cloud.
Proceedings of the CLOSER 2016, 2016

MapReduce over the Hybrid Cloud: A Novel Infrastructure Management Policy.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

A Hybrid Cloud Infrastructure for Big Data Applications.
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.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

A distributed self-balancing policy for virtual machine management in cloud datacenters.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

E-learning by Doing with Computational Logic.
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.
Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

An Abductive Multi-Agent System for Medical Services Coordination.
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

Protocol Specification and Verification by Using Computational Logic.
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.
Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Applied Artificial Intelligence, 2004

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell., 2003

A Social ACL Semantics by Deontic Constraints.
Proceedings of the Multi-Agent Systems and Applications III, 2003

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Coordinating the safe execution of tasks in a constrained multi-agent system.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang., 2001

Expressing Collaboration And Competition Among Abductive Logic Agents.
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.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

Abductive Coordination for Logic Agents.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

An Implementation for Abductive Logic Agents.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

Optimizing Modular Logic Languages.
ACM Comput. Surv., 1998

Blackboard- and Object-Based Systems via Multi-Head Clauses.
Computers and Artificial Intelligence, 1997

An Optimized Implementation of a Dynamic Modular Logic Language.
Software - Concepts and Tools, 1996

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.
Inf. Process. Lett., 1996

Extending PVM to a massively parallel architecture.
Future Generation Comp. Syst., 1996

Distributed logic objects: A fragment of rewriting logic and its implementation.
Electr. Notes Theor. Comput. Sci., 1996

Distributed Logic Objects.
Comput. Lang., 1996

Improving the Efficiency of Dynamic Modular Logic Languages.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Multi-level Copying For Unification In Parallel Architectures.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

The Benefits Of Migration In A Parallel Objects Programming Environment.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett., 1992