PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Majumdar, Rupak"

Author of the publication

copydeleteadd this publication to your clipboard
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.

, , , , , and . CHI Extended Abstracts, ACM, (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.

Ganesh Deepak Rupakula University of Stuttgart

 

Other publications of authors with the same name

Code aware resource management., , , , and . Formal Methods in System Design, 42 (2): 146-174 (2013)Towards Robustness for Cyber-Physical Systems., , , and . IEEE Trans. Automat. Contr., 59 (12): 3151-3163 (2014)Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 27 (10): 1751-1760 (2008)On the universal and existential fragments of the mu-calculus., , and . Theor. Comput. Sci., 354 (2): 173-186 (2006)Fair watermarking using combinatorial isolation lemmas., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 23 (11): 1566-1574 (2004)VCG with Communities on Random Ad Hoc Networks., , , and . IJDSN, (2011)FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . CoRR, (2018)Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances., , , and . CoRR, (2017)The software model checker Blast., , , and . STTT, 9 (5-6): 505-525 (2007)Parameterized Verification of Asynchronous Shared-Memory Systems., , and . J. ACM, 63 (1): 10:1-10:48 (2016)