All Stories

  1. Advancements and Challenges in IoT Simulators: A Comprehensive Review
  2. Streamlining Temporal Formal Verification over Columnar Databases
  3. Specification Mining over Temporal Data
  4. Fast Synthetic Data-Aware Log Generation for Temporal Declarative Models
  5. An algorithm for extracting temporal correlations in the data
  6. Quickening Data-Aware Conformance Checking through Temporal Algebras
  7. Quickening Data-Aware Conformance Checking through Temporal Algebras
  8. Running Temporal Logical Queries on the Relational Model
  9. Discovering Declarative Process Model Behavior from Event Logs via Model Learning
  10. Probabilistic Trace Alignment
  11. Merging distinct graphs efficiently via inter-graph correlation conditions.
  12. A Tool for Computing Probabilistic Trace Alignments
  13. Aligning Data-Aware Declarative Process Models and Event Logs
  14. Hierarchical embedding for DAG reachability queries
  15. On approximate nesting of multiple social network graphs
  16. THoSP
  17. Predicting Frailty Condition in Elderly Using Multidimensional Socioclinical Databases
  18. Mining and ranking of generalized multi-dimensional frequent subgraphs