Bernd Becker

	2012
227		Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian: On the optimality of K longest path generation algorithm under memory constraints. DATE 2012: 418-423
226		Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker: Verification of partial designs using incremental QBF solving. DATE 2012: 623-628
225		Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker: TSV and DFT cost aware circuit partitioning for 3D-SOCs. ISQED 2012: 21-26
224		Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen: Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
223		Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker: Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. VLSI Design 2012: 382-387
	2011
222		Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker: Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97
221		J. M. Howard, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker: Fault diagnosis aware ATE assisted test response compaction. ASP-DAC 2011: 812-817
220		Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452
219		Matthias Sauer, Jie Jiang, Alejandro Czutro, Ilia Polian, Bernd Becker: Efficient SAT-Based Search for Longest Sensitisable Paths. Asian Test Symposium 2011: 108-113
218		Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid: Integration of an LP Solver into Interval Constraint Propagation. COCOA 2011: 343-356
217		Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker: Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing. DATE 2011: 1424-1429
216		Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker: Integration of orthogonal QBF solving techniques. DATE 2011: 149-154
215		Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle: Proof certificates and non-linear arithmetic constraints. DDECS 2011: 429-434
214		Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker: SAT-based analysis of sensitisable paths. DDECS 2011: 93-98
213		Ilia Polian, Bernd Becker, Sybille Hellebrand, Hans-Joachim Wunderlich, Peter C. Maxwell: Towards Variation-Aware Test Methods. European Test Symposium 2011: 219-225
212		Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
211		Stefan Kupferschmid, Bernd Becker: Craig Interpolation in the Presence of Non-linear Constraints. FORMATS 2011: 240-255
210		Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker: Estimation of component criticality in early design steps. IOLTS 2011: 104-110
209		Matthias Sauer, V. Tomashevich, J. Muller, Matthew D. T. Lewis, A. Spilla, Ilia Polian, Bernd Becker, W. Burgard: An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS 2011: 182-185
208		Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker: Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160
207		Christian Miller, Karina Gitina, Bernd Becker: Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. MTV 2011: 22-27
206		Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Incremental preprocessing methods for use in BMC. Formal Methods in System Design 39(2): 185-204 (2011)
205		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia: Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Inform. 107(2-3): 139-166 (2011)
204		Ilia Polian, John P. Hayes, Sudhakar M. Reddy, Bernd Becker: Modeling and Mitigating Transient Errors in Logic Circuits. IEEE Trans. Dependable Sec. Comput. 8(4): 537-547 (2011)
203		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011)
202		Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich: Variation-aware fault modeling. SCIENCE CHINA Information Sciences 54(9): 1813-1826 (2011)
	2010
201		Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich: Variation-Aware Fault Modeling. Asian Test Symposium 2010: 87-93
200		Ralf Wimmer, Bernd Becker: Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. MMB/DFT 2010: 287-301
199		Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker: Bounded Model Checking of Incomplete Networks of Timed Automata. MTV 2010: 61-66
198		Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36
197		Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: DTMC Model Checking by SCC Reduction. QEST 2010: 37-46
196		Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker: Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT 2010: 194-208
195		Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. International Journal of Parallel Programming 38(3-4): 185-202 (2010)
194		Ilia Polian, Bernd Becker: Fault Models and Test Algorithms for Nanoscale Technologies (Fehlermodelle und Testalgorithmen für Nanoscale-Technologien). it - Information Technology 52(4): 189-194 (2010)
	2009
193		Kunal P. Ganeshpure, Ilia Polian, Sandip Kundu, Bernd Becker: Reducing temperature variability by routing heat pipes. ACM Great Lakes Symposium on VLSI 2009: 63-68
192		Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: Dynamic Compaction in SAT-Based ATPG. Asian Test Symposium 2009: 187-190
191		Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker: ATPG-based grading of strong fault-secureness. IOLTS 2009: 269-274
190		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
189		Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
188		Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
187		Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design 2009: 227-232
186		Ralf Wimmer, Bettina Braitling, Bernd Becker: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380
185		Nicolas Houarche, Mariane Comte, Michel Renovell, Alejandro Czutro, Piet Engelke, Ilia Polian, Bernd Becker: An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects. VTS 2009: 21-26
184		Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian: SUPERB: Simulator utilizing parallel evaluation of resistive bridges. ACM Trans. Design Autom. Electr. Syst. 14(4): (2009)
183		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)
182		Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMiraXT: Parallel SAT Solving with Threads and Message Passing. JSAT 6(4): 203-222 (2009)
	2008
