Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva European Symposium on Programming Languages and Systems, 282-309, 2016 | 84 | 2016 |

Dynamic QoS-aware data replication in grid environments based on data “importance” V Andronikou, K Mamouras, K Tserpes, D Kyriazis, T Varvarigou Future Generation Computer Systems 28 (3), 544-553, 2012 | 67 | 2012 |

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data K Mamouras, M Raghothaman, R Alur, ZG Ives, S Khanna Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 49 | 2017 |

Nominal Kleene Coalgebra D Kozen, K Mamouras, D Petrişan, A Silva Automata, Languages, and Programming, 286-298, 2015 | 30 | 2015 |

KAT+ B! NBB Grathwohl, D Kozen, K Mamouras Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 20 | 2014 |

Modular quantitative monitoring R Alur, K Mamouras, C Stanford Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019 | 19 | 2019 |

Kleene algebra with equations D Kozen, K Mamouras International Colloquium on Automata, Languages, and Programming, 280-292, 2014 | 19 | 2014 |

Completeness and incompleteness in nominal Kleene algebra D Kozen, K Mamouras, A Silva International Conference on Relational and Algebraic Methods in Computer …, 2015 | 18 | 2015 |

Streamable regular transductions R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford Theoretical Computer Science 807, 15-41, 2020 | 16 | 2020 |

Automata theory on sliding windows M Ganardi, D Hucke, D König, M Lohrey, K Mamouras proceedings of the 35th International Symposium on Theoretical Aspects of …, 2018 | 16 | 2018 |

Automata-based stream processing R Alur, K Mamouras, C Stanford 44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017 | 16 | 2017 |

Data-trace types for distributed stream processing systems K Mamouras, C Stanford, R Alur, ZG Ives, V Tannen Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 14 | 2019 |

PaSh: light-touch data-parallel shell processing N Vasilakis, K Kallas, K Mamouras, A Benetopoulos, L Cvetković Proceedings of the Sixteenth European Conference on Computer Systems, 49-66, 2021 | 12 | 2021 |

Real-time decision policies with predictable performance H Abbas, R Alur, K Mamouras, R Mangharam, A Rodionova Proceedings of the IEEE 106 (9), 1593-1615, 2018 | 12 | 2018 |

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism K Mamouras arXiv preprint arXiv:1606.09110, 2016 | 11 | 2016 |

Quantitative regular expressions for arrhythmia detection H Abbas, A Rodionova, K Mamouras, E Bartocci, SA Smolka, R Grosu IEEE/ACM transactions on computational biology and bioinformatics 16 (5 …, 2018 | 10 | 2018 |

An introduction to the StreamQRE language R Alur, K Mamouras Dependable Software Systems Engineering 50, 1, 2017 | 10 | 2017 |

Derivatives of Quantitative Regular Expressions R Alur, K Mamouras, D Ulus Models, Algorithms, Logics and Tools, 75-95, 2017 | 10 | 2017 |

Synthesis of strategies and the Hoare logic of angelic nondeterminism K Mamouras International Conference on Foundations of Software Science and Computation …, 2015 | 9 | 2015 |

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics A Chattopadhyay, K Mamouras International Conference on Runtime Verification, 383-403, 2020 | 8 | 2020 |