Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Konstantinos Mamouras
@article{DBLP:journals/pacmpl/MamourasC24,
author = {Konstantinos Mamouras and
Agnishom Chattopadhyay},
title = {Efficient Matching of Regular Expressions with Lookaround Assertions},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {2761--2791},
year = {2024},
url = {https://doi.org/10.1145/3632934},
doi = {10.1145/3632934},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MamourasC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13385,
author = {Moses Ganardi and
Danny Hucke and
Markus Lohrey and
Konstantinos Mamouras and
Tatiana Starikovskaya},
title = {Regular Languages in the Sliding Window Model},
journal = {CoRR},
volume = {abs/2402.13385},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13385},
doi = {10.48550/ARXIV.2402.13385},
eprinttype = {arXiv},
eprint = {2402.13385},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GlaunecKM23,
author = {Alexis Le Glaunec and
Lingkun Kong and
Konstantinos Mamouras},
title = {Regular Expression Matching using Bit Vector Automata},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {492--521},
year = {2023},
url = {https://doi.org/10.1145/3586044},
doi = {10.1145/3586044},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GlaunecKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MamourasCW23,
author = {Konstantinos Mamouras and
Agnishom Chattopadhyay and
Zhifu Wang},
title = {A compositional framework for algebraic quantitative online monitoring
over continuous-time signals},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {4},
pages = {557--573},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00719-w},
doi = {10.1007/S10009-023-00719-W},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/MamourasCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/HuangKCCK0MW0L23,
author = {Yi Huang and
Lingkun Kong and
Dibei Chen and
Zhiyu Chen and
Xiangyu Kong and
Jianfeng Zhu and
Konstantinos Mamouras and
Shaojun Wei and
Kaiyuan Yang and
Leibo Liu},
title = {{CASA:} An Energy-Efficient and High-Speed CAM-based {SMEM} Seeding
Accelerator for Genome Alignment},
booktitle = {Proceedings of the 56th Annual {IEEE/ACM} International Symposium
on Microarchitecture, {MICRO} 2023, Toronto, ON, Canada, 28 October
2023 - 1 November 2023},
pages = {1423--1436},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3613424.3614313},
doi = {10.1145/3613424.3614313},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micro/HuangKCCK0MW0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JeanninCMM22,
author = {Jean{-}Baptiste Jeannin and
Jiawei Chen and
Jos{\'{e}} Luiz Vargas de Mendon{\c{c}}a and
Konstantinos Mamouras},
title = {Work-in-Progress: Towards a Theory of Robust Quantitative Semantics
for Signal Temporal Logic},
booktitle = {International Conference on Embedded Software, {EMSOFT} 2022, Shanghai,
China, October 7-14, 2022},
pages = {11--12},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EMSOFT55006.2022.00013},
doi = {10.1109/EMSOFT55006.2022.00013},
timestamp = {Mon, 14 Nov 2022 17:06:22 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/JeanninCMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KongYCGHM022,
author = {Lingkun Kong and
Qixuan Yu and
Agnishom Chattopadhyay and
Alexis Le Glaunec and
Yi Huang and
Konstantinos Mamouras and
Kaiyuan Yang},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Software-hardware codesign for efficient in-memory regular pattern
matching},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {733--748},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523456},
doi = {10.1145/3519939.3523456},
timestamp = {Fri, 03 Jun 2022 08:25:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KongYCGHM022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05686,
author = {Lingkun Kong and
Qixuan Yu and
Agnishom Chattopadhyay and
Alexis Le Glaunec and
Yi Huang and
Konstantinos Mamouras and
Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern
Matching},
journal = {CoRR},
volume = {abs/2209.05686},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05686},
doi = {10.48550/ARXIV.2209.05686},
eprinttype = {arXiv},
eprint = {2209.05686},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/VasilakisKMBC21,
author = {Nikos Vasilakis and
Konstantinos Kallas and
Konstantinos Mamouras and
Achilles Benetopoulos and
Lazar Cvetkovic},
editor = {Antonio Barbalace and
Pramod Bhatotia and
Lorenzo Alvisi and
Cristian Cadar},
title = {PaSh: light-touch data-parallel shell processing},
booktitle = {EuroSys '21: Sixteenth European Conference on Computer Systems, Online
Event, United Kingdom, April 26-28, 2021},
pages = {49--66},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447786.3456228},
doi = {10.1145/3447786.3456228},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/VasilakisKMBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AlurHIKMNSTX21,
author = {Rajeev Alur and
Phillip Hilliard and
Zachary G. Ives and
Konstantinos Kallas and
Konstantinos Mamouras and
Filip Niksic and
Caleb Stanford and
Val Tannen and
Anton Xue},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {Synchronization Schemas},
booktitle = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
on Principles of Database Systems, Virtual Event, China, June 20-25,
2021},
pages = {1--18},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3458317},
doi = {10.1145/3452021.3458317},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AlurHIKMNSTX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MamourasCW21,
author = {Konstantinos Mamouras and
Agnishom Chattopadhyay and
Zhifu Wang},
editor = {Lu Feng and
Dana Fisman},
title = {A Compositional Framework for Quantitative Online Monitoring over
Continuous-Time Signals},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {142--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_8},
doi = {10.1007/978-3-030-88494-9\_8},
timestamp = {Thu, 07 Oct 2021 16:28:30 +0200},
biburl = {https://dblp.org/rec/conf/rv/MamourasCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MamourasCW21,
author = {Konstantinos Mamouras and
Agnishom Chattopadhyay and
Zhifu Wang},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {330--348},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_18},
doi = {10.1007/978-3-030-72016-2\_18},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MamourasCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KongM20,
author = {Lingkun Kong and
Konstantinos Mamouras},
title = {StreamQL: a query language for processing streaming time series},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {183:1--183:32},
year = {2020},
url = {https://doi.org/10.1145/3428251},
doi = {10.1145/3428251},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KongM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MamourasW20,
author = {Konstantinos Mamouras and
Zhifu Wang},
title = {Online Signal Monitoring With Bounded Lag},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3868--3880},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3013053},
doi = {10.1109/TCAD.2020.3013053},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/MamourasW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurFMRS20,
author = {Rajeev Alur and
Dana Fisman and
Konstantinos Mamouras and
Mukund Raghothaman and
Caleb Stanford},
title = {Streamable regular transductions},
journal = {Theor. Comput. Sci.},
volume = {807},
pages = {15--41},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.11.018},
doi = {10.1016/J.TCS.2019.11.018},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurFMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Mamouras20,
author = {Konstantinos Mamouras},
editor = {Peter M{\"{u}}ller},
title = {Semantic Foundations for Deterministic Dataflow and Stream Processing},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {394--427},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_15},
doi = {10.1007/978-3-030-44914-8\_15},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/Mamouras20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChattopadhyayM20,
author = {Agnishom Chattopadhyay and
Konstantinos Mamouras},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {A Verified Online Monitor for Metric Temporal Logic with Quantitative
Semantics},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {383--403},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_21},
doi = {10.1007/978-3-030-60508-7\_21},
timestamp = {Fri, 09 Oct 2020 16:55:45 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChattopadhyayM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09436,
author = {Nikos Vasilakis and
Konstantinos Kallas and
Konstantinos Mamouras and
Achilleas Benetopoulos and
Lazar Cvetkovich},
title = {PaSh: Light-touch Data-Parallel Shell Processing},
journal = {CoRR},
volume = {abs/2007.09436},
year = {2020},
url = {https://arxiv.org/abs/2007.09436},
eprinttype = {arXiv},
eprint = {2007.09436},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-07917,
author = {Daniel W. Song and
Konstantinos Mamouras and
Ang Chen and
Nathan Dautenhahn and
Dan S. Wallach},
title = {The Design and Implementation of a Verified File System with End-to-End
Data Integrity},
journal = {CoRR},
volume = {abs/2012.07917},
year = {2020},
url = {https://arxiv.org/abs/2012.07917},
eprinttype = {arXiv},
eprint = {2012.07917},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-07917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlurMS19,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford},
title = {Modular quantitative monitoring},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {50:1--50:31},
year = {2019},
url = {https://doi.org/10.1145/3290363},
doi = {10.1145/3290363},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlurMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/AbbasRMBSG19,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Konstantinos Mamouras and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Quantitative Regular Expressions for Arrhythmia Detection},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {5},
pages = {1586--1597},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2885274},
doi = {10.1109/TCBB.2018.2885274},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/AbbasRMBSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MamourasSAIT19,
author = {Konstantinos Mamouras and
Caleb Stanford and
Rajeev Alur and
Zachary G. Ives and
Val Tannen},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Data-trace types for distributed stream processing systems},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {670--685},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314580},
doi = {10.1145/3314221.3314580},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MamourasSAIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Real-Time Decision Policies With Predictable Performance},
journal = {Proc. {IEEE}},
volume = {106},
number = {9},
pages = {1593--1615},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2018.2853608},
doi = {10.1109/JPROC.2018.2853608},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurMST18,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford and
Val Tannen},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Interfaces for Stream Processing Systems},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {38--60},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_3},
doi = {10.1007/978-3-319-95246-8\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlurMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {1--2},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00007},
doi = {10.1109/MT-CPS.2018.00007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GanardiHKLM18,
author = {Moses Ganardi and
Danny Hucke and
Daniel K{\"{o}}nig and
Markus Lohrey and
Konstantinos Mamouras},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Automata Theory on Sliding Windows},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {31:1--31:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.31},
doi = {10.4230/LIPICS.STACS.2018.31},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GanardiHKLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03865,
author = {Rajeev Alur and
Dana Fisman and
Konstantinos Mamouras and
Mukund Raghothaman and
Caleb Stanford},
title = {Streamable Regular Transductions},
journal = {CoRR},
volume = {abs/1807.03865},
year = {2018},
url = {http://arxiv.org/abs/1807.03865},
eprinttype = {arXiv},
eprint = {1807.03865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KozenMS17,
author = {Dexter Kozen and
Konstantinos Mamouras and
Alexandra Silva},
title = {Completeness and incompleteness in nominal Kleene algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {91},
pages = {17--32},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.06.002},
doi = {10.1016/J.JLAMP.2017.06.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KozenMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurMU17,
author = {Rajeev Alur and
Konstantinos Mamouras and
Dogan Ulus},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Derivatives of Quantitative Regular Expressions},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {75--95},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_4},
doi = {10.1007/978-3-319-63121-9\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlurMU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Mamouras17,
author = {Konstantinos Mamouras},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Equational Theories of Abnormal Termination Based on Kleene Algebra},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {88--105},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_6},
doi = {10.1007/978-3-662-54458-7\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Mamouras17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurMS17,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Automata-Based Stream Processing},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {112:1--112:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.112},
doi = {10.4230/LIPICS.ICALP.2017.112},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MamourasRAIK17,
author = {Konstantinos Mamouras and
Mukund Raghothaman and
Rajeev Alur and
Zachary G. Ives and
Sanjeev Khanna},
editor = {Albert Cohen and
Martin T. Vechev},
title = {StreamQRE: modular specification and efficient evaluation of quantitative
queries over streaming data},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {693--708},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062369},
doi = {10.1145/3062341.3062369},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MamourasRAIK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurM17,
author = {Rajeev Alur and
Konstantinos Mamouras},
editor = {Alexander Pretschner and
Doron Peled and
Thomas Hutzelmann},
title = {An Introduction to the StreamQRE Language},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {50},
pages = {1--24},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-810-5-1},
doi = {10.3233/978-1-61499-810-5-1},
timestamp = {Tue, 06 Aug 2019 09:52:02 +0200},
biburl = {https://dblp.org/rec/series/natosec/AlurM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mamouras16,
author = {Konstantinos Mamouras},
title = {Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic
Nondeterminism},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:6)2016},
doi = {10.2168/LMCS-12(3:6)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Mamouras16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Mamouras16,
author = {Konstantinos Mamouras},
title = {The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion
Schemes},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {2},
pages = {13},
year = {2016},
url = {https://doi.org/10.1145/2835491},
doi = {10.1145/2835491},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Mamouras16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FosterKMR016,
author = {Nate Foster and
Dexter Kozen and
Konstantinos Mamouras and
Mark Reitblatt and
Alexandra Silva},
editor = {Peter Thiemann},
title = {Probabilistic NetKAT},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {282--309},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_12},
doi = {10.1007/978-3-662-49498-1\_12},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/FosterKMR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Mamouras15,
author = {Konstantinos Mamouras},
title = {Extensions of Kleene Algebra for Program Verification},
school = {Cornell University, {USA}},
year = {2015},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Mamouras15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KozenM015,
author = {Dexter Kozen and
Konstantinos Mamouras and
Alexandra Silva},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Completeness and Incompleteness in Nominal Kleene Algebra},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {51--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_4},
doi = {10.1007/978-3-319-24704-5\_4},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/KozenM015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Mamouras15,
author = {Konstantinos Mamouras},
editor = {Andrew M. Pitts},
title = {Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {25--40},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_2},
doi = {10.1007/978-3-662-46678-0\_2},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Mamouras15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenMP015,
author = {Dexter Kozen and
Konstantinos Mamouras and
Daniela Petrisan and
Alexandra Silva},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Nominal Kleene Coalgebra},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {286--298},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_23},
doi = {10.1007/978-3-662-47666-6\_23},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KozenMP015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GrathwohlKM14,
author = {Niels Bj{\o}rn Bugge Grathwohl and
Dexter Kozen and
Konstantinos Mamouras},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {{KAT} + B!},
booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {44:1--44:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603095},
doi = {10.1145/2603088.2603095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/GrathwohlKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Mamouras14,
author = {Konstantinos Mamouras},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {On the Hoare theory of monadic recursion schemes},
booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {69:1--69:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603157},
doi = {10.1145/2603088.2603157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Mamouras14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KozenM14,
author = {Dexter Kozen and
Konstantinos Mamouras},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Kleene Algebra with Equations},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {280--292},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_24},
doi = {10.1007/978-3-662-43951-7\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KozenM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenM13,
author = {Dexter Kozen and
Konstantinos Mamouras},
editor = {Simona Ronchi Della Rocca},
title = {Kleene Algebra with Products and Iteration Theories},
booktitle = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
2013, Torino, Italy},
series = {LIPIcs},
volume = {23},
pages = {415--431},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.CSL.2013.415},
doi = {10.4230/LIPICS.CSL.2013.415},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KozenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AndronikouMTKV12,
author = {Vassiliki Andronikou and
Konstantinos Mamouras and
Konstantinos Tserpes and
Dimosthenis Kyriazis and
Theodora A. Varvarigou},
title = {Dynamic QoS-aware data replication in grid environments based on data
"importance"},
journal = {Future Gener. Comput. Syst.},
volume = {28},
number = {3},
pages = {544--553},
year = {2012},
url = {https://doi.org/10.1016/j.future.2011.02.003},
doi = {10.1016/J.FUTURE.2011.02.003},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/AndronikouMTKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MamourasOSKG12,
author = {Konstantinos Mamouras and
Sigal Oren and
Lior Seeman and
Lucja Kot and
Johannes Gehrke},
title = {The Complexity of Social Coordination},
journal = {Proc. {VLDB} Endow.},
volume = {5},
number = {11},
pages = {1172--1183},
year = {2012},
url = {http://vldb.org/pvldb/vol5/p1172\_konstantinosmamouras\_vldb2012.pdf},
doi = {10.14778/2350229.2350237},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/MamourasOSKG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0080,
author = {Konstantinos Mamouras and
Sigal Oren and
Lior Seeman and
Lucja Kot and
Johannes Gehrke},
title = {The Complexity of Social Coordination},
journal = {CoRR},
volume = {abs/1208.0080},
year = {2012},
url = {http://arxiv.org/abs/1208.0080},
eprinttype = {arXiv},
eprint = {1208.0080},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/AthanaselisMBD11,
author = {Theologos Athanaselis and
Konstantinos Mamouras and
Stelios Bakamidis and
Ioannis Dologlou},
title = {A Corpus Based Technique for Repairing Ill-formed Sentences with Word
Order Errors Using Co-Occurrences of n-Grams},
journal = {Int. J. Artif. Intell. Tools},
volume = {20},
number = {3},
pages = {401--424},
year = {2011},
url = {https://doi.org/10.1142/S0218213011000218},
doi = {10.1142/S0218213011000218},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/AthanaselisMBD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/AthanaselisBMD08,
author = {Theologos Athanaselis and
Stelios Bakamidis and
Konstantinos Mamouras and
Ioannis Dologlou},
editor = {Vera Kurkov{\'{a}} and
Roman Neruda and
Jan Koutn{\'{\i}}k},
title = {Sentence-Level Evaluation Using Co-occurences of N-Grams},
booktitle = {Artificial Neural Networks - {ICANN} 2008 , 18th International Conference,
Prague, Czech Republic, September 3-6, 2008, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5163},
pages = {750--758},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87536-9\_77},
doi = {10.1007/978-3-540-87536-9\_77},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/icann/AthanaselisBMD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:53 CEST 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:
