( en | de | ru )

 

Disambiguation of "Marcus, Ryan"

Author of the publication

copydeleteadd this publication to your clipboard
Vulcan: A JavaScript Automated Proof System

. (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Judith Ryan

Aisling Ryan

Ryan Beveridge

Lawrence John Ryan

John Ryan

 

Other publications of authors with the same name

CDFShop: Exploring and Optimizing Learned Index Structures., , and . SIGMOD Conference, page 2789-2792. ACM, (2020)aiDM'22: Fifth International Workshop on Exploiting Artificial Intelligence Techniques for Data Management., , , , and . SIGMOD Conference, page 2550-2551. ACM, (2022)ARDA: Automatic Relational Data Augmentation for Machine Learning., , , , , and . CoRR, (2020)A Learning-Based Service for Cost and Performance Management of Cloud Databases., , and . ICDE, page 1361-1362. IEEE Computer Society, (2017)Workload management for cloud databases via machine learning., and . ICDE Workshops, page 27-30. IEEE Computer Society, (2016)Stage: Query Execution Time Prediction in Amazon Redshift., , , , , , , , , and . SIGMOD Conference Companion, page 280-294. ACM, (2024)Vulcan: A JavaScript Automated Proof System. (2015)Context-Aware Parse Trees., , , , , , , , , and 1 other author(s). CoRR, (2020)LSI: a learned secondary index structure., , , , and . aiDM@SIGMOD, page 4:1-4:5. ACM, (2022)LEA: A Learned Encoding Advisor for Column Stores., , , and . aiDM@SIGMOD, page 32-35. ACM, (2021)