Roopsha Samanta

Available identifiers

zbMath Open samanta.roopshaMaRDI QIDQ526751

List of research outcomes

Publication	Date of Publication	Type
Synthesis of distributed agreement-based systems with efficiently-decidable verification	2024-04-05	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2018-03-01	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2017-05-15	Paper
Lipschitz Robustness of Finite-state Transducers	2017-04-25	Paper
Succinct representation of concurrent trace sets	2016-09-29	Paper
Lipschitz Robustness of Timed I/O Systems	2016-03-23	Paper
Robustness Analysis of Networked Systems	2014-11-03	Paper
Robustness Analysis of String Transducers	2014-07-08	Paper
An Algorithmic Framework for Synthesis of Concurrent Programs	2011-10-07	Paper
Congruent Voronoi tessellations from equiangular lines	2007-09-18	Paper

Research outcomes over time

This page was built for person: Roopsha Samanta