| Power efficient, bandwidth optimized and fault tolerant sensor management for IOT in Smart Home PK Choubey, S Pateria, A Saxena, VPC SB, KK Jha, SB PM 2015 IEEE International Advance Computing Conference (IACC), 366-370, 2015 | 41 | 2015 |
| Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition S Gupta, A Saxena, A Mahajan, S Bansal Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 22 | 2018 |
| Modular fixture planning for minimum three-dimensional tolerances using a neutral part data exchange format S Bansal, P Malik, NV Reddy, A Saxena International Journal of Production Research 46 (6), 1455-1476, 2008 | 15 | 2008 |
| Multiple mixer based multi cycle layer composition for power efficient display pipeline S Pateria, A Saxena, KK Jha 2015 International Conference on Computing and Network Communications …, 2015 | | 2015 |
| Automated Modular Fixture Planning S Bansal, P Malik, NV Reddy, A Saxena | | |
