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
1012016
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
612017
Nominal Kleene Coalgebra
D Kozen, K Mamouras, D Petrişan, A Silva
Automata, Languages, and Programming, 286-298, 2015
332015
KAT+ B!
NBB Grathwohl, D Kozen, K Mamouras
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
292014
Kleene algebra with equations
D Kozen, K Mamouras
International Colloquium on Automata, Languages, and Programming, 280-292, 2014
262014
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 50, 2019
252019
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
232017
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
202018
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 2020
192020
Completeness and incompleteness in nominal Kleene algebra
D Kozen, K Mamouras, A Silva
International Conference on Relational and Algebraic Methods in Computer …, 2015
192015
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
182021
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
182019
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
172018
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
A Chattopadhyay, K Mamouras
International Conference on Runtime Verification, 383-403, 2020
152020
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
152018
Derivatives of Quantitative Regular Expressions
R Alur, K Mamouras, D Ulus
Models, Algorithms, Logics and Tools, 75-95, 2017
152017
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
142021
Online Signal Monitoring with Bounded Lag
K Mamouras, Z Wang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
142020
An introduction to the StreamQRE language
R Alur, K Mamouras
Dependable Software Systems Engineering 50, 1, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20