Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Konstantinos Mamouras

Showing results (1-10 of 3) with videos related to

Pageof 1
Sort By:
Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation|November 21, 2017
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming DataKonstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, et al.
Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation|October 25, 2019
Data-Trace Types for Distributed Stream Processing SystemsKonstantinos Mamouras, Caleb Stanford, Rajeev Alur, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics|December 12, 2018
Quantitative Regular Expressions for Arrhythmia DetectionHoussam Abbas, Alena Rodionova, Konstantinos Mamouras, et al.
Pageof 1

Showing results (1-10 of 3) with videos related to

Sort By:
Pageof 1
Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation|November 21, 2017
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming DataKonstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, et al.
Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation|October 25, 2019
Data-Trace Types for Distributed Stream Processing SystemsKonstantinos Mamouras, Caleb Stanford, Rajeev Alur, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics|December 12, 2018
Quantitative Regular Expressions for Arrhythmia DetectionHoussam Abbas, Alena Rodionova, Konstantinos Mamouras, et al.
Pageof 1