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 | 68 | 2012 |

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

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 | 40 | 2017 |

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

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

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

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

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

Streamable regular transductions R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford Theoretical Computer Science 807, 15-41, 2020 | 12 | 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 | 11 | 2018 |

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

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 | 9 | 2018 |

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

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 | 8 | 2019 |

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

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

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

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 | 7 | 2018 |

Interfaces for Stream Processing Systems R Alur, K Mamouras, C Stanford, V Tannen Principles of Modeling, 38-60, 2018 | 6 | 2018 |

Extensions of Kleene algebra for program verification K Mamouras Cornell University, 2015 | 6 | 2015 |