( en | de | ru )

 

Disambiguierung von "Becker, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From DQBF to QBF by Dependency Elimination.

, , , , und . MBMV, Universität Tübingen, (2018)

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.

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

 

Weitere Publikationen von Autoren mit dem selben Namen

Technische Informatik - eine Einführung., , und . Pearson Studium Pearson Education, (2005)Beiträge zur Analyse der Digitalisierung aus Innovationsperspektive., und . Discussion Papers, (Dezember 2020)A Genetic Algorithm for the Construction of Small and Highly Testable OKFDD Circuits, , und . Genetic Programming 1996: Proceedings of the First Annual Conference, Seite 473--478. Stanford University, CA, USA, MIT Press, (28--31 July 1996)A Fast Optimal Robust Path Delay Fault Testable Adder., , , und . ED&TC, Seite 491-499. IEEE Computer Society, (1996)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , und . MBMV, Universität Tübingen, (2018)A Feature and Classifier Study for Appliance Event Classification., , und . SESC, Volume 425 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 99-116. Springer, (2021)Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor., , , , , und . ATS, Seite 73-78. IEEE, (2021)Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing., , , , , und . ETS, Seite 1-5. IEEE, (2023)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)Security Compliance Analysis of Reconfigurable Scan Networks., , , , , und . ITC, Seite 1-9. IEEE, (2019)