Daniela Loreti

IEEE Trans. Knowl. Data Eng., November, 2023

A Prolog application for reasoning on maths puzzles with diagrams.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., October, 2023

2022

Optimising Business Process Discovery Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Design, Operations, and Computing, 2022

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021

Precise Worst-Case Blocking Time of Tasks Under Priority Inheritance Protocol.

[BibT_eX]

[DOI]

Eugenio Faldella

IEEE Trans. Computers, 2021

2020

Generating synthetic positive and negative business process traces through abduction.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2020

Parallelizing Machine Learning as a service for the end-user.

[BibT_eX]

[DOI]

Marco Lippi

Paolo Torroni

Future Gener. Comput. Syst., 2020

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

[BibT_eX]

[DOI]

Marcello Artioli

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

2019

HABITAT: An IoT Solution for Independent Elderly.

[BibT_eX]

[DOI]

Sensors, 2019

Complex reactive event processing for assisted living: The Habitat project case study.

[BibT_eX]

[DOI]

Tullio Salmon Cinotti

Giacomo Paolini

Diego Masotti

Alessandra Costanzo

Expert Syst. Appl., 2019

Fault Tolerant High Performance Solver for Linear Equation Systems.

[BibT_eX]

[DOI]

Marcello Artioli

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

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

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

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

2017

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.

[BibT_eX]

[DOI]

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

Abduction for Generating Synthetic Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2017

2016

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring.

[BibT_eX]

[DOI]

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

Process Mining Monitoring for Map Reduce Applications in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

2015

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

[BibT_eX]

[DOI]

Francisco J. Clemente-Castelló

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

Enabling Big Data Analytics in the Hybrid Cloud Using Iterative MapReduce.

[BibT_eX]

[DOI]

Juan Carlos Fernández

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

A Hybrid Cloud Infrastructure for Big Data Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2014

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

[BibT_eX]

[DOI]