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

Rajeev Alur

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

Pageof 1
Sort By:
IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society|August 8, 2009
Active learning of plans for safety and reachability goals with partial observabilityWonhong Nam, Rajeev Alur
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.
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.
Arxiv|March 11, 2026
CAMEL: An ECG Language Model for Forecasting Cardiac EventsNeelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, et al.
Pageof 1

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

Sort By:
Pageof 1
IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society|August 8, 2009
Active learning of plans for safety and reachability goals with partial observabilityWonhong Nam, Rajeev Alur
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.
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.
Arxiv|March 11, 2026
CAMEL: An ECG Language Model for Forecasting Cardiac EventsNeelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, et al.
Pageof 1