17 citations · 31 across the 3 of their papers we have counts for
3 papers
q-bio.PE2020★ 1 cited
Agent-Based Modelling of Malaria Transmission Dynamics
Babagana Modu, Nereida Polovina, Savas Konur
Recent statistics of malaria shows that over 200 million cases and estimated deaths of nearly half a million occur globally. Africa alone accounts for almost 90% of the cases. Seve…
cs.LO2010★ 17 cited
Real-time and Probabilistic Temporal Logics: An Overview
Savas Konur
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research s…
cs.LO2010★ 13 cited
A Survey on Temporal Logics
Savas Konur
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important f…