| Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva European Symposium on Programming Languages and Systems, 282-309, 2016 | 117 | 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 | 67 | 2017 |
| 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 |
| KAT+ B! NBB Grathwohl, D Kozen, K Mamouras Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 37 | 2014 |
| Nominal Kleene Coalgebra D Kozen, K Mamouras, D Petrişan, A Silva Automata, Languages, and Programming, 286-298, 2015 | 35 | 2015 |
| Kleene algebra with equations D Kozen, K Mamouras International Colloquium on Automata, Languages, and Programming, 280-292, 2014 | 29 | 2014 |
| Modular quantitative monitoring R Alur, K Mamouras, C Stanford Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019 | 28 | 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 | 27 | 2021 |
| Automata-based stream processing R Alur, K Mamouras, C Stanford 44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017 | 25 | 2017 |
| Streamable regular transductions R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford Theoretical Computer Science 807, 15-41, 2020 | 23 | 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 | 23 | 2018 |
| A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics A Chattopadhyay, K Mamouras International Conference on Runtime Verification, 383-403, 2020 | 22 | 2020 |
| 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 | 22 | 2019 |
| A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals K Mamouras, A Chattopadhyay, Z Wang International Conference on Runtime Verification, 142-163, 2021 | 20 | 2021 |
| Regular Expression Matching using Bit Vector Automata A Le Glaunec, L Kong, K Mamouras Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 492-521, 2023 | 19 | 2023 |
| 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 | 19 | 2018 |
| Completeness and incompleteness in nominal Kleene algebra D Kozen, K Mamouras, A Silva International Conference on Relational and Algebraic Methods in Computer …, 2015 | 19 | 2015 |
| Online Signal Monitoring with Bounded Lag K Mamouras, Z Wang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 17 | 2020 |
| Semantic Foundations for Deterministic Dataflow and Stream Processing K Mamouras Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 17 | 2020 |
| 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 | 17 | 2018 |
