Author of the publication

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

, , , , and . TASE, page 113-120. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Object-Oriented Framework for Loop Parallelization., , and . J. Supercomput., 13 (1): 57-69 (1999)Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads., , , , , , and . PerCom Workshops, page 1-6. IEEE, (2020)Design Of Ble 2-Step Separate Channel Fingerprinting., , , , and . VTC Spring, page 1-6. IEEE, (2020)Design of Acoustic Vehicle Detector with Steady-Noise Suppression., , , , and . ITSC, page 2848-2853. IEEE, (2019)A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems., , , , , and . IPIN, page 1-9. IEEE, (2012)Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh., , , , , , and . SMC, page 4130-4134. IEEE, (2016)An intelligent annotation-based image retrieval system based on RDF descriptions., , , and . Comput. Electr. Eng., (2017)Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems., , , , and . IEICE Trans. Commun., 94-B (3): 649-657 (2011)Evaluation of Caching Algorithm for NetNews., , and . Applied Informatics, page 175-182. IASTED/ACTA Press, (1999)A Power Aware Paging Scheme with Power Controlling Each Memory Bank., , and . PDPTA, page 1912-1918. CSREA Press, (2002)