Anna Ciampolini
Orcid: 0000-0002-9314-1958Affiliations:
- University of Bologna, Italy
According to our database1,
Anna Ciampolini
authored at least 44 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint.
IEEE Trans. Parallel Distributed Syst., July, 2024
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024
2023
Energy consumption comparison of parallel linear systems solver algorithms on HPC infrastructure.
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.
Knowl. Inf. Syst., 2020
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults.
Proceedings of the International Symposium on Reliable Distributed Systems, 2020
2019
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019
2018
Future Gener. Comput. Syst., 2018
2017
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
Proceedings of the Business Process Management Workshops, 2017
2016
Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016
Proceedings of the CLOSER 2016, 2016
2015
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015
2014
A distributed self-balancing policy for virtual machine management in cloud datacenters.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014
2010
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010
2008
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
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008
2005
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
2004
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Appl. Artif. Intell., 2004
2003
Ann. Math. Artif. Intell., 2003
Proceedings of the Multi-Agent Systems and Applications III, 2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Comput. Lang., 2001
2000
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
1999
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
1998
1997
Comput. Artif. Intell., 1997
1996
An Optimized Implementation of a Dynamic Modular Logic Language.
Softw. Concepts Tools, 1996
Inf. Process. Lett., 1996
Future Gener. Comput. Syst., 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
1995
Improving the Efficiency of Dynamic Modular Logic Languages.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994
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.
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.
Inf. Process. Lett., 1992
1989
Microprocessing and Microprogramming, 1989