Search results for: Pallab Dasgupta
Journal of Cryptographic Engineering > 2019 > 9 > 3 > 203-219
Control Theory and Technology > 2018 > 16 > 3 > 173-190
Journal of the Geological Society of India > 2017 > 90 > 2 > 154-158
IEEE Transactions on Intelligent Transportation Systems > 2017 > 18 > 3 > 678 - 689
IEEE Embedded Systems Letters > 2016 > 8 > 4 > 77 - 80
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 11 > 1928 - 1941
Journal of Applied Logic > 2016 > 18 > C > 71-104
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 147-155
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 22-36
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 228-233
Lecture Notes in Computer Science > Distributed Computing - IWDC 2004 > Session II A: Distributed Systems > 102-113
Lecture Notes in Computer Science > Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation > Poster 2 > 573-582
Lecture Notes in Computer Science > High Performance Computing – HiPC’99 > Session II-B: Scheduling > 143-150
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 222-227