Saba Latif

According to our database, Saba Latif authored at least 7 papers between 2007 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

A Semantic Encoding of Object Centric Event Data.

Saba Latif, Fajar J. Ekaputra, Maxim Vidgof, Sabrina Kirrane, Claudio Di Ciccio

Proceedings of the Mining a Scientist's Process, 2026

2025

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs.

Saba Latif, Huma Latif, Touseef Ur Rehman, Muhammad Rameez Ur Rahman

CoRR, November, 2025

Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries.

Saba Latif, Huma Latif, Muhammad Rameez Ur Rahman

Proceedings of the Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers, 2025

2019

Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2019

2018

Modelling of Graph-Based Smart Parking System Using Internet of Things.

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2017

Modeling of Sewerage System Using Internet of Things for Smart City.

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

2007

Statistical Properties of a Parametric Channel Model for Multiple Antenna Systems.

Salman Durrani, Marek E. Bialkowski, Saba Latif

Proceedings of the IEEE 18th International Symposium on Personal, 2007