Rupak Majumdar

From MaRDI portal

Revision as of 02:08, 30 November 2025 by Import251130011104 (talk | contribs) (Import251130011104 moved page Rupak Majumdar to Rupak Majumdar: Move profile page according to new naming schema. Job import251130011104)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Available identifiers

zbMath Open majumdar.rupak.6MaRDI QIDQ6771277

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Analysis of Asynchronous Programs with Event-Based Synchronization	2016-04-26	Paper
An SMT-Based Approach to Coverability Analysis	2014-09-29	Paper
Expand, Enlarge, and Check for Branching Vector Addition Systems	2013-08-12	Paper
Bounded underapproximations	2012-09-27	Paper

Research outcomes over time

This page was built for person: Rupak Majumdar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Rupak_Majumdar&oldid=45157797"