Konstantinos Mamouras

According to our database1, Konstantinos Mamouras
  • authored at least 22 papers between 2008 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Automata Theory on Sliding Windows.
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

2017
An Introduction to the StreamQRE Language.
Dependable Software Systems Engineering, 2017

Completeness and incompleteness in nominal Kleene algebra.
J. Log. Algebr. Meth. Program., 2017

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automata-Based Stream Processing.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Equational Theories of Abnormal Termination Based on Kleene Algebra.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Derivatives of Quantitative Regular Expressions.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.
ACM Trans. Comput. Log., 2016

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.
Logical Methods in Computer Science, 2016

Probabilistic NetKAT.
Proceedings of the Programming Languages and Systems, 2016

2015
Nominal Kleene Coalgebra.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

Completeness and Incompleteness in Nominal Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
Kleene Algebra with Equations.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

On the Hoare theory of monadic recursion schemes.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

KAT + B!
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013
Kleene Algebra with Products and Iteration Theories.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012
The Complexity of Social Coordination.
PVLDB, 2012

Dynamic QoS-aware data replication in grid environments based on data "importance".
Future Generation Comp. Syst., 2012

The Complexity of Social Coordination
CoRR, 2012

2011
A Corpus Based Technique for Repairing Ill-formed Sentences with Word Order Errors Using Co-Occurrences of n-Grams.
International Journal on Artificial Intelligence Tools, 2011

2008
Sentence-Level Evaluation Using Co-occurences of N-Grams.
Proceedings of the Artificial Neural Networks, 2008


  Loading...