Nehul Jain

According to our database, Nehul Jain authored at least 4 papers between 2013 and 2025.

Collaborative distances:

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

2025

Asynchronous Transition System Games for Two Processes and Their Analysis.

Bharat Adsul, Nehul Jain

Proceedings of the Logic and Its Applications - 11th Indian Conference, 2025

Distributed Games with a Central Decision Maker.

Bharat Adsul, Nehul Jain

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2024

Non-deterministic asynchronous automata games and their undecidability.

Bharat Adsul, Nehul Jain

CoRR, 2024

2013

Using Daikon to Prioritize and Group Unit Bugs.

Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013