All Stories

  1. Federated Load Balancing in Smart Cities: A 6G, Cloud, and Agentic AI Perspective

    Article • Applied Sciences, October 2025, MDPI AG

    Dr Giacomo Bergami

  2. Extracting Specifications Through Verified and Explainable AI: Interpretability, Interoperability, and Trade-Offs

    Article • October 2025, Springer Science + Business Media

    Dr Giacomo Bergami

  3. Verified Language Processing with Hybrid Explainability

    Article • Electronics, August 2025, MDPI AG

    Dr Giacomo Bergami

  4. How Explainable Really Is AI? Benchmarking Explainable AI

    Article • Logics, August 2025, MDPI AG

    Dr Giacomo Bergami

  5. From Camera Image to Active Target Tracking: Modelling, Encoding and Metrical Analysis for Unmanned Underwater Vehicles

    Article • AI, April 2025, MDPI AG

    Dr Giacomo Bergami

  6. SimulatorOrchestrator: A 6G-Ready Simulator for the Cell-Free/Osmotic Infrastructure

    Article • Sensors, March 2025, MDPI AG

    Dr Giacomo Bergami

  7. SimulatorOrchestrator: a 6G-Ready Simulator for the Cell-Free/Osmotic Infrastructure

    Article • February 2025, MDPI AG

    Dr Giacomo Bergami

  8. LaSSI: Logical, Structural, and Semantic Text Interpretation

    Article • January 2025, Springer Science + Business Media

    Dr Giacomo Bergami

  9. Predicting Dyskinetic Events Through Verified Multivariate Time Series Classification

    Article • January 2025, Springer Science + Business Media

    Dr Giacomo Bergami

  10. SimulatorBridgerDfT: A Real-Data Simulator for IoT-Osmotic Interactions

    Article • December 2024, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami

  11. Testing Routing Strategies by Simulating the Mobile IoT Edge/Cloud Continuum

    Article • October 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Giacomo Bergami

  12. Matching and Rewriting Rules in Object-Oriented Databases

    Article • Mathematics, August 2024, MDPI AG

    Dr Giacomo Bergami

  13. SimulatorBridger: System for Monitoring Energy Efficiency of Electric Vehicles in Real-World Traffic Simulations

    Article • Journal of Engineering Research and Sciences, July 2024, Journal of Engineering Research and Sciences

    Dr Giacomo Bergami

  14. DECLAREd: A Polytime LTLf Fragment

    Article • Logics, May 2024, MDPI AG

    Dr Giacomo Bergami

  15. DECLARE<em>d</em>: A Polytime LTL<sub>f</sub> Fragment

    Article • March 2024, MDPI AG

    Dr Giacomo Bergami

  16. Towards automating microservices orchestration through data-driven evolutionary architectures

    Article • Service Oriented Computing and Applications, February 2024, Springer Science + Business Media

    Dr Giacomo Bergami

  17. Advancements and Challenges in IoT Simulators: A Comprehensive Review

    Article • Sensors, February 2024, MDPI AG

    Dr Giacomo Bergami

  18. Streamlining Temporal Formal Verification over Columnar Databases

    Article • Information, January 2024, MDPI AG

    Dr Giacomo Bergami

  19. Specification Mining over Temporal Data

    Article • Computers, September 2023, MDPI AG

    Dr Giacomo Bergami

  20. Fast Synthetic Data-Aware Log Generation for Temporal Declarative Models

    Article • June 2023, ACM (Association for Computing Machinery)

    Giacomo Bergami, Dr Giacomo Bergami

  21. An algorithm for extracting temporal correlations in the data

    Article • May 2023, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami, Giacomo Bergami

  22. Quickening Data-Aware Conformance Checking through Temporal Algebras

    Article • Information, March 2023, MDPI AG

    Dr Giacomo Bergami

  23. Quickening Data-Aware Conformance Checking through Temporal Algebras

    Article • January 2023, MDPI AG

    Dr Giacomo Bergami

  24. Running Temporal Logical Queries on the Relational Model

    Article • August 2022, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami, Giacomo Bergami

  25. Discovering Declarative Process Model Behavior from Event Logs via Model Learning

    Article • October 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Giacomo Bergami

  26. Probabilistic Trace Alignment

    Article • October 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Giacomo Bergami

  27. Merging distinct graphs efficiently via inter-graph correlation conditions.

    Article • July 2021, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami

  28. A Tool for Computing Probabilistic Trace Alignments

    Article • January 2021, Springer Science + Business Media

    Dr Giacomo Bergami

  29. Aligning Data-Aware Declarative Process Models and Event Logs

    Article • January 2021, Springer Science + Business Media

    Dr Giacomo Bergami

  30. Hierarchical embedding for DAG reachability queries

    Article • August 2020, ACM (Association for Computing Machinery)

    Flavio Bertini, Dr Giacomo Bergami, Giacomo Bergami

  31. On approximate nesting of multiple social network graphs

    Article • January 2019, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami

  32. THoSP

    Article • June 2018, ACM (Association for Computing Machinery)

    Dr Giacomo Bergami

  33. Predicting Frailty Condition in Elderly Using Multidimensional Socioclinical Databases

    Article • Proceedings of the IEEE, April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Giacomo Bergami

  34. Mining and ranking of generalized multi-dimensional frequent subgraphs

    Article • September 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Giacomo Bergami