Search results for: S. Ramesh
Materials Research Bulletin > 2016 > 78 > C > 179-185
Ceramics International > 2016 > 42 > 8 > 9591-9598
Journal of Applied Polymer Science > 133 > 33 > n/a - n/a
Biosensors and Bioelectronics > 2016 > 79 > C > 763-775
Proceedings of the IEEE > 2016 > 104 > 5 > 904 - 922
Energy Conversion and Management > 2016 > 115 > C > 232-243
Ceramics International > 2016 > 42 > 6 > 7824-7829
Transboundary and Emerging Diseases > 63 > 3 > 314 - 320
Lecture Notes in Computer Science > Computer Aided Verification > Session 5: Tools – Dynamic Verification > 204-208
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 22-34
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods > 284-295
Lecture Notes in Computer Science > Hybrid Systems II > 436-461
Lecture Notes in Computer Science > Stochastic Algorithms: Foundations and Applications > Contributed Papers > 105-117
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 621-640