181		Bernd Becker, Paul Molitor: Technische Informatik - eine einführende Darstellung. Oldenbourg 2008: I-XVI, 1-419
180		Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker: Resistive Bridging Fault Simulation of Industrial Circuits. DATE 2008: 628-633
179		Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
178		Ilia Polian, Kohei Miyase, Yusuke Nakamura, Seiji Kajihara, Piet Engelke, Bernd Becker, Stefan Spinner, Xiaoqing Wen: Diagnosis of Realistic Defects Based on the X-Fault Model. DDECS 2008: 263-266
177		Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, Xun Tang, Bernd Becker: On Reducing Circuit Malfunctions Caused by Soft Errors. DFT 2008: 245-253
176		Damian Nowroth, Ilia Polian, Bernd Becker: A study of cognitive resilience in a JPEG compressor. DSN 2008: 32-41
175		Alejandro Czutro, Nicolas Houarche, Piet Engelke, Ilia Polian, Mariane Comte, Michel Renovell, Bernd Becker: A Simulator of Small-Delay Faults Caused by Resistive-Open Defects. European Test Symposium 2008: 113-118
174		Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker: Selective Hardening in Early Design Steps. European Test Symposium 2008: 185-190
173		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
172		Ilia Polian, Sudhakar M. Reddy, Bernd Becker: Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors. ISVLSI 2008: 257-262
171		Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng: Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model. ITC 2008: 1-10
170		Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng: Automatic Test Pattern Generation for Interconnect Open Defects. VTS 2008: 181-186
169		Piet Engelke, Ilia Polian, Michel Renovell, Sandip Kundu, Bharath Seshadri, Bernd Becker: On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 327-338 (2008)
	2007
168		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
167		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Multithreaded SAT Solving. ASP-DAC 2007: 926-931
166		Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke: LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV 2007: 307-310
165		Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde: On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS 2007: 391-396
164		Marc Herbstritt, Bernd Becker: On Combining 01X-Logic and QBF. EUROCAST 2007: 531-538
163		Tobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280
162		Ilia Polian, Damian Nowroth, Bernd Becker: Identification of Critical Errors in Imaging Applications. IOLTS 2007: 201-202
161		Marc Herbstritt, Vanessa Struve, Bernd Becker: Application of Lifting in Partial Design Analysis. MTV 2007: 33-38
160		John P. Hayes, Ilia Polian, Bernd Becker: An Analysis Framework for Transient-Error Tolerance. VTS 2007: 249-255
159		Ilia Polian, Alejandro Czutro, Bernd Becker: Evolutionary Optimization in Code-Based Test Compression CoRR abs/0710.4670: (2007)
158		Stefan Spinner, J. Bartholomeyczik, Bernd Becker, M. Doelle, O. Paul, Ilia Polian, R. Roth, K. Seitz, P. Ruther: Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors CoRR abs/0711.3289: (2007)
157		Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Bounded Model Checking with Parametric Data Structures. Electr. Notes Theor. Comput. Sci. 174(3): 3-16 (2007)
156		Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker: Power Droop Testing. IEEE Design & Test of Computers 24(3): 276-284 (2007)
155		Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm: SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it - Information Technology 49(2): 118- (2007)
	2006
154		Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
153		Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm: Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS 2006: 15-20
152		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
151		Ilia Polian, Bernd Becker, Masato Nakasato, Satoshi Ohtake, Hideo Fujiwara: Low-Cost Hardening of Image Processing Applications Against Soft Errors. DFT 2006: 274-279
150		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
149		Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker: Power Droop Testing. ICCD 2006
148		Marc Herbstritt, Bernd Becker, Christoph Scholl: Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV 2006: 37-44
147		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178
146		Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
145		Yuyi Tang, Hans-Joachim Wunderlich, Piet Engelke, Ilia Polian, Bernd Becker, Jürgen Schlöffel, Friedrich Hapke, Michael Wittke: X-masking during logic BIST and its impact on defect coverage. IEEE Trans. VLSI Syst. 14(2): 193-202 (2006)
144		Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker: Simulating Resistive-Bridging and Stuck-At Faults. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 2181-2192 (2006)
143		Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker: Automatic Test Pattern Generation for Resistive Bridging Faults. J. Electronic Testing 22(1): 61-69 (2006)
142		Thomas Eschbach, Wolfgang Günther, Bernd Becker: Orthogonal Hypergraph Drawing for Improved Visibility. J. Graph Algorithms Appl. 10(2): 141-157 (2006)
141		Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich: DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). it - Information Technology 48(5): 304- (2006)
	2005
