Number of items: 4.
Kloos, Johannes and Majumdar, Rupak and McCabe, Frank
(2017)
Deferrability Analysis for JavaScript.
Kloos, Johannes and Majumdar, Rupak and Vafeiadis, Viktor
(2015)
Asynchronous Liquid Separation Types.
Kloos, Johannes and Majumdar, Rupak and Niksic, Filip and Piskac, Ruzica
(2013)
Incremental Inductive Coverability.
Kloos, Johannes and Majumdar, Rupak
(2013)
Supervisor Synthesis for Controller Upgrades.
This list was generated on Mon Mar 17 06:17:23 2025 CET.