Konstantinos Mamouras
机构: Assistant Professor of Computer Science, Rice University
每年引用次数
引用次数
引用: 711
H-指数: 15
I10-指数 : 26
出版物: 49
An Introduction to the StreamQRE
Rajeev ALUR , Konstantinos MAMOURAS
Kleene Algebra with Products and Iteration Theories
Konstantinos Mamouras , Dexter Kozen
computer science logic 23 415 -431
2
2013
Typed Kleene Algebra with Products and Iteration Theories
Konstantinos Mamouras , Dexter Kozen
1
2013
Automata-Based Stream Processing
Konstantinos Mamouras , Rajeev Alur , Caleb Stanford
international colloquium on automata languages and programming 80 15
9
2017
An Introduction to the StreamQRE Language
Konstantinos Mamouras , Rajeev Alur
Dependable Software Systems Engineering 1 -24
9
2017
A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators
Rahul Mangharam , Konstantinos Mamouras , Jackson Liang , Houssam Abbas
2018
Automata Theory on Sliding Windows
Markus Lohrey , Konstantinos Mamouras , Danny Hucke , Moses Ganardi
symposium on theoretical aspects of computer science 14
5
2018
PaSh: Light-touch Data-Parallel Shell Processing
Konstantinos Mamouras , Nikos Vasilakis , Achilleas Benetopoulos , Lazar Cvetkovich
arXiv: Distributed, Parallel, and Cluster Computing
15
2020
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data
Konstantinos Mamouras , Mukund Raghothaman , Rajeev Alur , Zachary G. Ives
programming language design and implementation 52 ( 6) 693 -708
26
2017
Real-Time Decision Policies With Predictable Performance
Houssam Abbas , Rajeev Alur , Konstantinos Mamouras , Rahul Mangharam
Proceedings of the IEEE 106 ( 9) 1593 -1615
7
2018
Equational Theories of Abnormal Termination Based on Kleene Algebra
Konstantinos Mamouras
foundations of software science and computation structure 88 -105
2
2017
Semantic Foundations for Deterministic Dataflow and Stream Processing
Konstantinos Mamouras
european symposium on programming 394 -427
3
2020
Completeness and incompleteness in nominal Kleene algebra
Dexter Kozen , Konstantinos Mamouras , Alexandra Silva
The Journal of Logic and Algebraic Programming 91 17 -32
19
2017
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes
Konstantinos Mamouras
ACM Transactions on Computational Logic 17 ( 2) 13
4
2016
Derivatives of Quantitative Regular Expressions
Rajeev Alur , Konstantinos Mamouras , Dogan Ulus
Models, Algorithms, Logics and Tools 75 -95
7
2017
StreamQL: a query language for processing streaming time series
Lingkun Kong , Konstantinos Mamouras
Proceedings of the ACM on Programming Languages 4 1 -32
1
2020
Streamable regular transductions
Rajeev Alur , Dana Fisman , Konstantinos Mamouras , Mukund Raghothaman
Theoretical Computer Science 807 15 -41
6
2020
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias
Houssam Abbas , Rajeev Alur , Konstantinos Mamouras , Rahul Mangharam
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) 1 -2
1
2018
Kleene Algebra with Equations
Dexter Kozen , Konstantinos Mamouras
Automata, Languages, and Programming 280 -292
21
2014
Online Signal Monitoring With Bounded Lag
Konstantinos Mamouras , Zhifu Wang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 ( 11) 3868 -3880
3
2020