Bernd Becker

Παρατίθεται από

	Όλα	Από το 2019
Παραθέσεις	11443	2859
h-index	51	24
i10-index	285	87

580

290

145

435

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 30 28 48 44 51 47 88 164 187 231 167 184 159 214 218 148 206 219 248 333 362 409 485 446 469 576 527 493 480 449 549 474 503 489 521 450 421

Δημόσια πρόσβαση

Προβολή όλων

156 άρθρα

33 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-bremen.de
Ilia PolianUniversity of StuttgartΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα polian.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-freiburg.de
Matthias SauerAdvantest Europe GmbHΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα advantest.com
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα rub.de
Hans-Joachim WunderlichProfessor Emeritus of Computer Science, University of StuttgartΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-stuttgart.de
Sudhakar ReddyDepartment of ECE, University of IowaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα engineering.uiowa.edu
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.uni-saarland.de
Paul MolitorMartin Luther University Halle-Wittenberg, Institute for Computer ScienceΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-halle.de
Sybille HellebrandUniversity of Paderborn, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-paderborn.de

Παρακολούθηση

Bernd Becker

Professor of Computer Science, University of Freiburg

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-freiburg.de

Test Verification Safety and Security Computer Aided Design and Basic Data Structures Multmedia in Teaching


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013	351	2013
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski Proceedings of the 31st annual Design Automation Conference, 415-419, 1994	298	1994
A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006	291	2006
How robust is the n-cube? B Becker, HU Simon Information and Computation 77 (2), 162-178, 1988	218	1988
Genetic algorithm for variable ordering of OBDDs R Drechsler, B Becker, N Göckel IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996	179	1996
Multi-objective Optimisation Based on Relation Favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001	155	2001
A family of logical fault models for reversible circuits I Polian, T Fiehn, B Becker, JP Hayes 14th Asian Test Symposium (ATS'05), 422-427, 2005	154	2005
Testing for missing-gate faults in reversible circuits JP Hayes, I Polian, B Becker 13th Asian test symposium, 100-105, 2004	145	2004
Checking equivalence for partial implementations C Scholl, B Becker Proceedings of the 38th Annual Design Automation Conference, 238-243, 2001	135	2001
X-masking during logic BIST and its impact on defect coverage Y Tang, HJ Wunderlich, H Vranken, F Hapke, M Wittke, P Engelke, ... 2004 International Conferce on Test, 442-451, 2004	134	2004
Multithreaded SAT solving M Lewis, T Schubert, B Becker 2007 Asia and South Pacific Design Automation Conference, 926-931, 2007	130	2007
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions R Drechsler, M Theobald, B Becker IEEE Transactions on Computers 45 (11), 1294-1299, 1996	122	1996
K* BMDs: A new data structure for verification R Drechsler, B Becker, S Ruppertz Proceedings ED&TC European Design and Test Conference, 2-8, 1996	111	1996
Simulating resistive-bridging and stuck-at faults P Engelke, I Polian, M Renovell, B Becker IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006	107	2006
Towards Verification of Artificial Neural Networks. K Scheibler, L Winterer, R Wimmer, B Becker MBMV, 30-40, 2015	95	2015
On the relation between BDDs and FDDs B Becker, R Drechsler, R Werchner Information and Computation 123 (2), 185-197, 1995	90	1995
PaMiraXT: Parallel SAT solving with threads and message passing T Schubert, M Lewis, B Becker Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 203-222, 2010	89	2010
The K* BMD: A verification data structure R Drechsler, B Becker, S Ruppertz IEEE Design & Test of Computers 14 (2), 51-59, 1997	84	1997
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... International Conference on Quantitative Evaluation of Systems, 404-420, 2014	82	2014
Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018	79	2018

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς