Sentence-Level Evaluation Using Co-occurences of N-Grams. - Theologos Athanaselis; Stelios Bakamidis; Konstantinos Mamouras; Ioannis Dologlou (ICANN (1), 2008)

A Corpus Based Technique for Repairing Ill-formed Sentences with Word Order Errors Using Co-Occurrences of n-Grams. - Theologos Athanaselis; Konstantinos Mamouras; Stelios Bakamidis; Ioannis Dologlou (Int. J. Artif. Intell. Tools, 2011)

Dynamic QoS-aware data replication in grid environments based on data "importance". - Vassiliki Andronikou; Konstantinos Mamouras; Konstantinos Tserpes; Dimosthenis Kyriazis; Theodora A. Varvarigou (Future Gener. Comput. Syst., 2012)

The Complexity of Social Coordination. - Konstantinos Mamouras; Sigal Oren; Lior Seeman; Lucja Kot; Johannes Gehrke (Proc. VLDB Endow., 2012)

Kleene Algebra with Products and Iteration Theories. - Dexter Kozen; Konstantinos Mamouras (CSL, 2013)

KAT + B! - Niels Bjørn Bugge Grathwohl; Dexter Kozen; Konstantinos Mamouras (CSL-LICS, 2014)

On the Hoare theory of monadic recursion schemes. - Konstantinos Mamouras (CSL-LICS, 2014)

Kleene Algebra with Equations. - Dexter Kozen; Konstantinos Mamouras (ICALP (2), 2014)

Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. - Konstantinos Mamouras (FoSSaCS, 2015)

Nominal Kleene Coalgebra. - Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva 001 (ICALP (2), 2015)

Extensions of Kleene Algebra for Program Verification. - Konstantinos Mamouras (2015)

Probabilistic NetKAT. - Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva 001 (ESOP, 2016)

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism. - Konstantinos Mamouras (Log. Methods Comput. Sci., 2016)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. - Konstantinos Mamouras (ACM Trans. Comput. Log., 2016)

Derivatives of Quantitative Regular Expressions. - Rajeev Alur; Konstantinos Mamouras; Dogan Ulus (Models, Algorithms, Logics and Tools, 2017)

Equational Theories of Abnormal Termination Based on Kleene Algebra. - Konstantinos Mamouras (FoSSaCS, 2017)

Automata-Based Stream Processing. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford (ICALP, 2017)

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. - Konstantinos Mamouras; Mukund Raghothaman; Rajeev Alur; Zachary G. Ives; Sanjeev Khanna (PLDI, 2017)

Completeness and incompleteness in nominal Kleene algebra. - Dexter Kozen; Konstantinos Mamouras; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2017)

An Introduction to the StreamQRE Language. - Rajeev Alur; Konstantinos Mamouras (Dependable Software Systems Engineering, 2017)

Interfaces for Stream Processing Systems. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford; Val Tannen (Principles of Modeling, 2018)

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (MT@CPSWeek, 2018)

Automata Theory on Sliding Windows. - Moses Ganardi; Danny Hucke; Daniel König; Markus Lohrey; Konstantinos Mamouras (STACS, 2018)

Real-Time Decision Policies With Predictable Performance. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (Proc. IEEE, 2018)

Data-trace types for distributed stream processing systems. - Konstantinos Mamouras; Caleb Stanford; Rajeev Alur; Zachary G. Ives; Val Tannen (PLDI, 2019)

Modular quantitative monitoring. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford (Proc. ACM Program. Lang., 2019)

Quantitative Regular Expressions for Arrhythmia Detection. - Houssam Abbas; Alëna Rodionova; Konstantinos Mamouras; Ezio Bartocci; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Semantic Foundations for Deterministic Dataflow and Stream Processing. - Konstantinos Mamouras (ESOP, 2020)

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. - Agnishom Chattopadhyay; Konstantinos Mamouras (RV, 2020)

The Design and Implementation of a Verified File System with End-to-End Data Integrity. - Daniel W. Song; Konstantinos Mamouras; Ang Chen 001; Nathan Dautenhahn; Dan S. Wallach (CoRR, 2020)

StreamQL: a query language for processing streaming time series. - Lingkun Kong; Konstantinos Mamouras (Proc. ACM Program. Lang., 2020)

