( en | de | ru )

 

Disambiguation of "Majumdar, Rupak"

Author of the publication

copydeleteadd this publication to your clipboard
On the Universal and Existential Fragments of the µ-Calculus.

, , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 49-64. Springer, (2003)

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.

Rupak Majumdar

Rupak Khadka

Sudipta Majumdar

Amitabha Majumdar

Marcus Majumdar

 

Other publications of authors with the same name

Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances., , , and . CoRR, (2017)FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . CoRR, (2018)FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . FMCAD, page 172-175. IEEE, (2017)Algorithms for Game Metrics (Full Version), , , and . Logical Methods in Computer Science, (2010)Thread-Modular Abstraction Refinement., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 262-274. Springer, (2003)Symbolic Algorithms for Infinite-State Games., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 536-550. Springer, (2001)Minimum Attention Controller Synthesis for Omega-Regular Objectives., and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 145-159. Springer, (2011)Quantifying Similarities Between Timed Systems., , and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 226-241. Springer, (2005)Time-Safety Checking for Embedded Programs., , , and . EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 76-92. Springer, (2002)Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility., and . CoRR, (2020)