The following pages link to Roopsha Samanta (Q526751):
Displaying 10 items.
- Congruent Voronoi tessellations from equiangular lines (Q2381652) (← links)
- Lipschitz Robustness of Timed I/O Systems (Q2796054) (← links)
- Succinct Representation of Concurrent Trace Sets (Q2819829) (← links)
- Robustness Analysis of Networked Systems (Q2926646) (← links)
- Lipschitz Robustness of Finite-state Transducers (Q2978533) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- Robustness Analysis of String Transducers (Q5166704) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5915873) (← links)
- Synthesis of distributed agreement-based systems with efficiently-decidable verification (Q6536135) (← links)