140		Sandip Kundu, Piet Engelke, Ilia Polian, Bernd Becker: On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. Asian Test Symposium 2005: 266-271
139		Ilia Polian, Thomas Fiehn, Bernd Becker, John P. Hayes: A Family of Logical Fault Models for Reversible Circuits. Asian Test Symposium 2005: 422-427
138		Ilia Polian, Alejandro Czutro, Bernd Becker: Evolutionary Optimization in Code-Based Test Compression. DATE 2005: 1124-1129
137		Tobias Schubert, Bernd Becker: Lemma Exchange in a Microcontroller Based Parallel SAT Solver. ISVLSI 2005: 142-147
136		Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker: Transient fault characterization in dynamic noisy environments. ITC 2005: 10
135		Marc Herbstritt, Bernd Becker: On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV 2005: 23-28
134		Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36
133		Tobias Schubert, Bernd Becker: Knowledge Sharing in a Microcontroller based Parallel SAT Solver. PDPTA 2005: 1049-1055
132		Jochen Eisinger, Peter Winterer, Bernd Becker: Securing Wireless Networks in a University Environment. PerCom Workshops 2005: 312-316
131		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443
130		Thomas Eschbach, Wolfgang Günther, Bernd Becker: Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases. VLSI Design 2005: 433-438
129		Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
128		Ilia Polian, Sandip Kundu, Jean Marc Gallière, Piet Engelke, Michel Renovell, Bernd Becker: Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies. VTS 2005: 343-348
127		Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer: BDDs in a Branch and Cut Framework. WEA 2005: 452-463
126		Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker: Modeling Feedback Bridging Faults with Non-Zero Resistance. J. Electronic Testing 21(1): 57-69 (2005)
	2004
125		Tobias Schubert, Bernd Becker: Parallel SAT Solving with Microcontrollers. AACC 2004: 59-67
124		Thomas Eschbach, Wolfgang Günther, Bernd Becker: Orthogonal hypergraph routing for improved visibility. ACM Great Lakes Symposium on VLSI 2004: 385-388
123		Tobias Schubert, Bernd Becker: A Distributed SAT Solver for Microcontroller. ARCS Workshops 2004: 338-347
122		John P. Hayes, Ilia Polian, Bernd Becker: Testing for Missing-Gate Faults in Reversible Circuits. Asian Test Symposium 2004: 100-105
121		Thomas Eschbach, Rolf Dreschler, Bernd Becker: Placement and routing optimization for circuits derived from BDDs. ISCAS (5) 2004: 229-232
120		Yuyi Tang, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker: X-Masking During Logic BIST and Its Impact on Defect Coverage. ITC 2004: 442-451
119		Marc Herbstritt, Thomas Kmieciak, Bernd Becker: On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55
118		Tobias Schubert, Bernd Becker: PICHAFF2 - A Hierarchical Parallel SAT Solver. MTV 2004: 56-61
117		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based BCP for SAT Solving. SAT 2004
116		Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker: The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. VTS 2004: 171-178
115		Ilia Polian, Bernd Becker: Scalable Delay Fault BIST for Use with Low-Cost ATE. J. Electronic Testing 20(2): 181-197 (2004)
	2003
114		Ilia Polian, Bernd Becker, Sudhakar M. Reddy: Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST. DATE 2003: 11184-11185
113		Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker: Simulating Resistive Bridging and Stuck-At Faults. ITC 2003: 1051-1059
112		Marc Herbstritt, Bernd Becker: Conflict-Based Selection of Branching Rules. SAT 2003: 441-451
111		Thomas Eschbach, Wolfgang Günther, Bernd Becker: Cross Reduction for Orthogonal Circuit Visualization. VLSI 2003: 107-113
110		Ilia Polian, Bernd Becker: Reducing ATE Cost in System-on-Chip Test. VLSI-SOC 2003: 337-342
109		Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor: Polynomial Formal Verification of Multipliers. Formal Methods in System Design 22(1): 39-58 (2003)
108		Frank Schmiedle, Rolf Drechsler, Bernd Becker: Exact Routing with Search Space Reduction. IEEE Trans. Computers 52(6): 815-825 (2003)
107		Ilia Polian, Wolfgang Günther, Bernd Becker: Pattern-based verification of connections to intellectual property cores. Integration 35(1): 25-44 (2003)
106		Ilia Polian, Bernd Becker: Multiple Scan Chain Design for Two-Pattern Testing. J. Electronic Testing 19(1): 37-48 (2003)
105		Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker: Simulating Realistic Bridging and Crosstalk Faults in an Industrial Setting. J. Electronic Testing 19(4): 387-395 (2003)
	2002
