IS

Indranil Saha

Indian Institute of Technology Kanpur 0000-0002-1329-8286

79

Publications

1,704

Citations

20

h-index

34

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (57)
Preprint (13)
Book Chapter (9)

Filter by Open Access Type

Open Access (23)
Closed Access (56)

Filter by Authors

Indranil Saha (79)
Rupak Majumdar (18)
Suman Roy (8)
Sanjit A. Seshia (6)
Debapriyay Mukhopadhyay (6)

Filter by Topics

Formal Methods in Verification (33)
Robotic Path Planning Algorithms (21)
Software Testing and Debugging Techniques (14)
Real-Time Systems Scheduling (12)
Modular Robots and Swarm Intelligence (9)