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 Sat Mar 15 08:49:25 2025 CET.