Becker, Bernd.
Becker, Bernd 1954-
Becker, Bernd, archéologue
Becker, Bernd, digitale techniek
Becker, Bernd, informaticien
Bernd Becker
Bernd Becker deutscher Informatiker und Hochschullehrer
VIAF ID: 64793352 ( Personal )
Permalink: http://viaf.org/viaf/64793352
Preferred Forms
-
- 100 1 _ ‡a Becker, Bernd
- 100 1 _ ‡a Becker, Bernd ‡d 1954-
- 100 1 _ ‡a Becker, Bernd, ‡c archéologue
-
-
-
- 100 0 _ ‡a Bernd Becker
- 100 0 _ ‡a Bernd Becker ‡c deutscher Informatiker und Hochschullehrer
4xx's: Alternate Name Forms (6)
5xx's: Related Names (6)
- 510 2 _ ‡a Albert-Ludwigs-Universität Freiburg im Breisgau ‡b Lehrstuhl für Rechnerarchitektur ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Albert-Ludwigs-Universität Freiburg ‡b Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Hermeskeil ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Institut für Informatik (Freiburg im Breisgau)
- 510 2 _ ‡a Internationales Begegnungs- und Forschungszentrum für Informatik
- 510 2 _ ‡a Saarbrücken, Univ
Works
Title | Sources |
---|---|
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext | |
Acquiring, congregating, and processing high-frequency electricity data in distributed environments | |
Activity recognition with instrumented and wearable artifacts | |
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models | |
Applying advanced SAT-based techniques to circuit testing | |
Applying CDCL to verification and test: when laziness pays off | |
Applying Tailored Formal Methods to X-ATPG (extended abstract) | |
Aspekte der Technischen Informatik Festschrift zum 60. Geburtstag von Bernd Becker | |
BDD based algorithm for computation of exact fault detection probabilities | |
Berichte zu Ufer- und Moorsiedlungen Südwestdeutschlands, 1984- : | |
Binary decision diagrams, c1998: | |
Computer aided design and test decision diagrams concepts and applications ; 27.01. - 31.01.97 | |
(D)QBF preprocessor HQSpre – Underlying theory and its implementation | |
Dendrochronologie in der Ur- und Frühgeschichte : die absolute Datierung von Pfahlbausiedlungen nördlich der Alpen im Jahrringkalender Mitteleuropas | |
Dendrochronologie und Paläoökologie subfossiler Baumstämme aus Flussablagerungen : ein Beitrag zur nacheiszeitlichen Auenentwicklung im südlichen Mitteleuropa | |
Dynamic minimization of OKFDDs | |
emotional valence of candidate ratings in televised debates | |
Entwerfen, Prüfen, Testen 18.2.1991 - 22.2.1991 (9108) | |
Equivalence checking of digital circuits : fundamentals, principles, methods | |
F-Moll | |
Fast FDD based minimization of generalized Reed-Muller forms | |
A framework to generate and label datasets for non-intrusive load monitoring | |
Freiburg - Mobilität in Lehre und Lernen F-Moll ; [Projekt- und Erfahrungsberichte] | |
GAFAP: a linear time scheduling approach for high-level-synthesis | |
Gemeinde und Amt. | |
genetic algorithm for variable ordering of OBDDs | |
Genetic alogrithms in computer aided design of integrated circuits | |
Gestürmt, geräumt, vergessen? : der Limesfall und das Ende der Römerherrschaft in Südwestdeutschland | |
Graphenbasierte Funktionsdarstellung : Boolesche und Pseudo-Boolesche Funktionen | |
Lgc++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C++ ; (Benutzeranleitung) | |
Local circuit transformations preserving robust path delay fault testability | |
Minimization of 2-level AND, XOR expressions using ordered Kronecker functional decision diagrams | |
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems | |
On the relation between BDDs and FDDs | |
On variable ordering and decomposition type choice in OKFDDs | |
Rapid prototyping of fully testable multi level AND, EXOR networks | |
Security of data flow in IEEE Std 1687 reconfigurable scan networks | |
Skolem functions for DQBF | |
Spielbasierte Abstraktion von Markow-Automaten | |
Structure based methods for parallel pattern fault simulation in combinatorial circuits | |
Surveys and registers, 1983: | |
Take the power back! : Secrecy, accountability and trust in the Digital Age | |
Technische Informatik eine einführende Darstellung | |
Test_circ ein abstrakter Datentyp zur Repräsentation von hierarchischen Schaltkreisen ; (Benutzeranleitung) | |
Testability of circuits derived from functional decision diagrams | |
Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene | |
Validity and reliability of virtualized RTR measurement |