Online Signal Monitoring With Bounded Lag. - Konstantinos Mamouras; Zhifu Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Streamable regular transductions. - Rajeev Alur; Dana Fisman; Konstantinos Mamouras; Mukund Raghothaman; Caleb Stanford (Theor. Comput. Sci., 2020)

PaSh: light-touch data-parallel shell processing. - Nikos Vasilakis; Konstantinos Kallas; Konstantinos Mamouras; Achilles Benetopoulos; Lazar Cvetkovic (EuroSys, 2021)

Synchronization Schemas. - Rajeev Alur; Phillip Hilliard; Zachary G. Ives; Konstantinos Kallas; Konstantinos Mamouras; Filip Niksic; Caleb Stanford; Val Tannen; Anton Xue (PODS, 2021)

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (RV, 2021)

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (TACAS (1), 2021)

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. - Jean-Baptiste Jeannin; Jiawei Chen; José Luiz Vargas de Mendonça; Konstantinos Mamouras (EMSOFT, 2022)

Software-hardware codesign for efficient in-memory regular pattern matching. - Lingkun Kong; Qixuan Yu 001; Agnishom Chattopadhyay; Alexis Le Glaunec; Yi Huang 036; Konstantinos Mamouras; Kaiyuan Yang 001 (PLDI, 2022)

CASA: An Energy-Efficient and High-Speed CAM-based SMEM Seeding Accelerator for Genome Alignment. - Yi Huang 036; Lingkun Kong; Dibei Chen; Zhiyu Chen 003; Xiangyu Kong; Jianfeng Zhu 001; Konstantinos Mamouras; Shaojun Wei; Kaiyuan Yang 001; Leibo Liu (MICRO, 2023)

Regular Expression Matching using Bit Vector Automata. - Alexis Le Glaunec; Lingkun Kong; Konstantinos Mamouras (Proc. ACM Program. Lang., 2023)

A compositional framework for algebraic quantitative online monitoring over continuous-time signals. - Konstantinos Mamouras; Agnishom Chattopadhyay; Zhifu Wang (Int. J. Softw. Tools Technol. Transf., 2023)

BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions. - Ziyuan Wen; Lingkun Kong; Alexis Le Glaunec; Konstantinos Mamouras; Kaiyuan Yang 001 (ASPLOS (2), 2024)

Efficient Offline Monitoring for Dynamic Metric Temporal Logic. - Konstantinos Mamouras (RV, 2024)

HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism. - Alexis Le Glaunec; Lingkun Kong; Konstantinos Mamouras (Proc. ACM Program. Lang., 2024)

Static Analysis for Checking the Disambiguation Robustness of Regular Expressions. - Konstantinos Mamouras; Alexis Le Glaunec; Wu Angela Li; Agnishom Chattopadhyay (Proc. ACM Program. Lang., 2024)

Efficient Matching of Regular Expressions with Lookaround Assertions. - Konstantinos Mamouras; Agnishom Chattopadhyay (Proc. ACM Program. Lang., 2024)

Verified and Efficient Matching of Regular Expressions with Lookaround. - Agnishom Chattopadhyay; Wu Angela Li; Konstantinos Mamouras (CPP, 2025)

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. - Lukas Lazarek; Seong-Heon Jung; Evangelos Lamprou; Zekai Li; Anirudh Narsipur; Eric Zhao 006; Michael Greenberg 002; Konstantinos Kallas; Konstantinos Mamouras; Nikos Vasilakis (HotOS, 2025)

RAP: Reconfigurable Automata Processor. - Ziyuan Wen; Alexis Le Glaunec; Konstantinos Mamouras; Kaiyuan Yang 001 (ISCA, 2025)

Membership Testing for Semantic Regular Expressions. - Yifei Huang 007; Matin Amini; Alexis Le Glaunec; Konstantinos Mamouras; Mukund Raghothaman (Proc. ACM Program. Lang., 2025)

Efficient Algorithms for the Uniform Tokenization Problem. - Wu Angela Li; Konstantinos Mamouras (Proc. ACM Program. Lang., 2025)

Regular Languages in the Sliding Window Model. - Moses Ganardi; Danny Hucke; Markus Lohrey; Konstantinos Mamouras; Tatiana Starikovskaya (TheoretiCS, 2025)