LATIF, SABA
LATIF, SABA
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
A Semantic Encoding of Object Centric Event Data
2026 Latif, Saba; Ekaputra, Fajar J.; Vidgof, Maxim; Kirrane, Sabrina; Di Ciccio, Claudio
Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
2025 Latif, Saba; Latif, Huma; Ur Rehman, Touseef; Rahman, Muhammad Rameez Ur
Formal Methods as a Catalyst for Robust Smart Contracts in Blockchain
2025 Latif, Saba
Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries
2025 Latif, Saba; Latif, Huma; Rahman, Muhammad Rameez Ur
Semantically representing, querying, and checking object-centric event data
2026 Latif, Saba
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Semantic Encoding of Object Centric Event Data | 2026 | Latif, Saba; Ekaputra, Fajar J.; Vidgof, Maxim; Kirrane, Sabrina; Di Ciccio, Claudio | |
| Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs | 2025 | Latif, Saba; Latif, Huma; Ur Rehman, Touseef; Rahman, Muhammad Rameez Ur | |
| Formal Methods as a Catalyst for Robust Smart Contracts in Blockchain | 2025 | Latif, Saba | |
| Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries | 2025 | Latif, Saba; Latif, Huma; Rahman, Muhammad Rameez Ur | |
| Semantically representing, querying, and checking object-centric event data | 2026 | Latif, Saba |