Follow
Konstantinos Mamouras
Konstantinos Mamouras
Assistant Professor of Computer Science, Rice University
Verified email at rice.edu - Homepage
Title
Cited by
Cited by
Year
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
European Symposium on Programming Languages and Systems, 282-309, 2016
842016
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
672012
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
492017
Nominal Kleene Coalgebra
D Kozen, K Mamouras, D Petrişan, A Silva
Automata, Languages, and Programming, 286-298, 2015
302015
KAT+ B!
NBB Grathwohl, D Kozen, K Mamouras
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
202014
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019
192019
Kleene algebra with equations
D Kozen, K Mamouras
International Colloquium on Automata, Languages, and Programming, 280-292, 2014
192014
Completeness and incompleteness in nominal Kleene algebra
D Kozen, K Mamouras, A Silva
International Conference on Relational and Algebraic Methods in Computer …, 2015
182015
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 2020
162020
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
162018
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
162017
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
142019
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
122021
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
122018
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
K Mamouras
arXiv preprint arXiv:1606.09110, 2016
112016
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
102018
An introduction to the StreamQRE language
R Alur, K Mamouras
Dependable Software Systems Engineering 50, 1, 2017
102017
Derivatives of Quantitative Regular Expressions
R Alur, K Mamouras, D Ulus
Models, Algorithms, Logics and Tools, 75-95, 2017
102017
Synthesis of strategies and the Hoare logic of angelic nondeterminism
K Mamouras
International Conference on Foundations of Software Science and Computation …, 2015
92015
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
A Chattopadhyay, K Mamouras
International Conference on Runtime Verification, 383-403, 2020
82020
The system can't perform the operation now. Try again later.
Articles 1–20