Sayantan Das

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2016
The Effect of Amplitude Modulation on the Axial Resolution of Doppler-Based Ultrasonic Topography Measurement.
IEEE Trans. Instrum. Meas., 2016

2014
Minimum-Weight Edge Discriminators in Hypergraphs.
Electron. J. Comb., 2014

2006
Synthesis of system verilog assertions.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

Test generation games from formal specifications.
Proceedings of the 43rd Design Automation Conference, 2006


  Loading...