Publications
Page 8 of 8.
Vladimir Herdt; Hoang M. Le; Rolf Drechsler
In: Design Automation Conference (DAC). Design Automation Conference (DAC), June 7-11, San Francisco, USA, 2015.
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, …
Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt
In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.
Hoang m. Le; Daniel Große; Vladimir Herdt; Rolf Drechsler
In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13), May 14-16, Dresden, Germany, VDE, 2013.
Overview
Team
Projects
News
Jobs
Website
Phone: +49 421 17845 0 Fax: +49 421 17845 4150robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Germany