2006 |
49 | EE | Thomas Eschbach,
Wolfgang Günther,
Bernd Becker:
Orthogonal Hypergraph Drawing for Improved Visibility.
J. Graph Algorithms Appl. 10(2): 141-157 (2006) |
2005 |
48 | EE | Thomas Eschbach,
Wolfgang Günther,
Bernd Becker:
Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases.
VLSI Design 2005: 433-438 |
47 | EE | Rü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 |
46 | EE | Thomas Eschbach,
Wolfgang Günther,
Bernd Becker:
Orthogonal hypergraph routing for improved visibility.
ACM Great Lakes Symposium on VLSI 2004: 385-388 |
45 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Minimization of the expected path length in BDDs based on local changes.
ASP-DAC 2004: 865-870 |
44 | EE | Rü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 |
2003 |
43 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Combination of Lower Bounds in Exact BDD Minimization.
DATE 2003: 10758-10763 |
42 | | Thomas Eschbach,
Wolfgang Günther,
Bernd Becker:
Cross Reduction for Orthogonal Circuit Visualization.
VLSI 2003: 107-113 |
41 | EE | Wolfgang Günther,
Rolf Drechsler:
Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams.
IEEE Trans. Computers 52(9): 1196-1209 (2003) |
40 | EE | Rü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) |
39 | EE | Ilia Polian,
Wolfgang Günther,
Bernd Becker:
Pattern-based verification of connections to intellectual property cores.
Integration 35(1): 25-44 (2003) |
38 | EE | Rolf 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) |
2002 |
37 | EE | Rolf Drechsler,
Wolfgang Günther,
Thomas Eschbach,
Lothar Linhard,
Gerhard Angst:
Recursive Bi-Partitioning of Netlists for Large Number of Partitions.
DSD 2002: 38-44 |
36 | EE | Thomas Eschbach,
Wolfgang Günther,
Rolf Drechsler,
Bernd Becker:
Crossing Reduction by Windows Optimization.
Graph Drawing 2002: 285-294 |
35 | EE | Wolfgang Günther,
Rolf Drechsler:
Minimization of free BDDs.
Integration 32(1-2): 41-59 (2002) |
34 | EE | Rolf Drechsler,
Wolfgang Günther,
Stefan Höreth:
Minimization of Word-Level Decision Diagrams.
Integration 33(1-2): 39-70 (2002) |
2001 |
33 | EE | Wolfgang Günther,
Andreas Hett,
Bernd Becker:
Application of linearly transformed BDDs in sequential verification.
ASP-DAC 2001: 91-96 |
32 | EE | Ilia Polian,
Wolfgang Günther,
Bernd Becker:
Efficient Pattern-Based Verification of Connections to IP Cores .
Asian Test Symposium 2001: 443-448 |
31 | EE | Rolf Drechsler,
Wolfgang Günther,
Lothar Linhard,
Gerhard Angst:
Level Assignment for Displaying Combinational Logic.
DSD 2001: 148-151 |
30 | EE | Bernd Becker,
Thomas Eschbach,
Rolf Drechsler,
Wolfgang Günther:
Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement.
DSD 2001: 54-61 |
29 | | Frank Schmiedle,
Wolfgang Günther,
Rolf Drechsler:
Selection of Efficient Re-Ordering Heuristics for MDD Construction.
ISMVL 2001: 299-304 |
28 | EE | Wolfgang Günther,
Rolf Drechsler:
Implementation of Read- k-times BDDs on Top of Standard BDD Packages.
VLSI Design 2001: 173-178 |
27 | EE | Wolfgang Günther,
Rolf Drechsler:
Performance Driven Optimization for MUX based FPGAs.
VLSI Design 2001: 311-316 |
26 | EE | Rolf 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) |
25 | EE | Rolf Drechsler,
Wolfgang Günther:
History-based dynamic BDD minimization.
Integration 31(1): 51-63 (2001) |
2000 |
24 | EE | Wolfgang Günther,
Nicole Drechsler,
Rolf Drechsler,
Bernd Becker:
Verification of Designs Containing Black Boxes.
EUROMICRO 2000: 1100-1105 |
23 | EE | Wolfgang Günther,
Rolf Drechsler:
ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAs.
EUROMICRO 2000: 1130-1137 |
22 | EE | Rolf Drechsler,
Wolfgang Günther,
Bernd Becker:
Testability of Circuits Derived from Lattice Diagrams.
EUROMICRO 2000: 1188-1192 |
21 | | Wolfgang Günther,
Rolf Drechsler:
Improving EAs for Sequencing Problems.
GECCO 2000: 175-180 |
20 | | Rolf Drechsler,
Wolfgang Günther:
Evolutionary Synthesis of Multiplexor Circuits under Hardware Constraints.
GECCO 2000: 513-518 |
19 | EE | Wolfgang Günther,
Robby Schönfeld,
Bernd Becker,
Paul Molitor:
k-Layer Straightline Crossing Minimization by Speeding Up Sifting.
Graph Drawing 2000: 253-258 |
18 | EE | Wolfgang Günther,
Rolf Drechsler,
Stefan Höreth:
Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation.
ICCD 2000: 383-388 |
17 | EE | Dragan Jankovic,
Wolfgang Günther,
Rolf Drechsler:
Lower Bound Sifting for MDDs.
ISMVL 2000: 193-198 |
16 | EE | Frank Schmiedle,
Wolfgang Günther,
Rolf Drechsler:
Dynamic Re-Encoding During MDD Minimization.
ISMVL 2000: 239-244 |
15 | EE | Mitchell A. Thornton,
Rolf Drechsler,
Wolfgang Günther:
A Method for Approximate Equivalence Checking.
ISMVL 2000: 447-452 |
14 | EE | Rolf 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) |
13 | EE | Wolfgang Günther,
Rolf Drechsler:
On the computational power of linearly transformed BDDs.
Inf. Process. Lett. 75(3): 119-125 (2000) |
1999 |
12 | EE | Wolfgang Günther,
Rolf Drechsler:
Minimization of Free BDDs.
ASP-DAC 1999: 323-326 |
11 | EE | Rolf Drechsler,
Wolfgang Günther:
Using Lower Bounds During Dynamic BDD Minimization.
DAC 1999: 29-32 |
10 | EE | Rolf Drechsler,
Wolfgang Günther:
Generation of Optimal Universal Logic Modules.
EUROMICRO 1999: 1080-1085 |
9 | | Nicole Drechsler,
Wolfgang Günther,
Rolf Drechsler:
Efficient Graph Coloring by Evolutionary Algorithms.
Fuzzy Days 1999: 30-39 |
8 | EE | Wolfgang Günther,
Rolf Drechsler:
Efficient manipulation algorithms for linearly transformed BDDs.
ICCAD 1999: 50-54 |
7 | EE | Wolfgang Günther,
Rolf Drechsler:
Minimization of BDDs using linear transformations based on evolutionary techniques.
ISCAS (1) 1999: 387-390 |
6 | EE | Wolfgang Günther,
Rolf Drechsler:
Creating hard problem instances in logic synthesis using exact minimization.
ISCAS (6) 1999: 436-439 |
5 | | Rolf Drechsler,
Wolfgang Günther:
History-Based Dynamic Minimization During BDD Construction.
VLSI 1999: 334-345 |
1998 |
4 | EE | Rolf Drechsler,
Nicole Drechsler,
Wolfgang Günther:
Fast Exact Minimization of BDDs.
DAC 1998: 200-205 |
3 | EE | Wolfgang Günther,
Rolf Drechsler:
Linear Transformations and Exact Minimization of BDDs.
Great Lakes Symposium on VLSI 1998: 325-330 |
1993 |
2 | | Stefan Geyer,
Wolfgang Günther,
Siegfried Paul:
Erfahrungen bei objektorientierter SW-Entwicklung für ein großes Prjekt: 10 Thesen.
GI Jahrestagung 1993: 433-438 |
1 | | Wolfgang Günther,
Jürgen F. H. Winkler:
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt.
Informatik Spektrum 16(6): 341-348 (1993) |