104		Ilia Polian, Irith Pomeranz, Bernd Becker: Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests. Asian Test Symposium 2002: 2-14
103		Thomas Eschbach, Wolfgang Günther, Rolf Drechsler, Bernd Becker: Crossing Reduction by Windows Optimization. Graph Drawing 2002: 285-294
102		Christoph Scholl, Bernd Becker: Checking Equivalence for Circuits Containing Incompletely Specified Boxes. ICCD 2002: 56-63
101		Ilia Polian, Bernd Becker: Stop & Go BIST. IOLTW 2002: 147-151
100		Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker: Sequential n -Detection Criteria: Keep It Simple. IOLTW 2002: 189
99		Ilia Polian, Piet Engelke, Bernd Becker: Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. ISMVL 2002: 216-
98		Christoph Scholl, Bernd Becker, Thomas M. Weis: On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. Formal Methods in System Design 20(3): 311-326 (2002)
	2001
97		Christoph Scholl, Bernd Becker, Andreas Brogle: The multiple variable order problem for binary decision diagrams: theory and practical application. ASP-DAC 2001: 85-90
96		Wolfgang Günther, Andreas Hett, Bernd Becker: Application of linearly transformed BDDs in sequential verification. ASP-DAC 2001: 91-96
95		Ilia Polian, Wolfgang Günther, Bernd Becker: Efficient Pattern-Based Verification of Connections to IP Cores . Asian Test Symposium 2001: 443-448
94		Christoph Scholl, Bernd Becker: Checking Equivalence for Partial Implementations. DAC 2001: 238-243
93		Bernd Becker, Thomas Eschbach, Rolf Drechsler, Wolfgang Günther: Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement. DSD 2001: 54-61
92		Nicole Drechsler, Rolf Drechsler, Bernd Becker: Multi-objective Optimisation Based on Relation Favour. EMO 2001: 154-166
91		Frank Schmiedle, Daniel Große, Rolf Drechsler, Bernd Becker: Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics. Fuzzy Days 2001: 479-491
90		Christoph Scholl, Marc Herbstritt, Bernd Becker: Exploiting don't cares to minimize *BMDs. ISCAS (5) 2001: 191-194
89		Ilia Polian, Bernd Becker: Multiple Scan Chain Design for Two-Pattern Testing. VTS 2001: 88-93
88		Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. J. Electronic Testing 17(1): 37-51 (2001)
	2000
87		Andreas Hett, Christoph Scholl, Bernd Becker: Distance driven finite state machine traversal. DAC 2000: 39-42
86		Christoph Scholl, Bernd Becker: On the Generation of Multiplexer Circuits for Pass Transistor Logic. DATE 2000: 372-378
85		Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Verification of Designs Containing Black Boxes. EUROMICRO 2000: 1100-1105
84		Rolf Drechsler, Wolfgang Günther, Bernd Becker: Testability of Circuits Derived from Lattice Diagrams. EUROMICRO 2000: 1188-1192
83		Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker: Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO 2000: 1425-
82		Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO 2000: 369
81		Wolfgang Günther, Robby Schönfeld, Bernd Becker, Paul Molitor: k-Layer Straightline Crossing Minimization by Speeding Up Sifting. Graph Drawing 2000: 253-258
80		Per Lindgren, Rolf Drechsler, Bernd Becker: Minimization of Ordered Pseudo Kronecker Decision Diagrams. ICCD 2000: 504-
79		Frank Schmiedle, Daniel Unruh, Bernd Becker: Exact switchbox routing with search space reduction. ISPD 2000: 26-32
78		Rolf Drechsler, Bernd Becker, Nicole Drechsler: OKFDD minimization by genetic algorithms with application to circuit design. Integration 28(2): 121-139 (2000)
	1999
77		Martin Keim, Nicole Drechsler, Bernd Becker: Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. ASP-DAC 1999: 315-318
76		Harry Hengster, Bernd Becker: Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability. FTCS 1999: 268-275
75		Nicole Drechsler, Rolf Drechsler, Bernd Becker: Multi-objected Optimization in Evolutionary Algorithms Using Satisfiability Classes. Fuzzy Days 1999: 108-117
74		Per Lindgren, Rolf Drechsler, Bernd Becker: Synthesis of Pseudo Kronecker Lattice Diagrams. ICCD 1999: 307-310
73		Rolf Drechsler, Marc Herbstritt, Bernd Becker: Grouping heuristics for word-level decision diagrams. ISCAS (1) 1999: 411-414
72		Frank Schmiedle, Rolf Drechsler, Bernd Becker: Exact channel routing using symbolic representation. ISCAS (6) 1999: 394-397
71		Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker: Testability of 2-Level AND/EXOR Circuits. J. Electronic Testing 14(3): 219-225 (1999)
70		Bernd Becker, Martin Keim, Rolf Krieger: Hybrid Fault Simulation for Synchronous Sequential Circuits. J. Electronic Testing 15(3): 219-238 (1999)
	1998
