Rupak Majumdar: Difference between revisions
From MaRDI portal
Created automatically from import251125111103 |
m Import251130011104 moved page Rupak Majumdar to Rupak Majumdar: Move profile page according to new naming schema. Job import251130011104 |
||
(No difference)
| |||
Latest revision as of 02:08, 30 November 2025
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
