Konstantinos Mamouras

Available identifiers

zbMath Open mamouras.konstantinosMaRDI QIDQ2044208

List of research outcomes

Publication	Date of Publication	Type
Semantic Foundations for Deterministic Dataflow and Stream Processing	2022-10-13	Paper
Algebraic quantitative semantics for efficient online temporal monitoring	2021-08-04	Paper
Automata theory on sliding windows	2020-08-05	Paper
Automata-based stream processing	2020-05-27	Paper
Derivatives of quantitative regular expressions	2020-02-24	Paper
Streamable regular transductions	2020-01-22	Paper
KAT + B!	2018-04-23	Paper
On the Hoare theory of monadic recursion schemes	2018-04-23	Paper
Completeness and incompleteness in nominal Kleene algebra	2017-08-31	Paper
The Hoare logic of deterministic and nondeterministic monadic recursion schemes	2017-07-12	Paper
Equational theories of abnormal termination based on Kleene algebra	2017-05-19	Paper
Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism	2017-04-11	Paper
Kleene algebra with products and iteration theories	2017-02-02	Paper
Probabilistic NetKAT	2016-04-26	Paper
Completeness and incompleteness in nominal Kleene algebra	2016-01-08	Paper
Nominal Kleene coalgebra	2015-11-04	Paper
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism	2015-10-01	Paper
Kleene algebra with equations	2014-07-01	Paper

Research outcomes over time

This page was built for person: Konstantinos Mamouras