Nadiyah Almutairi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Probabilistic Logic

Top Venues

PNSE@Petri Nets

Publications

Nadiyah Almutairi, Tuwailaa Alshammari, Mohammed Alahmadi
Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets). PNSE@Petri Nets (2024)
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell
Structured Acyclic Nets. CoRR (2024)
Nadiyah Almutairi
Probabilistic Behavioural Acyclic Nets. PNSE@Petri Nets (2023)
Nadiyah Almutairi
Probabilistic Communication Structured Acyclic Nets. PNSE@Petri Nets (2022)
Nadiyah Almutairi, Maciej Koutny
Verification of Communication Structured Acyclic Nets Using SAT. PNSE@Petri Nets (2021)