Konstantinos Mamouras
Konstantinos Mamouras
Assistant Professor of Computer Science, Rice University
Verified email at rice.edu - Homepage
Title
Cited by
Cited by
Year
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
682012
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
European Symposium on Programming Languages and Systems, 282-309, 2016
602016
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
402017
Nominal Kleene Coalgebra
D Kozen, K Mamouras, D Petrişan, A Silva
Automata, Languages, and Programming, 286-298, 2015
262015
Completeness and incompleteness in nominal Kleene algebra
D Kozen, K Mamouras, A Silva
International Conference on Relational and Algebraic Methods in Computer …, 2015
172015
KAT+ B!
NBB Grathwohl, D Kozen, K Mamouras
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
172014
Kleene algebra with equations
D Kozen, K Mamouras
International Colloquium on Automata, Languages, and Programming, 280-292, 2014
162014
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019
152019
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 2020
122020
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
112018
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
112017
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
92018
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
K Mamouras
arXiv preprint arXiv:1606.09110, 2016
92016
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
82019
An introduction to the StreamQRE language
R Alur, K Mamouras
Dependable Software Systems Engineering 50, 1, 2017
82017
Derivatives of Quantitative Regular Expressions
R Alur, K Mamouras, D Ulus
Models, Algorithms, Logics and Tools, 75-95, 2017
82017
Synthesis of strategies and the Hoare logic of angelic nondeterminism
K Mamouras
International Conference on Foundations of Software Science and Computation …, 2015
82015
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
72018
Interfaces for Stream Processing Systems
R Alur, K Mamouras, C Stanford, V Tannen
Principles of Modeling, 38-60, 2018
62018
Extensions of Kleene algebra for program verification
K Mamouras
Cornell University, 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20