Search results for: V. Ramakrishnan
NeuroMolecular Medicine > 2017 > 19 > 2-3 > 452-461
Waste and Biomass Valorization > 2018 > 9 > 11 > 2003-2014
Graphene Technology > 2017 > 2 > 1-2 > 29-40
Cardiovascular Engineering and Technology > 2017 > 8 > 2 > 229-235
Lecture Notes in Computer Science > Web Engineering > 516-520
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 74-88
Lecture Notes in Computer Science > Logic Programming > Posters > 500-501
Lecture Notes in Computer Science > Functional and Logic Programming > Refereed Papers Logic and Functional-Logic Programming > 24-38
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 158-159
Lecture Notes in Computer Science > Foundation of Software Technology and Theoretical Computer Science > 288-299
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187