Savas Konur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2004–2023
Best venue rank
National
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SGAI | Optimal Manufacturing Controller Synthesis Using Situation Calculus. | Omar Adalat, Daniele Scrimieri, Savas Konur |
| 2023 | SGAI | Speech Emotion Recognition Using Deep Learning. | Waqar Ahmed, Sana Riaz, Khunsa Iftikhar, Savas Konur |
| 2022 | SGAI | Anomaly Detection and Root Cause Analysis on Log Data. | Daem Pasha, Ali Hussain Shah, Esmaeil Habib Zadeh, Savas Konur |
| 2021 | SGAI | Detection of Brain Tumour Using Deep Learning. | Waqar Ahmed, Savas Konur |
| 2015 | HPCC | Agent-Based High-Performance Simulation of Biological Systems on the GPU. | Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate |
| 2014 | HPCC | High Performance Simulations of Kernel P Systems. | Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate |
| 2014 | HPCC | Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. | Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala |
| 2011 | VTC | Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. | Savas Konur, Michael Fisher |
| 2008 | AiML | An interval logic for natural language semantics. | Savas Konur |
| 2006 | TIME | A Decidable Temporal Logic for Events and States. | Savas Konur |
| 2004 | SGAI | Formal Analysis of Empirical Traces in Incident Management. | Mark Hoogendoorn, Catholijn M. Jonker, Savas Konur, Peter-Paul van Maanen, Viara Popova, Alexei Sharpanskykh, Jan Treur, Lai Xu, Pinar Yolum |