All Stories

  1. AI-Driven Multi-agent Vehicular Planning for Battery Efficiency and QoS in 6G Smart Cities
  2. Federated Load Balancing in Smart Cities: A 6G, Cloud, and Agentic AI Perspective
  3. Extracting Specifications Through Verified and Explainable AI: Interpretability, Interoperability, and Trade-Offs
  4. Verified Language Processing with Hybrid Explainability
  5. How Explainable Really Is AI? Benchmarking Explainable AI
  6. From Camera Image to Active Target Tracking: Modelling, Encoding and Metrical Analysis for Unmanned Underwater Vehicles
  7. SimulatorOrchestrator: A 6G-Ready Simulator for the Cell-Free/Osmotic Infrastructure
  8. SimulatorOrchestrator: a 6G-Ready Simulator for the Cell-Free/Osmotic Infrastructure
  9. LaSSI: Logical, Structural, and Semantic Text Interpretation
  10. Predicting Dyskinetic Events Through Verified Multivariate Time Series Classification
  11. SimulatorBridgerDfT: A Real-Data Simulator for IoT-Osmotic Interactions
  12. Testing Routing Strategies by Simulating the Mobile IoT Edge/Cloud Continuum
  13. Matching and Rewriting Rules in Object-Oriented Databases
  14. SimulatorBridger: System for Monitoring Energy Efficiency of Electric Vehicles in Real-World Traffic Simulations
  15. DECLAREd: A Polytime LTLf Fragment
  16. DECLARE<em>d</em>: A Polytime LTL<sub>f</sub> Fragment
  17. Towards automating microservices orchestration through data-driven evolutionary architectures
  18. Advancements and Challenges in IoT Simulators: A Comprehensive Review
  19. Streamlining Temporal Formal Verification over Columnar Databases
  20. Specification Mining over Temporal Data
  21. Fast Synthetic Data-Aware Log Generation for Temporal Declarative Models
  22. An algorithm for extracting temporal correlations in the data
  23. Quickening Data-Aware Conformance Checking through Temporal Algebras
  24. Quickening Data-Aware Conformance Checking through Temporal Algebras
  25. Running Temporal Logical Queries on the Relational Model
  26. Discovering Declarative Process Model Behavior from Event Logs via Model Learning
  27. Probabilistic Trace Alignment
  28. Merging distinct graphs efficiently via inter-graph correlation conditions.
  29. A Tool for Computing Probabilistic Trace Alignments
  30. Aligning Data-Aware Declarative Process Models and Event Logs
  31. Hierarchical embedding for DAG reachability queries
  32. On approximate nesting of multiple social network graphs
  33. THoSP
  34. Predicting Frailty Condition in Elderly Using Multidimensional Socioclinical Databases
  35. Mining and ranking of generalized multi-dimensional frequent subgraphs