Autor der Publikation

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

, , , , und . TASE, Seite 113-120. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Design Of Ble 2-Step Separate Channel Fingerprinting., , , , und . VTC Spring, Seite 1-6. IEEE, (2020)Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads., , , , , , und . PerCom Workshops, Seite 1-6. IEEE, (2020)An intelligent annotation-based image retrieval system based on RDF descriptions., , , und . Comput. Electr. Eng., (2017)An Object-Oriented Framework for Loop Parallelization., , und . J. Supercomput., 13 (1): 57-69 (1999)Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems., , , , und . IEICE Trans. Commun., 94-B (3): 649-657 (2011)Design and Evaluation of an Information Announcement Mechanism for Mobile Computers., , , und . MDA, Volume 1748 von Lecture Notes in Computer Science, Seite 135-145. Springer, (1999)Design of Acoustic Vehicle Detector with Steady-Noise Suppression., , , , und . ITSC, Seite 2848-2853. IEEE, (2019)A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems., , , , , und . IPIN, Seite 1-9. IEEE, (2012)Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh., , , , , , und . SMC, Seite 4130-4134. IEEE, (2016)Traceability Link for Product Line with RAS based Representation., , , , , und . Software Engineering Research and Practice, Seite 105-110. CSREA Press, (2010)