Rüdiger Ebendt
According to our database1,
Rüdiger Ebendt
authored at least 25 papers
between 2003 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
2017
Proceedings of the Intelligent Transport Systems - From Research and Development to the Market Uptake, 2017
2016
Proceedings of the Challenge of Transport Telematics, 2016
2014
Proceedings of the Telematics - Support for Transport, 2014
Proceedings of the Telematics - Support for Transport, 2014
2012
Proceedings of the Telematics in the Transport Environment, 2012
Dynamische Neuplanung der Touren von Express Trucksunter Einbeziehung einer FCD-basierten Verkehrslage.
Proceedings of the Multikonferenz Wirtschaftsinformatik 2012: Tagungsband der MKWI 2012, Braunschweig, Germany, February 29, 2012
2010
Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
2009
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009
2007
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006
2005
Combining ordered best-first search with branch and bound for exact BDD minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
Proceedings of the VLSI-SoC: From Systems To Silicon, 2005
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
PhD thesis, 2004
A Tight Lower Bound for Dynamic BDD Reordering.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
2003
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
Proceedings of the 2003 Design, 2003