69		Rolf Drechsler, Bernd Becker: Graphenbasierte Funktionsdarstellung - Boolesche und Pseudo-Boolesche Funktionen. Teubner 1998: 1-200
68		Christoph Scholl, Bernd Becker, Thomas M. Weis: Word-level decision diagrams, WLCDs and division. ICCAD 1998: 672-677
67		Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. ISMVL 1998: 215-
66		Per Lindgren, Rolf Drechsler, Bernd Becker: Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions. ISMVL 1998: 95-
65		Rolf Drechsler, Bernd Becker, Andrea Jahnke: On Variable Ordering and Decomposition Type Choice in OKFDDs. IEEE Trans. Computers 47(12): 1398-1403 (1998)
64		Rolf Drechsler, Bernd Becker: Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions. IEEE Trans. on CAD of Integrated Circuits and Systems 17(10): 965-973 (1998)
63		Bernd Becker: Testing with decision diagrams. Integration 26(1-2): 5-20 (1998)
	1997
62		Andreas Hett, Rolf Drechsler, Bernd Becker: Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175
61		Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker: Testability of 2-level AND/EXOR circuits. ED&TC 1997: 548-553
60		Christoph Scholl, Rolf Drechsler, Bernd Becker: Functional simulation using binary decision diagrams. ICCAD 1997: 8-12
59		Rolf Drechsler, Martin Keim, Bernd Becker: Fault Simulation in Sequential Multi-Valued Logic Networks. ISMVL 1997: 145-
58		Rolf Drechsler, Martin Keim, Bernd Becker: Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. ISMVL 1997: 66-
57		Rolf Drechsler, Bernd Becker, Stefan Ruppertz: Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18
56		Bernd Becker, Rolf Drechsler, Sudhakar M. Reddy: (Quasi-) Linear Path Delay Fault Tests for Adders. VLSI Design 1997: 101-105
55		Bernd Becker, Rolf Drechsler: Decision Diagrams in Synthesis - Algorithms, Applications and Extensions. VLSI Design 1997: 46-50
54		Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor: Polynomial Formal Verification of Multipliers. VTS 1997: 150-157
53		Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker: On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. VTS 1997: 426-433
52		Bernd Becker, Rolf Drechsler, Michael Theobald: On the Expressive Power of OKFDDs. Formal Methods in System Design 11(1): 5-21 (1997)
51		Rolf Drechsler, Bernd Becker, Stefan Ruppertz: The K*BMD: A Verification Data Structure. IEEE Design & Test of Computers 14(2): 51-59 (1997)
50		Rolf Drechsler, Bernd Becker: Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. IEEE Trans. on CAD of Integrated Circuits and Systems 16(1): 1-5 (1997)
	1996
49		Harry Hengster, Rolf Drechsler, Bernd Becker, Stefan Eckrich, Tonja Pfeiffer: AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth. Asian Test Symposium 1996: 148-
48		Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Reddy: Local Transformations and Robust Dependent Path Delay. ITC 1996: 347-356
47		Rolf Drechsler, Nicole Göckel, Bernd Becker: Learning Heuristics for OBDD Minimization by Evolutionary Algorithms. PPSN 1996: 730-739
46		Martin Keim, Bernd Becker, Birgitta Stenner: On the (non-)resetability of synchronous sequential circuits. VTS 1996: 240-245
45		Rolf Drechsler, Michael Theobald, Bernd Becker: Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers 45(11): 1294-1299 (1996)
	1995
44		Rolf Drechsler, Bernd Becker: Learning heuristics by genetic algorithms. ASP-DAC 1995
43		Rolf Krieger, Bernd Becker, Martin Keim: Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. DAC 1995: 339-344
42		Rolf Krieger, Bernd Becker, Can Ökmen: OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. FTCS 1995: 120-129
41		Bernd Becker, Rolf Drechsler, Michael Theobald: OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486
40		Rolf Drechsler, Bernd Becker: Dynamic minimization of OKFDDs. ICCD 1995: 602-
39		Rolf Drechsler, Rolf Krieger, Bernd Becker: Random Pattern Fault Simulation in Multi-Valued Circuits. ISMVL 1995: 98-103
38		Bernd Becker, Rolf Drechsler, Ralph Werchner: On the Relation Betwen BDDs and FDDs. LATIN 1995: 72-83
37		Harry Hengster, Rolf Drechsler, Bernd Becker: On the application of local circuit transformations with special emphasis on path delay fault testability. VTS 1995: 387-392
36		Bernd Becker, Rolf Drechsler, Paul Molitor: On the generation of area-time optimal testable adders. IEEE Trans. on CAD of Integrated Circuits and Systems 14(9): 1049-1066 (1995)
35		Bernd Becker, Rolf Drechsler, Ralph Werchner: On the Relation between BDDs and FDDs. Inf. Comput. 123(2): 185-197 (1995)
34		Bernd Becker, Ralf Hahn, Joachim Hartmann, Uwe Sparmann: On the testability of iterative logic arrays. Integration 18(2-3): 201-218 (1995)
33		Harry Hengster, Rolf Drechsler, Bernd Becker: On local transformations and path delay fault testability. J. Electronic Testing 7(3): 173-191 (1995)
	1994
