Author of the publication

EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

, , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 55-71. Springer, (2018)

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.

 

Other publications of authors with the same name

Improving Computerized Charting in an Intensive Care Unit., , , and . HCI (17), volume 10917 of Lecture Notes in Computer Science, page 537-546. Springer, (2018)Matroidal frameworks for topological Tutte polynomials., and . J. Comb. Theory B, (2018)SlideRule: Enabling rapid, scalable, open science for the NASA ICESat-2 mission and beyond., , , , , , , and . J. Open Source Softw., 8 (81): 4982 (January 2023)Systematizing security test case planning using functional requirements phrases.. ICSE, page 1136-1137. ACM, (2011)Scheduling Optimization for Resource-Intensive Web Requests on Server Clusters., , and . SPAA, page 13-22. ACM, (1999)Topological Nearest-Neighbor Filtering for Sampling-Based Planners., , , , and . ICRA, page 3053-3060. IEEE, (2018)Demonstrating a New Flood Observing Strategy on the NOS Testbed., , , , , , , , , and 2 other author(s). IGARSS, page 5309-5312. IEEE, (2022)Emergent Stories in Massively Multiplayer Online Games: Using Improvisational Techniques to Design for Emotional Impact., , , , and . ICEC, volume 3166 of Lecture Notes in Computer Science, page 359-362. Springer, (2004)TetraTetris: A Study of Multi-User Touch-Based Interaction Using DiamondTouch., , , , , and . INTERACT, IOS Press, (2003)On complete classes of valuated matroids., , , and . SODA, page 945-962. SIAM, (2022)