dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rolf Drechsler Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
328Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea Tettamanzi, Julian Togelius, Neil Urquhart, Sima Uyar, Georgios N. Yannakakis: Applications of Evolutionary Computation - EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings Springer 2012
327Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler: Synthesis of reversible circuits with minimal lines for large functions. ASP-DAC 2012: 85-92
326Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler, Christof Osewold, Alberto García Ortiz: Automatic design of low-power encoders using reversible circuit synthesis. DATE 2012: 1036-1041
325Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Mathias Soeken, Rolf Drechsler: Debugging of inconsistent UML/OCL models. DATE 2012: 1078-1083
324Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Rolf Drechsler: Eliminating invariants in UML/OCL models. DATE 2012: 1142-1145
323Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFinn Haedicke, Daniel Große, Rolf Drechsler: A guiding coverage metric for formal verification. DATE 2012: 617-622
322Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Rolf Drechsler: Assisted Behavior Driven Development Using Natural Language Processing. TOOLS (50) 2012: 269-287
321Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Irek Ulidowski, Robert Wille: Foreword: Special Issue on Reversible Computation. Multiple-Valued Logic and Soft Computing 18(1): 1-3 (2012)
320Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler: RevKit: A Toolkit for Reversible Circuit Design. Multiple-Valued Logic and Soft Computing 18(1): 55-65 (2012)
2011
319Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea Tettamanzi, Neil Urquhart, A. Sima Etaner-Uyar: Applications of Evolutionary Computation - EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II Springer 2011
318Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler: Simulation-based equivalence checking between SystemC models at different levels of abstraction. ACM Great Lakes Symposium on VLSI 2011: 223-228
317Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyan Zhang, Robert Wille, Rolf Drechsler: Improved Fault Diagnosis for Reversible Circuits. Asian Test Symposium 2011: 207-212
316Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Rolf Drechsler: Verifying dynamic aspects of UML models. DATE 2011: 1077-1082
315Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Oliver Keszocze, Rolf Drechsler: Determining the minimal number of lines for large reversible circuits. DATE 2011: 1204-1207
314Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Rolf Drechsler: As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization. DATE 2011: 1291-1296
313Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler: Automatic property generation for the formal verification of bus bridges. DDECS 2011: 417-422
312Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed Bawadekji, Daniel Große, Rolf Drechsler: TLM protocol compliance checking at the Electronic System Level. DDECS 2011: 435-440
311Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Alexander Finder, Robert Wille: Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms. EvoApplications (2) 2011: 151-161
310Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Offermann, Robert Wille, Rolf Drechsler: Efficient realization of control logic in reversible circuits. FDL 2011: 1-7
309Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Michael, Daniel Große, Rolf Drechsler: Analyzing dependability measures at the Electronic System Level. FDL 2011: 1-8
308Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Hongyan Zhang, Rolf Drechsler: ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. ISVLSI 2011: 120-125
307Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler: RevKit: An Open Source Toolkit for the Design of Reversible Circuits. RC 2011: 64-76
306Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Rolf Drechsler: Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. TAP 2011: 152-170
305Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler: Effective Robustness Analysis Using Bounded Model Checking Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 30(8): 1239-1252 (2011)
304Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Rolf Drechsler: Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application. IEEE Trans. on CAD of Integrated Circuits and Systems 30(9): 1411-1415 (2011)
303Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler: Debugging reversible circuits. Integration 44(1): 51-61 (2011)
2010
302Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: Quality-Driven SystemC Design Springer 2010
301Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler: Towards a Design Flow for Reversible Logic. Springer 2010: I-XIII, 1-184
300Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Rogin, Rolf Drechsler: Debugging at the Electronic System Level. Springer 2010: I-XIX, 1-199
299Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler: Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI 2010: 465-470
298Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Mathias Soeken, Rolf Drechsler: Reducing the number of lines in reversible circuits. DAC 2010: 647-652
297Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler: Verifying UML/OCL models using Boolean satisfiability. DATE 2010: 1341-1344
296Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Synthesizing multiplier in reversible logic. DDECS 2010: 335-340
295Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathias Soeken, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Window optimization of reversible and quantum circuits. DDECS 2010: 341-345
294Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Görschwin Fey: Formal verification meets robustness checking - Techniques and challenges. DDECS 2010: 4
293Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Frehse, Görschwin Fey, Rolf Drechsler: A better-than-worst-case robustness measure. DDECS 2010: 78-83
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler: RobuCheck: A Robustness Checker for Digital Circuits. DSD 2010: 226-231
291Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Tille, Stephan Eggersglüß, Rene Krenz-Baath, Jürgen Schlöffel, Rolf Drechsler: Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs. European Test Symposium 2010: 176-181
290no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Sebastian Offermann, Rolf Drechsler: SyReC: A Programming Language for Synthesis of Reversible Circuits. FDL 2010: 184-189
289Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Rolf Drechsler: Automatic Fault Localization for Programmable Logic Controllers. FORMS/FORMAT 2010: 247-256
288Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoang M. Le, Daniel Große, Rolf Drechsler: Towards analyzing functional coverage in SystemC TLM property checking. HLDVT 2010: 67-74
287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFinn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler: Polynomial datapath optimization using constraint solving and formal modelling. ICCAD 2010: 756-761
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Görschwin Fey, Rolf Drechsler: Using QBF to increase accuracy of SAT-based debugging. ISCAS 2010: 641-644
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Daniel Tille, Rolf Drechsler: Efficient test generation with maximal crosstalk-induced noise using unconstrained aggressor excitation. ISCAS 2010: 649-652
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Finder, Rolf Drechsler: An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. ISMVL 2010: 150-155
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Frehse, Robert Wille, Rolf Drechsler: Efficient Simulation-Based Debugging of Reversible Logic. ISMVL 2010: 156-161
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Michael Miller, Robert Wille, Rolf Drechsler: Reducing Reversible Circuit Cost by Adding Lines. ISMVL 2010: 217-222
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Hoang M. Le, Rolf Drechsler: Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE 2010: 113-122
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, André Sülflow, Rolf Drechsler: Towards Unifying Localization and Explanation for Automated Debugging. MTV 2010: 3-8
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoang M. Le, Daniel Große, Rolf Drechsler: Automatic Fault Localization for SystemC TLM Designs. MTV 2010: 35-40
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler: Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. Electr. Notes Theor. Comput. Sci. 253(6): 57-70 (2010)
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Kühne, Daniel Große, Rolf Drechsler: Towards Fully Automatic Synthesis of Embedded Software. Embedded Systems Letters 2(3): 53-57 (2010)
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Tille, Stephan Eggersglüß, Rolf Drechsler: Incremental Solving Techniques for SAT-based ATPG. IEEE Trans. on CAD of Integrated Circuits and Systems 29(7): 1125-1130 (2010)
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler: BDD-Based Synthesis of Reversible Logic. Int. J. of Applied Metaheuristic Computing 1(4): 25-41 (2010)
274Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel, Rolf Drechsler: MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics. J. Electronic Testing 26(3): 307-322 (2010)
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler: Synthese reversibler Logik (Synthesizing Reversible Logic). it - Information Technology 52(1): 30-38 (2010)
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler: Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits). it - Information Technology 52(4): 216-223 (2010)
2009
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille: Test Pattern Generation using Boolean Proof Engines. Springer 2009: I-XII, 1-192
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler: Contradictory antecedent debugging in bounded model checking. ACM Great Lakes Symposium on VLSI 2009: 173-176
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Daniel Tille, Rolf Drechsler: Speeding up SAT-Based ATPG Using Dynamic Clause Activation. Asian Test Symposium 2009: 177-182
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, André Sülflow, Rolf Drechsler: Computing bounds for fault tolerance using formal techniques. DAC 2009: 190-195
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Rolf Drechsler: BDD-based synthesis of reversible logic for large functions. DAC 2009: 270-275
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Kühne, Daniel Große, Rolf Drechsler: Property analysis and design understanding. DATE 2009: 1246-1249
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler: Debugging of Toffoli networks. DATE 2009: 1284-1289
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler: Increasing the accuracy of SAT-based debugging. DATE 2009: 1326-1331
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Genz, Rolf Drechsler: Overcoming limitations of the SystemC data introspection. DATE 2009: 590-593
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Tille, Rolf Drechsler: A fast untestability proof for SAT-based ATPG. DDECS 2009: 38-43
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler: Robustness Check for Multiple Faults Using Formal Techniques. DSD 2009: 85-90
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Rolf Drechsler: Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques. European Test Symposium 2009: 81-86
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler: SMT-based stimuli generation in the SystemC Verification library. FDL 2009: 1-6
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurthy Palla, Jens Bargfrede, Stephan Eggersglüß, Walter Anheier, Rolf Drechsler: Timing Arc based logic analysis for false noise reduction. ICCAD 2009: 225-230
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Ulrich Kühne, Görschwin Fey, Daniel Große, Rolf Drechsler: WoLFram- A Word Level Framework for Formal Verification. IEEE International Workshop on Rapid System Prototyping 2009: 11-17
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Approximate BDD Minimization by Weighted A. ISCAS 2009: 2974-2977
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler: Evaluation of Cardinality Constraints on SMT-Based Debugging. ISMVL 2009: 298-303
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler: Equivalence Checking of Reversible Circuits. ISMVL 2009: 324-330
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Hoang M. Le, Rolf Drechsler: Induction-Based Formal Verification of SystemC TLM Designs. MTV 2009: 101-106
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Rogin, Rolf Drechsler, Steffen Rülke: Automatic debugging of System-on-a-Chip designs. SoCC 2009: 333-336
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Gerhard W. Dueck, Rolf Drechsler: Reversible Logic Synthesis with Output Permutation. VLSI Design 2009: 189-194
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Tommi A. Junttila, Ilkka Niemelä: Non-Clausal SAT and ATPG. Handbook of Satisfiability 2009: 655-693
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Weighted A* search - unifying view and application. Artif. Intell. 173(14): 1310-1342 (2009)
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 28(5): 703-715 (2009)
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke: Advanced verification by automatic property generation. IET Computers & Digital Techniques 3(4): 338-353 (2009)
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Exact Synthesis of Elementary Quantum Gate Circuits. Multiple-Valued Logic and Soft Computing 15(4): 283-300 (2009)
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Jürgen Schlöffel, Daniel Tille: Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Efficient Satisfiability Solving Algorithms for Test Pattern Generation). it - Information Technology 51(2): 102-111 (2009)
2008
244no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni Di Caro, Rolf Drechsler, Anikó Ekárt, Anna Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Sima Uyar, Shengxiang Yang: Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings Springer 2008
243no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler: Robustness and usability in modern design flows. Springer 2008: I-XIII, 1-166
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Using unsatisfiable cores to debug multiple design errors. ACM Great Lakes Symposium on VLSI 2008: 77-82
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujan Pandey, Rolf Drechsler: Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival. ASP-DAC 2008: 601-606
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujan Pandey, Rolf Drechsler: Slack Allocation Based Co-Synthesis and Optimization of Bus and Memory Architectures for MPSoCs. DATE 2008: 206-211
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke: Automatic Generation of Complex Properties for Hardware Designs. DATE 2008: 545-548
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Tille, Rolf Drechsler: Incremental SAT Instance Generation for SAT-based ATPG. DDECS 2008: 68-73
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler: Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. DSD 2008: 542-549
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler: Contradiction Analysis for Constraint-based Random Simulation. FDL 2008: 130-135
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujan Pandey, Rolf Drechsler, Tudor Murgan, Manfred Glesner: Process variations aware robust on-chip bus architecture synthesis for MPSoCs. ISCAS 2008: 2989-2992
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares. ISMVL 2008: 214-219
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, Rolf Drechsler: RevLib: An Online Resource for Reversible Functions and Reversible Circuits. ISMVL 2008: 220-225
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoina Logofatu, Rolf Drechsler: Comparative Study by Solving the Test Compaction Problem. ISMVL 2008: 44-49
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Rolf Drechsler: On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults. ISMVL 2008: 94-99
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurthy Palla, Jens Bargfrede, Klaus Koch, Walter Anheier, Rolf Drechsler: Adaptive Branch and Bound Using SAT to Estimate False Crosstalk. ISQED 2008: 508-513
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler: A Basis for Formal Robustness Checking. ISQED 2008: 784-789
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler: Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. ISVLSI 2008: 411-416
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Kühne, Daniel Große, Rolf Drechsler: Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow. MTV 2008: 88-93
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1138-1149 (2008)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Logic Minimization and Testability of 2-SPP Networks. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1190-1202 (2008)
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Ulrich Kühne, Rolf Drechsler: Analyzing Functional Coverage in Bounded Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1305-1314 (2008)
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel, Daniel Tille: On Acceleration of SAT-Based ATPG for Industrial Designs. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1329-1333 (2008)
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Safarpour, Andreas G. Veneris, Rolf Drechsler: Improved SAT-based Reachability Analysis with Observability Don't Cares. JSAT 5(1-4): 1-25 (2008)
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler: On the construction of small fully testable circuits with low depth. Microprocessors and Microsystems - Embedded Hardware Design 32(5-6): 263-269 (2008)
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kinder, Rolf Drechsler: Modeling and proving functional completeness in formal verification of counting heads. STTT 10(6): 521-534 (2008)
2007
219no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni Di Caro, Rolf Drechsler, Muddassar Farooq, Andreas Fink, Evelyne Lutton, Penousal Machado, Stefan Minner, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Hideyuki Takagi, Sima Uyar, Shengxiang Yang: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings. Springer 2007
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rüdiger Ebendt, Rolf Drechsler: Improvements for constraint solving in the systemc verification library. ACM Great Lakes Symposium on VLSI 2007: 493-496
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Xiaobo Chen, Gerhard W. Dueck, Rolf Drechsler: Exact sat-based toffoli network synthesis. ACM Great Lakes Symposium on VLSI 2007: 96-101
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Ulrich Kühne, Rolf Drechsler: Estimating functional coverage in bounded model checking. DATE 2007: 1176-1181
215no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Tille, Görschwin Fey, Rolf Drechsler: Instance Generation for SAT-based ATPG. DDECS 2007: 153-156
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kinder, Rolf Drechsler: Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. DSD 2007: 396-403
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler: On the Construction of Small Fully Testable Circuits with Low Depth. DSD 2007: 563-569
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke: An Integrated SystemC Debugging Environment. FDL 2007: 140-145
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler: Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques. FDL 2007: 146-151
210no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Andreas Breiter: Hardware Project Management - What we Can Learn from the Software Development Process for Hardware Design?. ICSOFT (SE) 2007: 409-416
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Görschwin Fey, Rolf Drechsler: SAT-based ATPG for Path Delay Faults in Sequential Circuits. ISCAS 2007: 3671-3674
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard: Visualization of SystemC Designs. ISCAS 2007: 413-416
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Rolf Drechsler: Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC. ISMVL 2007: 42
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahsan Amoui, Daniel Große, Mitchell A. Thornton, Rolf Drechsler: Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL. ISMVL 2007: 50
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Daniel Tille, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel: Experimental Studies on SAT-Based ATPG for Gate Delay Faults. ISMVL 2007: 6
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Kühne, Daniel Große, Rolf Drechsler: Improving the Quality of Bounded Model Checking by Means of Coverage Estimation. ISVLSI 2007: 165-170
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Eggersglüß, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel: Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults. MEMOCODE 2007: 181-187
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Tim Warode, Rolf Drechsler: Reusing Learned Information in SAT-based ATPG. VLSI Design 2007: 69-76
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujan Pandey, Christian Genz, Rolf Drechsler: Co-synthesis of custom on-chip bus and memory for MPSoC architectures. VLSI-SoC 2007: 304-307
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler: SWORD: A SAT like prover using word level information. VLSI-SoC 2007: 88-93
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine Glesner, Jens Knoop, Rolf Drechsler: Preface. Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007)
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeate Muranko, Rolf Drechsler: Technische Dokumentation von Soft- und Hardware in Eingebetteten Systemen (Technical Documentation of Soft- and Hardware in Embedded Systems). it - Information Technology 49(2): 110- (2007)
2006
197no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi: Applications of Evolutionary Computing, EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings Springer 2006
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Ulrich Kühne, Rolf Drechsler: HW/SW co-verification of embedded systems using bounded model checking. ACM Great Lakes Symposium on VLSI 2006: 43-48
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler: On the relation between simulation-based and SAT-based diagnosis. DATE 2006: 1139-1144
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Daniel Große, Rolf Drechsler: Avoiding false negatives in formal verification for protocol-driven blocks. DATE 2006: 1225-1226
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Efficient minimization of fully testable 2-SPP networks. DATE 2006: 1300-1305
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Sülflow, Nicole Drechsler, Rolf Drechsler: Robust Multi-Objective Optimization in High Dimensional Spaces. EMO 2006: 715-726
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoina Logofatu, Rolf Drechsler: Efficient Evolutionary Approaches for the Data Ordering Problem with Inversion. EvoWorkshops 2006: 320-331
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Safarpour, Andreas G. Veneris, Rolf Drechsler: Integrating observability don't cares in all-solution SAT solvers. ISCAS 2006
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: On the sensitivity of BDDs with respect to path-related objective functions. ISCAS 2006
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Junhao Shi, Rolf Drechsler: Efficiency of Multi-Valued Encoding in SAT-based ATPG. ISMVL 2006: 25
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Genz, Rolf Drechsler: System Exploration of SystemC Designs. ISVLSI 2006: 335-342
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: A Framework for Quasi-exact Optimization Using Relaxed Best-First Search. KI 2006: 331-345
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Görschwin Fey: Automatic Test Pattern Generation. SFM 2006: 30-55
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Görschwin Fey, Sebastian Kinder: An Integrated Approach for Combining BDD and SAT Provers. VLSI Design 2006: 237-242
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeate Muranko, Rolf Drechsler: Technical Documentation of Software and Hardware in Embedded Systems. VLSI-SoC 2006: 261-266
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler: Minimizing the number of paths in BDDs: Theory and algorithm. IEEE Trans. on CAD of Integrated Circuits and Systems 25(1): 4-11 (2006)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentina Ciriani, Anna Bernasconi, Rolf Drechsler: Testability of SPP Three-Level Logic Networks in Static Fault Models. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 2241-2248 (2006)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Effect of improved lower bounds in dynamic BDD reordering. IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 902-909 (2006)
2005
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Görschwin Fey, Rolf Drechsler: Advanced BDD optimization. Springer 2005: I-X, 1-222
177no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero: Applications of Evolutionary Computing, EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings Springer 2005
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler: Utilizing don't care states in SAT-based bounded sequential problems. ACM Great Lakes Symposium on VLSI 2005: 264-269
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhao Shi, Görschwin Fey, Rolf Drechsler: Bridging fault testability of BDD circuits. ASP-DAC 2005: 188-191
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Lower bounds for dynamic BDD reordering. ASP-DAC 2005: 579-582
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: Acceleration of SAT-Based Iterative Property Checking. CHARME 2005: 349-353
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Ulrich Kühne, Rolf Drechsler: Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors. GI Jahrestagung (1) 2005: 308-312
171no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler: Post-verification debugging of hierarchical designs. ICCAD 2005: 871-876
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große: SyCE: An Integrated Environment for System Design in SystemC. IEEE International Workshop on Rapid System Prototyping 2005: 258-260
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: CheckSyC: an efficient property checker for RTL SystemC designs. ISCAS (4) 2005: 4167-4170
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Kinder, Görschwin Fey, Rolf Drechsler: Controlling the Memory During Manipulation of Word-Level Decision Diagrams. ISMVL 2005: 250-255
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhao Shi, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel: PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits. ISVLSI 2005: 212-217
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Quasi-Exact BDD Minimization Using Relaxed Best-First Search. ISVLSI 2005: 59-64
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Ulrich Kühne, Rolf Drechsler: HW/SW Co-Verification of a RISC CPU using Bounded Model Checking. MTV 2005: 133-137
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler: Post-Verification Debugging of Hierarchical Designs. MTV 2005: 42-47
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Rolf Drechsler: Exact BDD Minimization for Path-Related Objective Functions. VLSI-SoC 2005: 299-315
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler: Combining ordered best-first search with branch and bound for exact BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1515-1529 (2005)
2004
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünther R. Raidl, Stefano Cagnoni, Jürgen Branke, David Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero: Applications of Evolutionary Computing, EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings Springer 2004
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler: Improving simulation-based verification by means of formal methods. ASP-DAC 2004: 640-643
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler: Minimization of the expected path length in BDDs based on local changes. ASP-DAC 2004: 865-870
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler: Combining ordered best-first search with branch and bound for exact BDD minimization. ASP-DAC 2004: 875-878
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Safarpour, Andreas G. Veneris, Rolf Drechsler, Joanne Lee: Managing Don't Cares in Boolean Satisfiability. DATE 2004: 260-265
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Junhao Shi, Rolf Drechsler: BDD Circuit Optimization for Path Delay Fault Testability. DSD 2004: 168-172
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Mario Hilgemeier, Görschwin Fey, Rolf Drechsler: Disjoint Sum of Product Minimization by Evolutionary Algorithms. EvoWorkshops 2004: 198-207
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir: Debugging sequential circuits using Boolean satisfiability. ICCAD 2004: 204-209
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Towards Formal Verification on the System Level. IEEE International Workshop on Rapid System Prototyping 2004: 2-5
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Jankovic, Radomir S. Stankovic, Rolf Drechsler: Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Propertie. ISMVL 2004: 223-228
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler, Maciej J. Ciesielski: Algorithms for Taylor Expansion Diagrams. ISMVL 2004: 235-240
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: Checkers for SystemC designs. MEMOCODE 2004: 171-178
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith: Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Junhao Shi, Görschwin Fey: Synthesis of fully testable circuits from BDDs. IEEE Trans. on CAD of Integrated Circuits and Systems 23(3): 440-443 (2004)
2003
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Junhao Shi, Görschwin Fey: MuTaTe: an efficient design for testability technique for multiplexor based circuits. ACM Great Lakes Symposium on VLSI 2003: 80-83
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler: Minimization of Transitions by Complementation and Resequencing using Evolutionary Algorithms. Applied Informatics 2003: 109-114
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunhao Shi, Görschwin Fey, Rolf Drechsler: BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability. Asian Test Symposium 2003: 290-293
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler: Combination of Lower Bounds in Exact BDD Minimization. DATE 2003: 10758-10763
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Hilgemeier, Nicole Drechsler, Rolf Drechsler: Fast Heuristics for the Edge Coloring of Large Graphs. DSD 2003: 230-239
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler: GAME-HDL: Implementation of Evolutionary Algorithms Using Hardware Description Languages. EvoWorkshops 2003: 378-387
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler, Lothar Linhard, Gerhard Angst: Efficient Automatic Visualization of SystemC Designs. FDL 2003: 646-658
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Synthesizing checkers for on-line verification of System-on-Chip designs. ISCAS (4) 2003: 748-751
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: Formal verification of LTL formulas for SystemC designs. ISCAS (5) 2003: 245-248
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis V. Popel, Rolf Drechsler: Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified Functions. ISMVL 2003: 241-246
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Görschwin Fey, Rolf Drechsler: Modeling Multi-Valued Circuits in SystemC. ISMVL 2003: 281-286
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Sebastian Kinder, Rolf Drechsler: Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. ISMVL 2003: 361-366
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Michael Miller, Rolf Drechsler: Augmented Sifting of Multiple-Valued Decision Diagrams. ISMVL 2003: 375-382
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler: Finding Good Counter-Examples to Aid Design Verification. MEMOCODE 2003: 51-
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentina Ciriani, Anna Bernasconi, Rolf Drechsler: Testability of SPP Three-Level Logic Networks. VLSI-SOC 2003: 331-336
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Rolf Drechsler: Exploration of Sequential Depth by Evolutionary Algorithms. VLSI-SOC 2003: 81-85
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor: Polynomial Formal Verification of Multipliers. Formal Methods in System Design 22(1): 39-58 (2003)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Rolf Drechsler, Bernd Becker: Exact Routing with Search Space Reduction. IEEE Trans. Computers 52(6): 815-825 (2003)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams. IEEE Trans. Computers 52(9): 1196-1209 (2003)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler: An improved branch and bound algorithm for exact BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 22(12): 1657-1663 (2003)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst: Recursive bi-partitioning of netlists for large number of partitions. Journal of Systems Architecture 49(12-15): 521-528 (2003)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Große, Rolf Drechsler: Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC. it - Information Technology 45(4): 219-226 (2003)
2002
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWhitney J. Townsend, Mitchell A. Thornton, Rolf Drechsler, D. Michael Miller: Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations. ACM Great Lakes Symposium on VLSI 2002: 178-183
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Jankovic, Radomir S. Stankovic, Rolf Drechsler: Decision Diagram Optimization Using Copy Properties. DSD 2002: 236-243
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Daniel Große: Reachability Analysis for Formal Verification of SystemC. DSD 2002: 337-340
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst: Recursive Bi-Partitioning of Netlists for Large Number of Partitions. DSD 2002: 38-44
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eschbach, Wolfgang Günther, Rolf Drechsler, Bernd Becker: Crossing Reduction by Windows Optimization. Graph Drawing 2002: 285-294
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler: Switching activity estimation of finite state machines for low power synthesis. ISCAS (4) 2002: 65-68
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Michael Miller, Rolf Drechsler: On the Construction of Multiple-Valued Decision Diagrams. ISMVL 2002: 245-253
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Evaluation of Static Variable Ordering Heuristics for MDD Construction. ISMVL 2002: 254-260
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSherief Reda, Rolf Drechsler, Alex Orailoglu: On the Relation between SAT and BDDs for Equivalence Checking. ISQED 2002: 394-399
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell A. Thornton, Rolf Drechsler, D. Michael Miller: Multi-Output Timed Shannon Circuits. ISVLSI 2002: 47-52
115no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton: Low Power Optimization Techniques for BDD Mapped Finite State Machines. IWLS 2002: 143-148
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaik Brinkmann, Rolf Drechsler: RTL-Datapath Verification using Integer Linear Programming. VLSI Design 2002: 741-746
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Nicole Drechsler, Daniel Große, Rolf Drechsler: Heuristic Learning Based on Genetic Programming. Genetic Programming and Evolvable Machines 3(4): 363-388 (2002)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Minimization of free BDDs. Integration 32(1-2): 41-59 (2002)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Verifying integrity of decision diagrams. Integration 32(1-2): 61-75 (2002)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Stefan Höreth: Minimization of Word-Level Decision Diagrams. Integration 33(1-2): 39-70 (2002)
2001
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller: Spectral techniques in VLSI CAD. Kluwer 2001: I-XIII, 1-250
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler: Low power optimization technique for BDD mapped circuits. ASP-DAC 2001: 615-621
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell A. Thornton, Rolf Drechsler: Spectral decision diagrams using graph transformations. DATE 2001: 713-719
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Lothar Linhard, Gerhard Angst: Level Assignment for Displaying Combinational Logic. DSD 2001: 148-151
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Thomas Eschbach, Rolf Drechsler, Wolfgang Günther: Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement. DSD 2001: 54-61
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMigyoung Jung, Gueesang Lee, Sungju Park, Rolf Drechsler: Minimization of OPKFDDs Using Genetic Algorithms. DSD 2001: 72-78
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Rolf Drechsler, Bernd Becker: Multi-objective Optimisation Based on Relation Favour. EMO 2001: 154-166
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Frank Schmiedle, Daniel Große, Rolf Drechsler: Heuristic Learning Based on Genetic Programming. EuroGP 2001: 1-10
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Daniel Große, Rolf Drechsler, Bernd Becker: Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics. Fuzzy Days 2001: 479-491
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Wolfgang Günther, Rolf Drechsler: Selection of Efficient Re-Ordering Heuristics for MDD Construction. ISMVL 2001: 299-304
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Implementation of Read- k-times BDDs on Top of Standard BDD Packages. VLSI Design 2001: 173-178
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Performance Driven Optimization for MUX based FPGAs. VLSI Design 2001: 311-316
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeer Johannsen, Rolf Drechsler: Speeding Up Verification of RTL Designs by Computing One-to-one Abstractions with Reduced Signal Widths. VLSI-SOC 2001: 361-374
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Jankovic, Radomir S. Stankovic, Rolf Drechsler: Decision Diagram Method for Calculation of Pruned Walsh Transform. IEEE Trans. Computers 50(2): 147-157 (2001)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Fabio Somenzi: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 20(1): 51-57 (2001)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther: History-based dynamic BDD minimization. Integration 31(1): 51-63 (2001)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Detlef Sieling: Binary decision diagrams in theory and practice. STTT 3(2): 112-136 (2001)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment). it+ti - Informationstechnik und Technische Informatik 43(4): 200-205 (2001)
2000
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Verification of Designs Containing Black Boxes. EUROMICRO 2000: 1100-1105
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAs. EUROMICRO 2000: 1130-1137
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther, Bernd Becker: Testability of Circuits Derived from Lattice Diagrams. EUROMICRO 2000: 1188-1192
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker: Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO 2000: 1425-
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Improving EAs for Sequencing Problems. GECCO 2000: 175-180
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO 2000: 369
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther: Evolutionary Synthesis of Multiplexor Circuits under Hardware Constraints. GECCO 2000: 513-518
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler, Stefan Höreth: Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. ICCD 2000: 383-388
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Lindgren, Rolf Drechsler, Bernd Becker: Minimization of Ordered Pseudo Kronecker Decision Diagrams. ICCD 2000: 504-
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Jankovic, Wolfgang Günther, Rolf Drechsler: Lower Bound Sifting for MDDs. ISMVL 2000: 193-198
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Wolfgang Günther, Rolf Drechsler: Dynamic Re-Encoding During MDD Minimization. ISMVL 2000: 239-244
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Mitchell A. Thornton, David Wessels: MDD-Based Synthesis of Multi-Valued Logic Networks. ISMVL 2000: 41-46
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell A. Thornton, Rolf Drechsler, Wolfgang Günther: A Method for Approximate Equivalence Checking. ISMVL 2000: 447-452
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Mitchell A. Thornton: Computation of Spectral Information from Logic Netlists. ISMVL 2000: 53-58
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler, Wolfgang Günther: Fast exact minimization of BDD's. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 384-389 (2000)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: On the computational power of linearly transformed BDDs. Inf. Process. Lett. 75(3): 119-125 (2000)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker, Nicole Drechsler: OKFDD minimization by genetic algorithms with application to circuit design. Integration 28(2): 121-139 (2000)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Zuzek, Rolf Drechsler, Mitchell A. Thornton: Boolean function representation and spectral characterization using AND/OR graphs. Integration 29(2): 101-116 (2000)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: ACTion: Combining logic synthesis and technology mapping for MUX-based FPGAs. Journal of Systems Architecture 46(14): 1321-1334 (2000)
1999
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYibin Ye, Kaushik Roy, Rolf Drechsler: Power Consumption in XOR-Based Circuits. ASP-DAC 1999: 299-302
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler: Exploiting Don't Caers During Data Sequencing using Genetic Algorithms. ASP-DAC 1999: 303-
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Minimization of Free BDDs. ASP-DAC 1999: 323-326
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther: Using Lower Bounds During Dynamic BDD Minimization. DAC 1999: 29-32
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Höreth, Rolf Drechsler: Formal Verification of Word-Level Specifications. DATE 1999: 52-57
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell A. Thornton, J. P. Williams, Rolf Drechsler, Nicole Drechsler: Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities. DATE 1999: 758-759
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther: Generation of Optimal Universal Logic Modules. EUROMICRO 1999: 1080-1085
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Dragan Jankovic, Radomir S. Stankovic: Generic Implementation of DD Packages in MVL. EUROMICRO 1999: 1352-1359
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Checking Integrity During Dynamic Reordering in Decision Diagrams. EUROMICRO 1999: 1360-1367
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Rolf Drechsler, Bernd Becker: Multi-objected Optimization in Evolutionary Algorithms Using Satisfiability Classes. Fuzzy Days 1999: 108-117
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Drechsler, Wolfgang Günther, Rolf Drechsler: Efficient Graph Coloring by Evolutionary Algorithms. Fuzzy Days 1999: 30-39
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Efficient manipulation algorithms for linearly transformed BDDs. ICCAD 1999: 50-54
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Lindgren, Rolf Drechsler, Bernd Becker: Synthesis of Pseudo Kronecker Lattice Diagrams. ICCD 1999: 307-310
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Minimization of BDDs using linear transformations based on evolutionary techniques. ISCAS (1) 1999: 387-390
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Marc Herbstritt, Bernd Becker: Grouping heuristics for word-level decision diagrams. ISCAS (1) 1999: 411-414
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Schmiedle, Rolf Drechsler, Bernd Becker: Exact channel routing using symbolic representation. ISCAS (6) 1999: 394-397
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranc Brglez, Rolf Drechsler: Design of experiments in CAD: context and new data sets for ISCAS'99. ISCAS (6) 1999: 424-427
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Creating hard problem instances in logic synthesis using exact minimization. ISCAS (6) 1999: 436-439
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Wolfgang Günther: History-Based Dynamic Minimization During BDD Construction. VLSI 1999: 334-345
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Preudo-Kronecker Expressions for Symmetric Functions. IEEE Trans. Computers 48(9): 987-990 (1999)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Evolutionary Algorithms for VLSI CAD [book Review]. IEEE Trans. Evolutionary Computation 3(3): 251-253 (1999)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler: BDD minimization using symmetries. IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 81-100 (1999)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf 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)
1998
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker: Graphenbasierte Funktionsdarstellung - Boolesche und Pseudo-Boolesche Funktionen. Teubner 1998: 1-200
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Stefan Höreth: Manipulation of *BMDs. ASP-DAC 1998: 433-438
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGueesang Lee, Rolf Drechsler: ETDD-Based Synthesis of Term-Based FPGAs for Incompletely Specified Boolean Functions. ASP-DAC 1998: 75-80
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Drechsler, Wolfgang Günther: Fast Exact Minimization of BDDs. DAC 1998: 200-205
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Höreth, Rolf Drechsler: Dynamic Minimization of Word-Level Decision Diagrams. DATE 1998: 612-617
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Günther, Rolf Drechsler: Linear Transformations and Exact Minimization of BDDs. Great Lakes Symposium on VLSI 1998: 325-330
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. ISMVL 1998: 215-
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Miller, Rolf Drechsler: Implementing a Multiple-Valued Decision Diagram Package. ISMVL 1998: 52-57
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Lindgren, Rolf Drechsler, Bernd Becker: Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions. ISMVL 1998: 95-
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Verifying Integrity of Decision Diagrams. SAFECOMP 1998: 380-389
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker, Andrea Jahnke: On Variable Ordering and Decomposition Type Choice in OKFDDs. IEEE Trans. Computers 47(12): 1398-1403 (1998)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Martin Sauerhoff, Detlef Sieling: The complexity of the inclusion operation on OFDD's. IEEE Trans. on CAD of Integrated Circuits and Systems 17(5): 457-459 (1998)
1997
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hett, Rolf Drechsler, Bernd Becker: Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker: Testability of 2-level AND/EXOR circuits. ED&TC 1997: 548-553
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Scholl, Rolf Drechsler, Bernd Becker: Functional simulation using binary decision diagrams. ICCAD 1997: 8-12
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Martin Keim, Bernd Becker: Fault Simulation in Sequential Multi-Valued Logic Networks. ISMVL 1997: 145-
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCraig M. Files, Rolf Drechsler, Marek A. Perkowski: Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams. ISMVL 1997: 27-
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadomir S. Stankovic, Rolf Drechsler: Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions. ISMVL 1997: 275-280
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Martin Keim, Bernd Becker: Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. ISMVL 1997: 66-
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker, Stefan Ruppertz: Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler, Sudhakar M. Reddy: (Quasi-) Linear Path Delay Fault Tests for Adders. VLSI Design 1997: 101-105
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler: Decision Diagrams in Synthesis - Algorithms, Applications and Extensions. VLSI Design 1997: 46-50
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Pseudo Kronecker Expressions for Symmetric Functions. VLSI Design 1997: 511-513
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor: Polynomial Formal Verification of Multipliers. VTS 1997: 150-157
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler, Michael Theobald: On the Expressive Power of OKFDDs. Formal Methods in System Design 11(1): 5-21 (1997)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker, Stefan Ruppertz: The K*BMD: A Verification Data Structure. IEEE Design & Test of Computers 14(2): 51-59 (1997)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry 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-
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: Verification of Multi-Valued Logic Networks. ISMVL 1996: 10-15
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Nicole Göckel, Bernd Becker: Learning Heuristics for OBDD Minimization by Evolutionary Algorithms. PPSN 1996: 730-739
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Michael Theobald, Bernd Becker: Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers 45(11): 1294-1299 (1996)
1995
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker: Learning heuristics by genetic algorithms. ASP-DAC 1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler, Michael Theobald: OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker: Dynamic minimization of OKFDDs. ICCD 1995: 602-
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Rolf Krieger, Bernd Becker: Random Pattern Fault Simulation in Multi-Valued Circuits. ISMVL 1995: 98-103
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler, Ralph Werchner: On the Relation Betwen BDDs and FDDs. LATIN 1995: 72-83
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry Hengster, Rolf Drechsler, Bernd Becker: On the application of local circuit transformations with special emphasis on path delay fault testability. VTS 1995: 387-392
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler, Ralph Werchner: On the Relation between BDDs and FDDs. Inf. Comput. 123(2): 185-197 (1995)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry Hengster, Rolf Drechsler, Bernd Becker: On local transformations and path delay fault testability. J. Electronic Testing 7(3): 173-191 (1995)
1994
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler: Testability of Circuits Derived from Functional Decision Diagrams. EDAC-ETC-EUROASIC 1994: 667
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Bernd Becker, Michael Theobald: Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler: BiTeS: a BDD based test pattern generator for strong robust path delay faults. EURO-DAC 1994: 322-327
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler: OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms. ICCD 1994: 106-110
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Rolf Drechsler: Efficient Graph Based Representation of Multi-Valued Functions with an Application to Genetic Algorithms. ISMVL 1994: 65-72
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry 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

