Konstantinos Mamouras
Konstantinos Mamouras
Assistant Professor of Computer Science, Rice University
Verified email at - Homepage
Cited by
Cited by
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
European Symposium on Programming Languages and Systems, 282-309, 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
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
Nominal Kleene Coalgebra
D Kozen, K Mamouras, D Petrişan, A Silva
Automata, Languages, and Programming, 286-298, 2015
NBB Grathwohl, D Kozen, K Mamouras
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019
Kleene algebra with equations
D Kozen, K Mamouras
International Colloquium on Automata, Languages, and Programming, 280-292, 2014
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
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
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 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
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
Completeness and incompleteness in nominal Kleene algebra
D Kozen, K Mamouras, A Silva
International Conference on Relational and Algebraic Methods in Computer …, 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
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
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
A Chattopadhyay, K Mamouras
International Conference on Runtime Verification, 383-403, 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
Derivatives of Quantitative Regular Expressions
R Alur, K Mamouras, D Ulus
Models, Algorithms, Logics and Tools, 75-95, 2017
Online Signal Monitoring with Bounded Lag
K Mamouras, Z Wang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
Semantic Foundations for Deterministic Dataflow and Stream Processing
K Mamouras
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20