32		Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski: Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. DAC 1994: 415-419
31		Ralf Hahn, Rolf Krieger, Bernd Becker: A Hierarchical Approach to Fault Collapsing. EDAC-ETC-EUROASIC 1994: 171-176
30		Bernd Becker, Rolf Drechsler: Testability of Circuits Derived from Functional Decision Diagrams. EDAC-ETC-EUROASIC 1994: 667
29		Rolf Drechsler, Bernd Becker, Michael Theobald: Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7
28		Bernd Becker, Rolf Drechsler: OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms. ICCD 1994: 106-110
27		Bernd Becker, Rolf Drechsler: Efficient Graph Based Representation of Multi-Valued Functions with an Application to Genetic Algorithms. ISMVL 1994: 65-72
26		Rolf Krieger, Bernd Becker, Martin Keim: A Hybrid Fault Simulator for Synchronous Sequential Circuits. ITC 1994: 614-623
25		Harry Hengster, Rolf Drechsler, Bernd Becker: Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model. VLSI Design 1994: 123-126
	1993
24		Rolf Krieger, Bernd Becker, R. Sinkovic: A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. FTCS 1993: 186-195
23		Bernd Becker, Rolf Krieger: FAST-SC: Fast Fault Simulation in Synchronous Sequential Circuits. VLSI Design 1993: 128-131
	1992
22		Bernd Becker, Joachim Hartmann: Some Remarks on the Test Complexity of Iterative Logic Arrays. MFCS 1992: 142-152
21		Bernd Becker: Synthesis for Testability: Binary Decision Diagrams. STACS 1992: 501-512
	1991
20		Bernd Becker, Uwe Sparmann: A uniform test approach for RCC-adders. Fundam. Inform. 14(2): 185-219 (1991)
19		Bernd Becker, Uwe Sparmann: Computations over Finite Monoids and their Test Complexity. Theor. Comput. Sci. 84(2): 225-250 (1991)
	1990
18		Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann: A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC 1990: 174-179
17		Bernd Becker, Joachim Hartmann: Optimal-Time Multipliers and C-Testability. SPAA 1990: 146-154
16		Bernd Becker, Joachim Hartmann: Optimal-Time Multipliers and C-Testability. Elektronische Informationsverarbeitung und Kybernetik 26(10): 547-561 (1990)
	1989
15		Bernd Becker, Uwe Sparmann: Computations over finite monoids and their test complexity. FTCS 1989: 299-306
	1988
14		Bernd Becker, Uwe Sparmann: Regular Structures and Testing: RCC-Adders. AWOC 1988: 288-300
13		Bernd Becker, Reiner Kolla: On the Construction of Optimal Time Adders (Extended Abstract). STACS 1988: 18-28
12		Bernd Becker: Efficient Testing of Optimal Time Adders. IEEE Trans. Computers 37(9): 1113-1121 (1988)
11		Bernd Becker, Hans-Ulrich Simon: How Robust Is The n-Cube? Inf. Comput. 77(2): 162-178 (1988)
	1987
10		Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof: Hierarchical Design Based on a Calculus of Nets. DAC 1987: 649-653
9		Bernd Becker: An Easily Testable Optimal-Time VLSI-Multiplier. Acta Inf. 24(4): 363-380 (1987)
8		Bernd Becker, Hans-Georg Osthof: Layouts with Wires of Balanced Length Inf. Comput. 73(1): 45-59 (1987)
7		Bernd Becker, Günter Hotz: On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. 16(5): 946-972 (1987)
	1986
6		Bernd Becker, Hans-Ulrich Simon: How Robust Is the n-Cube? (Extended Abstract) FOCS 1986: 283-291
5		Bernd Becker: Efficient Testing of Optimal Time Adders (Extended Abstract). MFCS 1986: 218-229
4		Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor: Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform., Forsch. Entwickl. 1(1): 38-47 (1986)
3		Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor: Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform., Forsch. Entwickl. 1(2): 72-82 (1986)
	1985
2		Bernd Becker, Hans-Georg Osthof: Layouts with Wires of Balanced Length. STACS 1985: 21-31
	1983