Coauthor Index

1Magdy S. Abadir [149] [154] [164] [171]
2Alexandros Agapitos [328]
3Moayad Fahim Ali [149] [154] [164] [171]
4Bijan Alizadeh [287]
5Mahsan Amoui [206]
6Gerhard Angst [106] [122] [127] [141] [208] [237]
7Walter Anheier [230] [258]
8Jens Bargfrede [230] [258]
9Mohamed Bawadekji [312]
10Bernd Becker [1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [26] [27] [28] [29] [32] [33] [34] [35] [37] [38] [40] [42] [48] [49] [56] [57] [59] [62] [74] [82] [85] [87] [88] [90] [93] [101] [103] [105] [121] [130] [131]
11Anna Bernasconi [133] [180] [193] [213] [221] [225]
12Roderick Bloem (Roderick Paul Bloem) [190] [226] [242]
13Anthony Brabazon [219] [244] [319]
14Jürgen Branke [161] [177] [197]
15Cécile Braunstein [264]
16Andreas Breiter [210]
17Franc Brglez [55]
18Raik Brinkmann [114]
19Stefano Cagnoni [161] [177] [197] [219] [244] [328]
20Gianni A. Di Caro (Gianni Di Caro) [219] [244] [319] [328]
21Xiaobo Chen [217]
22Cecilia Di Chio [319] [328]
23Maciej J. Ciesielski [151]
24Valentina Ciriani [133] [180] [193] [213] [221] [225]
25David W. Corne (David Corne) [161] [177]
26Ernesto Costa (Ernesto Jorge Costa) [197]
27Carlos Cotta [197] [328]
28Nicole Drechsler [42] [45] [61] [62] [66] [70] [74] [76] [85] [87] [90] [93] [102] [103] [113] [132] [142] [143] [146] [155] [192]
29Gerhard W. Dueck [217] [233] [234] [246] [248] [251] [265] [295] [296] [303]
30Rüdiger Ebendt [128] [144] [158] [159] [162] [163] [166] [174] [178] [179] [185] [188] [218] [249] [256]
31Stefan Eckrich [20]
32Stephan Eggersglüß [200] [203] [205] [209] [223] [231] [245] [258] [260] [269] [271] [274] [276] [285] [291] [304] [314]
33Anikó Ekárt [244] [328]
34Thomas Eschbach [105] [121] [122] [127]
35Anna Esparcia-Alcázar (Anna Isabel Esparcia-Alcázar) [244] [328]
36A. Sima Etaner-Uyar (Sima Uyar) [219] [244] [319] [328]
37Muddassar Farooq [219] [244] [319] [328]
38Görschwin Fey [134] [136] [137] [145] [147] [148] [151] [155] [156] [160] [167] [168] [170] [175] [176] [178] [181] [183] [184] [187] [190] [194] [195] [200] [202] [203] [205] [209] [213] [215] [221] [223] [226] [229] [237] [239] [242] [243] [245] [247] [255] [257] [261] [264] [268] [271] [272] [274] [280] [286] [287] [292] [293] [294] [305] [313]
39Craig M. Files [31]
40Alexander Finder [284] [311]
41Andreas Fink [219] [244]
42Stefan Frehse [261] [265] [272] [283] [292] [293] [299] [303] [305] [307] [320]
43Martin Freibothe [313]
44Masahiro Fujita [287]
45Christian Genz [170] [186] [201] [208] [212] [263]
46Mario Giacobini [219] [244]
47Manfred Glesner [235]
48Sabine Glesner [199]
49Andreas Glowatz [167] [203] [205] [223] [274]
50Nicole Göckel [18]
51Martin Gogolla [297]
52Jörn Grahl [319]
53Gary Greenfield (Gary R. Greenfield) [319]
54Markus Groß [318]
55Daniel Große [101] [102] [113] [123] [126] [137] [139] [141] [150] [165] [169] [170] [172] [173] [194] [196] [200] [204] [206] [211] [216] [217] [218] [224] [227] [228] [233] [234] [236] [246] [248] [251] [253] [254] [257] [259] [265] [266] [270] [277] [279] [281] [288] [302] [303] [309] [312] [318] [323]
56Juan Julián Merelo Guervós (Juan J. Merelo Guervós) [328]
57Wolfgang Günther [43] [45] [53] [54] [58] [60] [61] [65] [68] [69] [72] [75] [76] [78] [80] [81] [83] [84] [86] [88] [89] [90] [94] [95] [98] [99] [100] [105] [106] [110] [112] [121] [122] [127] [128] [129] [144] [158] [159] [162]
58Finn Haedicke [259] [287] [323]
59Friedrich Hapke [167] [203] [205] [223] [274]
60Joachim Hartmann [34] [49]
61Harry Hengster [1] [8] [11] [20] [34] [49]
62Marc Herbstritt [57]
63Andreas Hett [35]
64Mario Hilgemeier [143] [155]
65Christoph Hilken [327]
66Stefan Höreth [44] [47] [67] [83] [110]
67Andrea Jahnke [38]
68Dragan Jankovic [64] [81] [96] [124] [152]
69Yaochu Jin [161] [177]
70Peer Johannsen [97]
71Colin G. Johnson [161]
72Jean Christoph Jung [299]
73Migyoung Jung [104]
74Tommi A. Junttila [250]
75Martin Keim [24] [29] [32] [42] [93] [131]
76Mikael Kerttu [108] [115] [120]
77Oliver Keszocze [315]
78Sebastian Kinder [136] [168] [183] [214] [220]
79Wolfgang Klingauf [211]
80Thomas Klotz [239] [247]
81Jens Knoop [199]
82Klaus Koch [230]
83Rene Krenz-Baath [291]
84Rolf Krieger [13]
85Mirco Kuhlmann [297]
86Ulrich Kühne [165] [172] [196] [204] [216] [224] [227] [257] [264] [266] [270] [277] [313] [318]
87William B. Langdon [328]
88Hoang M. Le [253] [279] [281] [288]
89Gueesang Lee [46] [104]
90Joanne Lee [157]
91Per Lindgren [40] [59] [82] [108] [115] [120]
92Lothar Linhard [106] [122] [127] [141] [208] [237]
93Doina Logofatu [191] [232]
94Evelyne Lutton [197] [219]
95Penousal Machado [161] [177] [197] [219]
96Elke Mackensen [85] [87]
97Elena Marchiori [161] [177]
98Michael Martin [24] [131]
99Jon McCormack [244]
100Marc Messing [237]
101Marc Michael [309]
102D. Miller [41]
103D. Michael Miller [109] [116] [119] [125] [135] [254] [282]
104Stefan Minner [219]
105Paul Molitor [10] [24] [50] [131]
106Dirk Möller [50]
107Jason H. Moore [197]
108Beate Muranko [182] [198]
109Tudor Murgan [235]
110Ilkka Niemelä [250]
111Michael O'Neill [219] [244]
112Sebastian Offermann [290] [296] [310]
113Alex Orailoglu [117]
114Alberto García Ortiz [326]
115Christof Osewold [326]
116Murthy Palla [230] [258]
117Sujan Pandey [201] [235] [240] [241]
118Sungju Park [104]
119Hernan Peraza [211]
120Marek A. Perkowski [7] [31]
121Tonja Pfeiffer [20]
122Denis V. Popel [138]
123Mike Preuss (Mike Preuß) [328]
124Christian Prins [319]
125Nils Przigoda [327]
126Günther R. Raidl [161]
127Sherief Reda [117]
128Sudhakar M. Reddy [27]
129Hendrik Richter [328]
130Frank Rogin [212] [239] [247] [252] [300]
131Juan Romero [177] [197] [219] [244] [319]
132Franz Rothlauf [161] [177] [197] [219] [244]
133Kaushik Roy [71]
134Steffen Rülke [212] [239] [247] [252]
135Stefan Ruppertz [22] [28]
136Sean Safarpour [149] [154] [157] [164] [171] [176] [189] [195] [222]
137Andisheh Sarabi [7]
138Martin Sauerhoff [36]
139Horst Schäfer [34] [49]
140Jürgen Schlöffel [167] [203] [205] [223] [245] [274] [291]
141Frank Schmiedle [56] [80] [100] [101] [102] [113] [130]
142Christoph Scholl [33] [50]
143Tobias Schubert [85] [87]
144Freescale Semiconductor [149]
145Junhao Shi [145] [147] [148] [156] [167] [175] [187]
146Robert Siegmund [236]
147Detlef Sieling [36] [92]
148Sara Silva [328]
149Anabela Simões [328]
150Alexander Smith [149] [154]
151George D. Smith [161] [177] [197]
152Mathias Soeken [228] [295] [297] [298] [306] [307] [313] [316] [320] [322] [324] [325] [327]
153Fabio Somenzi [95]
154Giovanni Squillero [161] [177] [197] [219] [244] [319] [328]
155Stefan Staber [190] [226]
156Radomir S. Stankovic [30] [64] [96] [124] [152]
157André Sülflow [192] [207] [242] [255] [257] [261] [264] [268] [272] [280] [286] [289] [292] [305]
158Hideyuki Takagi [197] [219]
159Ernesto Tarantino [319] [328]
160Andrea Tettamanzi [319] [328]
161Lisa Teuber [233]
162Michael Theobald [5] [7] [15] [17] [23]
163Mitchell A. Thornton (Mitchell Aaron Thornton) [66] [73] [77] [78] [79] [107] [108] [109] [115] [116] [120] [125] [206]
164Daniel Tille [205] [215] [223] [238] [245] [262] [269] [271] [276] [285] [291]
165Julian Togelius [328]
166Whitney J. Townsend [125]
167Irek Ulidowski [321]
168Neil Urquhart [319] [328]
169Francisco Fernández de Vega [328]
170Andreas G. Veneris [149] [154] [157] [164] [171] [176] [189] [195] [222]
171Tiziano Villa [193] [225]
172Tim Warode [202]
173Ralph Werchner [9] [12]
174David Wessels [79]
175Robert Wille [200] [228] [233] [234] [236] [237] [246] [248] [251] [254] [255] [259] [265] [267] [270] [273] [275] [278] [282] [283] [290] [295] [296] [297] [298] [299] [301] [303] [306] [307] [308] [310] [311] [315] [316] [317] [320] [321] [322] [324] [325] [326] [327]
176J. P. Williams [66]
177Shengxiang Yang [219] [244]
178Georgios N. Yannakakis [328]
179Yibin Ye [71]
180Hongyan Zhang [308] [317]
181A. Zuzek [73]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page