Declarative continuous reasoning in the cloud-IoT continuum S Forti, G Bisicchia, A Brogi Journal of Logic and Computation 32 (2), 206-232, 2022 | 19 | 2022 |
Declarative goal mediation in smart environments G Bisicchia, S Forti, A Brogi 2021 IEEE International Conference on Smart Computing (SMARTCOMP), 389-391, 2021 | 3 | 2021 |
A Declarative Goal-oriented Framework for Smart Environments with LPaaS G Bisicchia, S Forti, A Brogi Italian Conference on Computational Logic (CILC) 3002 (3), 143--157, 2021 | 3 | 2021 |
Distributing Quantum Computations, by Shots G Bisicchia, J García-Alonso, JM Murillo, A Brogi International Conference on Service-Oriented Computing, 363-377, 2023 | 2 | 2023 |
Continuous QoS‐compliant orchestration in the Cloud‐Edge continuum G Bisicchia, S Forti, E Pimentel, A Brogi Software: Practice and Experience, 2023 | 1 | 2023 |
Dispatching Shots Among Multiple Quantum Computers: An Architectural Proposal G Bisicchia, J García-Alonso, JM Murillo, A Brogi 2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023 | 1 | 2023 |
From Quantum Mechanics to Quantum Software Engineering G Bisicchia, J Garcia-Alonso, JM Murillo, A Brogi arXiv preprint arXiv:2404.19428, 2024 | | 2024 |
Sustainable goal-oriented smart environments: a declarative programming approach G Bisicchia, S Forti, A Brogi Journal of Logic and Computation 33 (4), 864-899, 2023 | | 2023 |
Customisable Fault and Performance Monitoring Across Multiple Clouds G Bisicchia, S Forti, A Colla, A Brogi 13th International Conference on Cloud Computing and Services Science …, 2023 | | 2023 |
Continuous Reasoning for Application Management over the Cloud-IoT Continuum G BISICCHIA | | 2022 |