Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKonstantinos Mamouras
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c25]Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras:
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. EMSOFT 2022: 11-12- [c24]Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang:
Software-hardware codesign for efficient in-memory regular pattern matching. PLDI 2022: 733-748 - [i5]Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang:
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching. CoRR abs/2209.05686 (2022) - 2021
- [c23]Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic:
PaSh: light-touch data-parallel shell processing. EuroSys 2021: 49-66 - [c22]Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford
, Val Tannen, Anton Xue:
Synchronization Schemas. PODS 2021: 1-18 - [c21]Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang:
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. RV 2021: 142-163 - [c20]Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang:
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. TACAS (1) 2021: 330-348 - 2020
- [j12]Lingkun Kong, Konstantinos Mamouras:
StreamQL: a query language for processing streaming time series. Proc. ACM Program. Lang. 4(OOPSLA): 183:1-183:32 (2020) - [j11]Konstantinos Mamouras, Zhifu Wang:
Online Signal Monitoring With Bounded Lag. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3868-3880 (2020) - [j10]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable regular transductions. Theor. Comput. Sci. 807: 15-41 (2020) - [c19]Konstantinos Mamouras:
Semantic Foundations for Deterministic Dataflow and Stream Processing. ESOP 2020: 394-427 - [c18]Agnishom Chattopadhyay, Konstantinos Mamouras:
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. RV 2020: 383-403 - [i4]Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilleas Benetopoulos, Lazar Cvetkovich:
PaSh: Light-touch Data-Parallel Shell Processing. CoRR abs/2007.09436 (2020) - [i3]Daniel W. Song, Konstantinos Mamouras, Ang Chen, Nathan Dautenhahn, Dan S. Wallach:
The Design and Implementation of a Verified File System with End-to-End Data Integrity. CoRR abs/2012.07917 (2020)
2010 – 2019
- 2019
- [j9]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford:
Modular quantitative monitoring. Proc. ACM Program. Lang. 3(POPL): 50:1-50:31 (2019) - [j8]Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1586-1597 (2019) - [c17]Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen:
Data-trace types for distributed stream processing systems. PLDI 2019: 670-685 - 2018
- [j7]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106(9): 1593-1615 (2018) - [c16]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen:
Interfaces for Stream Processing Systems. Principles of Modeling 2018: 38-60 - [c15]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek 2018: 1-2 - [c14]Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey, Konstantinos Mamouras:
Automata Theory on Sliding Windows. STACS 2018: 31:1-31:14 - [i2]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable Regular Transductions. CoRR abs/1807.03865 (2018) - 2017
- [j6]Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and incompleteness in nominal Kleene algebra. J. Log. Algebraic Methods Program. 91: 17-32 (2017) - [c13]Rajeev Alur, Konstantinos Mamouras, Dogan Ulus:
Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools 2017: 75-95 - [c12]Konstantinos Mamouras:
Equational Theories of Abnormal Termination Based on Kleene Algebra. FoSSaCS 2017: 88-105 - [c11]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford:
Automata-Based Stream Processing. ICALP 2017: 112:1-112:15 - [c10]Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna:
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. PLDI 2017: 693-708 - [p1]Rajeev Alur, Konstantinos Mamouras:
An Introduction to the StreamQRE Language. Dependable Software Systems Engineering 2017: 1-24 - 2016
- [j5]Konstantinos Mamouras:
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism. Log. Methods Comput. Sci. 12(3) (2016) - [j4]Konstantinos Mamouras:
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. ACM Trans. Comput. Log. 17(2): 13 (2016) - [c9]Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva:
Probabilistic NetKAT. ESOP 2016: 282-309 - 2015
- [b1]Konstantinos Mamouras:
Extensions of Kleene Algebra for Program Verification. Cornell University, USA, 2015 - [c8]Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and Incompleteness in Nominal Kleene Algebra. RAMiCS 2015: 51-66 - [c7]Konstantinos Mamouras:
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. FoSSaCS 2015: 25-40 - [c6]Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva:
Nominal Kleene Coalgebra. ICALP (2) 2015: 286-298 - 2014
- [c5]Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras:
KAT + B! CSL-LICS 2014: 44:1-44:10 - [c4]Konstantinos Mamouras:
On the Hoare theory of monadic recursion schemes. CSL-LICS 2014: 69:1-69:10 - [c3]Dexter Kozen, Konstantinos Mamouras:
Kleene Algebra with Equations. ICALP (2) 2014: 280-292 - 2013
- [c2]Dexter Kozen, Konstantinos Mamouras:
Kleene Algebra with Products and Iteration Theories. CSL 2013: 415-431 - 2012
- [j3]Vassiliki Andronikou, Konstantinos Mamouras, Konstantinos Tserpes, Dimosthenis Kyriazis, Theodora A. Varvarigou:
Dynamic QoS-aware data replication in grid environments based on data "importance". Future Gener. Comput. Syst. 28(3): 544-553 (2012) - [j2]Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke:
The Complexity of Social Coordination. Proc. VLDB Endow. 5(11): 1172-1183 (2012) - [i1]Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke:
The Complexity of Social Coordination. CoRR abs/1208.0080 (2012) - 2011
- [j1]Theologos Athanaselis, Konstantinos Mamouras, Stelios Bakamidis, Ioannis Dologlou:
A Corpus Based Technique for Repairing Ill-formed Sentences with Word Order Errors Using Co-Occurrences of n-Grams. Int. J. Artif. Intell. Tools 20(3): 401-424 (2011)
2000 – 2009
- 2008
- [c1]Theologos Athanaselis, Stelios Bakamidis, Konstantinos Mamouras, Ioannis Dologlou:
Sentence-Level Evaluation Using Co-occurences of N-Grams. ICANN (1) 2008: 750-758
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-03-25 01:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