1		Bernd Becker: On the crossing-free, rectangular embedding of weighted graphs in the plane. Theoretical Computer Science 1983: 61-72

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[129] [150] [157] [165] [190] [197] [203] [212] [220] [224]
2	Ernst Althaus	[218]
3	J. Bartholomeyczik	[158]
4	Markus Behle	[127]
5	Eckard Böde	[147] [183]
6	Jonathan Bradford	[105]
7	Bettina Braitling	[184] [186] [198] [212] [222]
8	Andreas Brogle	[97]
9	Thomas Burch	[18]
10	W. Burgard	[209]
11	Wu-Tung Cheng	[170] [171]
12	Mariane Comte	[175] [185]
13	Pepijn Crouzen	[188] [198] [222]
14	Alejandro Czutro	[138] [149] [156] [159] [175] [185] [187] [191] [192] [195] [210] [219] [223]
15	Alexander Czutro	[214] [227]
16	Werner Damm	[155]
17	Christian Dax	[166]
18	Hartmut Delong	[105]
19	Abhishek Dhama	[188] [198] [222]
20	M. Doelle	[158]
21	Nicole Drechsler	[67] [75] [77] [78] [82] [83] [85] [88] [92]
22	Rolf Drechsler	[25] [27] [28] [29] [30] [32] [33] [35] [36] [37] [38] [39] [40] [41] [44] [45] [47] [49] [50] [51] [52] [54] [55] [56] [57] [58] [59] [60] [61] [62] [64] [65] [66] [67] [69] [71] [72] [73] [74] [75] [78] [80] [82] [83] [84] [85] [88] [91] [92] [93] [103] [108] [109]
23	Rolf Dreschler	[121]
24	Daniel Dumitriu	[218]
25	Stefan Eckrich	[49]
26	Friedrich Eisenbrand	[127]
27	Jochen Eisinger	[132] [146] [153] [166]
28	Piet Engelke	[99] [113] [116] [120] [126] [128] [140] [143] [144] [145] [169] [170] [171] [175] [178] [180] [184] [185] [187] [192] [195]
29	Thomas Eschbach	[93] [103] [111] [121] [124] [130] [142]
30	Thomas Fiehn	[139]
31	Martin Fränzle	[150] [155] [203] [215]
32	Hideo Fujiwara	[151]
33	Jean Marc Gallière	[128]
34	Kunal P. Ganeshpure	[193]
35	Karina Gitina	[199] [207]
36	Enrico Giunchiglia	[189] [205]
37	Nicole Göckel	[47]
38	Daniel Große	[91]
39	Wolfgang Günther	[81] [84] [85] [93] [95] [96] [103] [107] [111] [124] [130] [142]
40	Ernst Moritz Hahn	[198] [208] [222]
41	Ralf Hahn	[31] [34]
42	Friedrich Hapke	[120] [145]
43	Joachim Hartmann	[16] [17] [22] [34] [61] [71]
44	John P. Hayes	[122] [136] [139] [160] [204]
45	Sybille Hellebrand	[141] [191] [201] [202] [213]
46	Harry Hengster	[25] [33] [37] [48] [49] [61] [71] [76]
47	Marc Herbstritt	[73] [90] [112] [119] [135] [147] [148] [152] [154] [157] [161] [164] [165] [168] [173] [179] [183]
48	Christian Herde	[150] [165] [203]
49	Holger Hermanns	[147] [154] [183] [188] [198] [208] [222]
50	Andreas Hett	[62] [87] [96]
51	Stefan Hillebrecht	[171] [214]
52	Fabian Hopsch	[201] [202]
53	Günter Hotz	[3] [4] [7] [10] [18]
54	Nicolas Houarche	[175] [185]
55	J. M. Howard	[221]
56	Marc Hunger	[191]
57	Andrea Jahnke	[65]
58	Nils Jansen	[197] [212] [220] [224]
59	Jie Jiang	[219] [227]
60	Sven Johr	[147] [183]
61	Seiji Kajihara	[178]
62	Natalia Kalinnik	[173] [190]
63	Jens Katelaan	[220]
64	Joost-Pieter Katoen	[197] [220] [224]
65	Martin Keim	[26] [43] [46] [53] [54] [58] [59] [67] [70] [77] [88] [100] [109] [170] [171]
66	D. Kiel	[18]
67	Felix Klaedtke	[129] [166]
68	Thomas Kmieciak	[119]
69	Reiner Kolla	[3] [4] [10] [13] [18]
70	Alexander Kortus	[179]
71	Rolf Krieger	[23] [24] [26] [31] [39] [42] [43] [53] [70]
72	Amit Kumar	[217] [225]
73	Sandip Kundu	[128] [136] [140] [149] [156] [169] [193]
74	Stefan Kupferschmid	[196] [206] [211] [215] [218] [223]
75	Matthew D. T. Lewis	[117] [131] [134] [167] [173] [182] [187] [189] [195] [196] [205] [206] [209] [226]
76	Juri Lichtner	[173]
77	Per Lindgren	[66] [74] [80]
78	Elke Mackensen	[82] [83]
79	Nicolai Mallig	[100]
80	Paolo Marin	[189] [205] [226]
81	Michael Martin	[54] [109]
82	Peter C. Maxwell	[213]
83	Alexander Metzner	[153]
84	Christian Miller	[196] [199] [207] [226]
85	Kohei Miyase	[178]
86	Paul Molitor	[3] [4] [10] [18] [36] [54] [81] [109] [181]
87	J. Muller	[209]
88	Yusuke Nakamura	[178]
89	Masato Nakasato	[151]
90	Massimo Narizzano	[189] [205]
91	Tobias Nopper	[163] [173]
92	Damian Nowroth	[162] [176]
93	Satoshi Ohtake	[151]
94	Can Ökmen	[42] [53]
95	Ernst-Rüdiger Olderog	[155]
96	Hans-Georg Osthof	[2] [8] [10] [18]
97	O. Paul	[158]
98	Thomas Peikenkamp	[147] [183]
99	Marek A. Perkowski	[32]
100	Tonja Pfeiffer	[49]
101	Florian Pigorsch	[216]
102	Gisela Pitsch	[18]
103	Andreas Podelski	[155]
104	Ilia Polian	[89] [95] [99] [100] [101] [104] [105] [106] [107] [110] [113] [114] [115] [116] [120] [122] [126] [128] [136] [138] [139] [140] [141] [143] [144] [145] [146] [149] [151] [153] [156] [158] [159] [160] [162] [169] [170] [171] [172] [174] [175] [176] [177] [178] [180] [184] [185] [187] [191] [192] [193] [194] [195] [201] [202] [204] [209] [210] [213] [214] [219] [227]
105	Irith Pomeranz	[104] [177] [217] [221] [225]
106	Reza Pulungan	[147] [183]
107	Jan Rakow	[183]
108	Sudhakar M. Reddy	[48] [56] [114] [172] [177] [187] [192] [195] [204] [217] [221] [223] [225]
109	Sven Reimer	[216]
110	Jan Reineke	[146]
111	Michel Renovell	[113] [116] [126] [128] [143] [144] [169] [175] [184] [185]
112	R. Roth	[158]
113	Stefan Ruppertz	[51] [57]
114	P. Ruther	[158]
115	Andisheh Sarabi	[32]
116	Matthias Sauer	[209] [210] [214] [219] [223] [227]
117	Horst Schäfer	[61] [71]
118	Jürgen Schlöffel	[145] [180] [184]
119	Frank Schmiedle	[72] [79] [91] [108]
120	Christoph Scholl	[60] [68] [86] [87] [90] [94] [97] [98] [102] [148] [163] [199] [216]
121	Robby Schönfeld	[81]
122	Tobias Schubert	[82] [83] [117] [118] [123] [125] [131] [133] [134] [137] [150] [167] [182] [189] [190] [203] [205] [206] [214]
123	K. Seitz	[158]
124	Bharath Seshadri	[116] [169]
125	Hans Ulrich Simon (Hans-Ulrich Simon)	[6] [11]
126	R. Sinkovic	[24]
127	Uwe Sparmann	[14] [15] [18] [19] [20] [34] [48]
128	A. Spilla	[209]
129	Stefan Spinner	[158] [170] [178]
130	Martin Steffen	[129] [157]
131	Birgitta Stenner	[46]
132	Kelley Strampp	[154]
133	Bernd Straube	[141] [201] [202]
134	Vanessa Struve	[161]
135	Xun Tang	[177]
136	Yuyi Tang	[120] [145]
137	Tino Teige	[215]
138	Oliver E. Theel	[188] [198] [222]
139	Michael Theobald	[29] [32] [41] [45] [52]
140	Stephan Thesing	[146] [153]
141	V. Tomashevich	[209]
142	Daniel Unruh	[79]
143	Wolfgang Vermeiren	[201] [202]
144	Harald P. E. Vranken	[120]
145	Björn Wachter	[146]
146	Thomas M. Weis	[68] [98]
147	Xiaoqing Wen	[178]
148	Ralph Werchner	[35] [38]
149	Reinhard Wilhelm	[146] [153] [155]
150	Ralf Wimmer	[127] [147] [152] [154] [168] [173] [179] [183] [186] [188] [190] [197] [198] [200] [208] [212] [220] [222] [224]
151	Peter Winterer	[132]
152	Michael Wittke	[120] [145]
153	Hans-Joachim Wunderlich	[120] [141] [145] [174] [201] [202] [213]
154	Christian G. Zoellin	[174]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page