11573/1764940 - 2026 -
A Semantic Encoding of Object Centric Event Data Latif, Saba; Ekaputra, Fajar J.; Vidgof, Maxim; Kirrane, Sabrina; Di Ciccio, Claudio - 02a Capitolo o Articolo
libro: Mining a Scientist’s Process Essays Dedicated to Wil van der Aalst on the Occasion of His 60th Birthday - (9783032176172; 9783032176189)
11573/1755453 - 2025 -
Formal Methods as a Catalyst for Robust Smart Contracts in Blockchain Latif, Saba - 04b Atto di convegno in volume
congresso: 2nd International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2025 (Jamshoro, Pakistan)
libro: 2nd International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2025 - ()
11573/1755459 - 2025 -
Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries Latif, Saba; Latif, Huma; Rahman, Muhammad Rameez Ur - 04b Atto di convegno in volume
congresso: International Workshop on Analytics for Software Product and Process Improvement 2025, Salerno, Italy (Salerno, Italy)
libro: International Workshop on Analytics for Software Product and Process Improvement 2025, Salerno, Italy - ()
11573/1755456 - 2025 -
Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs Latif, Saba; Latif, Huma; Ur Rehman, Touseef; Rahman, Muhammad Rameez Ur - 04b Atto di convegno in volume
congresso: ICSOC, the International Conference on Service-Oriented Computing, china 2025 (Shenzhen, China)
libro: ICSOC, the International Conference on Service-Oriented Computing, china 2025 - ()