Sakshi Agrawal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2023
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). | Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty |
| 2021 | TACAS | VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). | Priyanka Darke, Sakshi Agrawal, R. Venkatesh |
| 2013 | ACSSC | Projection operator based removal of baseline wander noise from ECG signals. | Sakshi Agrawal, Anubha Gupta |