Jay Thakkar

According to our database, Jay Thakkar authored at least 4 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computational Thinking Based STEM Art Exhibits.

Jay Thakkar, Manish Jain

Proceedings of the Creative Mathematical Sciences Communication: 7th International Conference, 2024

2021

SMT-Based Verification of Safety-Critical Embedded Control Software.

Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2021

2015

Non-deterministic transducer models of retransmission protocols over noisy channels.

Jay Thakkar, Aditya Kanade

Inf. Process. Lett., 2015

2013

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

Jay Thakkar, Aditya Kanade, Rajeev Alur

Proceedings of the Formal Techniques for Distributed Systems, 2013