2008 | ||
---|---|---|
175 | EE | Martin Dietzfelbinger, Jonathan E. Rowe, Ingo Wegener, Philipp Woelfel: Precision, local search and unimodal functions. GECCO 2008: 771-778 |
174 | EE | Beate Bollig, Niko Range, Ingo Wegener: Exact OBDD Bounds for Some Fundamental Functions. SOFSEM 2008: 174-185 |
173 | EE | Martin Dietzfelbinger, Jonathan E. Rowe, Ingo Wegener, Philipp Woelfel: Tight Bounds for Blind Search on the Integers. STACS 2008: 241-252 |
172 | EE | Martin Dietzfelbinger, Jonathan E. Rowe, Ingo Wegener, Philipp Woelfel: Tight Bounds for Blind Search on the Integers CoRR abs/0802.2852: (2008) |
2007 | ||
171 | EE | Robin Nunkesser, Thorsten Bernholt, Holger Schwender, Katja Ickstadt, Ingo Wegener: Detecting high-order interactions of single nucleotide polymorphisms using genetic programming. Bioinformatics 23(24): 3280-3288 (2007) |
170 | EE | Ingo Wegener, Philipp Woelfel: New Results on the Complexity of the Middle Bit of Multiplication. Computational Complexity 16(3): 298-323 (2007) |
169 | EE | Beate Bollig, Niko Range, Ingo Wegener: Exact OBDD Bounds for some Fundamental Functions. Electronic Colloquium on Computational Complexity (ECCC) 14(049): (2007) |
168 | EE | Frank Neumann, Ingo Wegener: Randomized local search, evolutionary algorithms, and the minimum spanning tree problem. Theor. Comput. Sci. 378(1): 32-40 (2007) |
167 | EE | Thomas Jansen, Ingo Wegener: A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-boolean functions of unitation. Theor. Comput. Sci. 386(1-2): 73-93 (2007) |
2006 | ||
166 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I Springer 2006 | |
165 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II Springer 2006 | |
164 | EE | Thomas Jansen, Ingo Wegener: On the local performance of simulated annealing and the (1+1) evolutionary algorithm. GECCO 2006: 469-476 |
163 | EE | Oliver Giel, Ingo Wegener: Maximum cardinality matchings on trees by randomized local search. GECCO 2006: 539-546 |
162 | EE | Thomas Jansen, Ingo Wegener: On the analysis of a dynamic evolutionary algorithm. J. Discrete Algorithms 4(1): 181-199 (2006) |
161 | EE | Frank Neumann, Ingo Wegener: Minimum spanning trees made easier via multi-objective optimization. Natural Computing 5(3): 305-319 (2006) |
160 | EE | Thorsten Bernholt, Roland Fried, Ursula Gather, Ingo Wegener: Modified repeated median filters. Statistics and Computing 16(2): 177-192 (2006) |
159 | EE | Stefan Droste, Thomas Jansen, Ingo Wegener: Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization. Theory Comput. Syst. 39(4): 525-544 (2006) |
2005 | ||
158 | EE | Frank Neumann, Ingo Wegener: Minimum spanning trees made easier via multi-objective optimization. GECCO 2005: 763-769 |
157 | EE | Ingo Wegener: Simulated Annealing Beats Metropolis in Combinatorial Optimization. ICALP 2005: 589-601 |
156 | EE | Ingo Wegener, Philipp Woelfel: New Results on the Complexity of the Middle Bit of Multiplication. IEEE Conference on Computational Complexity 2005: 100-110 |
155 | EE | Ingo Wegener, Carsten Witt: On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics. Combinatorics, Probability & Computing 14(1-2): 225-247 (2005) |
154 | EE | Thomas Jansen, Ingo Wegener: Real royal road functions--where crossover provably is essential. Discrete Applied Mathematics 149(1-3): 111-125 (2005) |
153 | EE | Thomas Jansen, Kenneth A. De Jong, Ingo Wegener: On the Choice of the Offspring Population Size in Evolutionary Algorithms. Evolutionary Computation 13(4): 413-440 (2005) |
152 | EE | Matthias Krause, Petr Savický, Ingo Wegener: On the influence of the variable ordering for algorithmic learning using OBDDs. Inf. Comput. 201(2): 160-177 (2005) |
151 | EE | Ingo Wegener: Rankings oder Ratings: Warum, wie und durch wen?. Informatik Spektrum 28(2): 129-130 (2005) |
150 | EE | Ingo Wegener, Carsten Witt: On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions. J. Discrete Algorithms 3(1): 61-78 (2005) |
149 | EE | Simon Fischer, Ingo Wegener: The one-dimensional Ising model: Mutation versus recombination. Theor. Comput. Sci. 344(2-3): 208-225 (2005) |
148 | EE | Peter Bro Miltersen, Jaikumar Radhakrishnan, Ingo Wegener: On converting CNF to DNF. Theor. Comput. Sci. 347(1-2): 325-335 (2005) |
2004 | ||
147 | EE | Simon Fischer, Ingo Wegener: The Ising Model on the Ring: Mutation Versus Recombination. GECCO (1) 2004: 1113-1124 |
146 | EE | Frank Neumann, Ingo Wegener: Randomized Local Search, Evolutionary Algorithms, and the Minimum Spanning Tree Problem. GECCO (1) 2004: 713-724 |
145 | EE | Ingo Wegener: Randomized Search Heuristics as an Alternative to Exact Optimization. Logic versus Approximation 2004: 138-149 |
144 | EE | Patrick Briest, Dimo Brockhoff, Bastian Degener, Matthias Englert, Christian Gunia, Oliver Heering, Thomas Jansen, Michael Leifhelm, Kai Plociennik, Heiko Röglin, Andrea Schweer, Dirk Sudholt, Stefan Tannenbaum, Ingo Wegener: Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization. PPSN 2004: 21-30 |
143 | EE | Patrick Briest, Dimo Brockhoff, Bastian Degener, Matthias Englert, Christian Gunia, Oliver Heering, Thomas Jansen, Michael Leifhelm, Kai Plociennik, Heiko Röglin, Andrea Schweer, Dirk Sudholt, Stefan Tannenbaum, Ingo Wegener: The Ising Model: Simple Evolutionary Algorithms as Adaptation Schemes. PPSN 2004: 31-40 |
142 | EE | Ingo Wegener: BDDs--design, analysis, complexity, and applications. Discrete Applied Mathematics 138(1-2): 229-251 (2004) |
141 | EE | Oliver Giel, Ingo Wegener: Searching Randomly for Maximum Matchings Electronic Colloquium on Computational Complexity (ECCC)(076): (2004) |
140 | EE | Ingo Wegener: Simulated Annealing Beats Metropolis in Combinatorial Optimization Electronic Colloquium on Computational Complexity (ECCC)(089): (2004) |
139 | EE | Ingo Wegener, Philipp Woelfel: New Results on the Complexity of the Middle Bit of Multiplication Electronic Colloquium on Computational Complexity (ECCC)(107): (2004) |
138 | EE | Tobias Storch, Ingo Wegener: Real royal road functions for constant population size. Theor. Comput. Sci. 320(1): 123-134 (2004) |
2003 | ||
137 | Ingo Wegener: Komplexitätstheorie: Grenzen der Effizienz von Algorithmen Springer 2003 | |
136 | EE | Tobias Storch, Ingo Wegener: Real Royal Road Functions for Constant Population Size. GECCO 2003: 1406-1417 |
135 | EE | Ingo Wegener, Carsten Witt: On the Optimization of Monotone Polynomials by the (1+1) EA and Randomized Local Search. GECCO 2003: 622-633 |
134 | EE | Ingo Wegener: Towards a Theory of Randomized Search Heuristics. MFCS 2003: 125-141 |
133 | EE | Peter Bro Miltersen, Jaikumar Radhakrishnan, Ingo Wegener: On Converting CNF to DNF. MFCS 2003: 612-621 |
132 | EE | Oliver Giel, Ingo Wegener: Evolutionary Algorithms and the Maximum Matching Problem. STACS 2003: 415-426 |
131 | EE | Peter Bro Miltersen, Jaikumar Radhakrishnan, Ingo Wegener: On Converting CNF to DNF Electronic Colloquium on Computational Complexity (ECCC) 10(017): (2003) |
130 | EE | Stefan Droste, Thomas Jansen, Ingo Wegener: Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization Electronic Colloquium on Computational Complexity (ECCC)(048): (2003) |
129 | Martin Dietzfelbinger, Bart Naudts, Clarissa Van Hoyweghen, Ingo Wegener: The analysis of a recombinative hill-climber on H-IFF. IEEE Trans. Evolutionary Computation 7(5): 417-423 (2003) | |
128 | EE | Beate Bollig, Ingo Wegener: Functions that have read-once branching programs of quadratic size are not necessarily testable. Inf. Process. Lett. 87(1): 25-29 (2003) |
2002 | ||
127 | EE | Jens Scharnow, Karsten Tinnefeld, Ingo Wegener: Fitness Landscapes Based on Sorting and Shortest Paths Problems. PPSN 2002: 54-63 |
126 | EE | Thomas Jansen, Ingo Wegener: The Analysis of Evolutionary Algorithms - A Proof That Crossover Really Can Help. Algorithmica 34(1): 47-66 (2002) |
125 | EE | Beate Bollig, Martin Sauerhoff, Ingo Wegener: On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs. Inf. Comput. 178(1): 263-278 (2002) |
124 | EE | Ingo Wegener: A simplified correctness proof for a well-known algorithm computing strongly connected components. Inf. Process. Lett. 83(1): 17-19 (2002) |
123 | EE | Thorsten Bernholt, Alexander Gülich, Thomas Hofmeister, Niels Schmitt, Ingo Wegener: Komplexitätstheorie, effiziente Algorithmen und die Bundesliga. Informatik Spektrum 25(6): 488-502 (2002) |
122 | EE | Stefan Droste, Thomas Jansen, Ingo Wegener: On the analysis of the (1+1) evolutionary algorithm. Theor. Comput. Sci. 276(1-2): 51-81 (2002) |
121 | Hans-Georg Beyer, Hans-Paul Schwefel, Ingo Wegener: How to analyse evolutionary algorithms. Theor. Comput. Sci. 287(1): 101-130 (2002) | |
120 | Stefan Droste, Thomas Jansen, Ingo Wegener: Optimization with randomized search heuristics - the (A)NFL theorem, realistic scenarios, and difficult functions. Theor. Comput. Sci. 287(1): 131-144 (2002) | |
2001 | ||
119 | EE | Ingo Wegener: Theoretical Aspects of Evolutionary Algorithms. ICALP 2001: 64-78 |
118 | EE | Beate Bollig, Martin Sauerhoff, Ingo Wegener: On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs. IEEE Conference on Computational Complexity 2001: 172-183 |
117 | Detlef Sieling, Ingo Wegener: A Comparison of Free BDDs and Transformed BDDs. Formal Methods in System Design 19(3): 223-236 (2001) | |
116 | EE | Jawahar Jain, Ingo Wegener, Masahiro Fujita: A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs. IEEE Trans. Computers 50(11): 1289-1290 (2001) |
115 | Thomas Jansen, Ingo Wegener: Evolutionary algorithms - how to cope with plateaus of constant fitness and when to reject strings of the same fitness. IEEE Trans. Evolutionary Computation 5(6): 589-599 (2001) | |
114 | EE | Philipp Kersting, Ingo Wegener: Hardware for Basic Arithmetic Operations as a Subject of Computer Science Courses in High Schools. Informatica Didactica 2: (2001) |
113 | EE | Ingo Wegener: Teaching Nondeterminism as a Special Case of Randomization. Informatica Didactica 4: (2001) |
2000 | ||
112 | Ingo Wegener: Branching Programs and Binary Decision Diagrams SIAM 2000 | |
111 | Hans-Jürgen Appelrath, Dietrich Boles, Volker Claus, Ingo Wegener: Starthilfe Informatik, 2., durchges. Aufl. Teubner 2000 | |
110 | EE | Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu: Analysis of composition complexity and how to obtain smaller canonical graphs. DAC 2000: 681-686 |
109 | EE | Beate Bollig, Ingo Wegener: Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems. ICALP 2000: 187-198 |
108 | Juraj Hromkovic, Ingo Wegener: Introduction: Workshop on Boolean Functions and Applications. ICALP Satellite Workshops 2000: 227-228 | |
107 | Stefan Droste, Dominic Heutelbeck, Ingo Wegener: Distributed Hybrid Genetic Programming for Learning Boolean Functions. PPSN 2000: 181-190 | |
106 | Thomas Jansen, Ingo Wegener: On the Choice of the Mutation Probability for the (1+1) EA. PPSN 2000: 89-98 | |
105 | EE | Stefan Edelkamp, Ingo Wegener: On the Performance of WEAK-HEAPSORT. STACS 2000: 254-266 |
104 | EE | Ingo Wegener: On the Expected Runtime and the Success Probability of Evolutionary Algorithms. WG 2000: 1-10 |
103 | Martin Sauerhoff, Ingo Wegener, Ralph Werchner: Optimal ordered binary decision diagrams for read-once formulas. Discrete Applied Mathematics 103(1-3): 237-258 (2000) | |
102 | EE | Beate Bollig, Ingo Wegener: Approximability and Nonapproximability by Binary Decision Diagrams Electronic Colloquium on Computational Complexity (ECCC) 7(52): (2000) |
101 | EE | Ingo Wegener: Worst case examples for operations on OBDDs. Inf. Process. Lett. 74(3-4): 91-96 (2000) |
100 | Beate Bollig, Ingo Wegener: Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems. J. Comput. Syst. Sci. 61(3): 558-579 (2000) | |
99 | EE | Ryuhei Uehara, Kensei Tsuchida, Ingo Wegener: Identification of Partial Disjunction, Parity, and Threshold Functions. Theor. Comput. Sci. 230(1-2): 131-147 (2000) |
1999 | ||
98 | Ingo Wegener: Theoretische Informatik - eine algorithmenorientierte Einführung (2. Auflage) Teubner 1999 | |
97 | EE | Thomas Jansen, Ingo Wegener: On the Analysis of Evolutionary Algorithms - A Proof That Crossover Really Can Help. ESA 1999: 184-193 |
96 | Stefan Droste, Thomas Jansen, Ingo Wegener: Perhaps Not a Free Lunch But At Least a Free Appetizer. GECCO 1999: 833-839 | |
95 | EE | Matthias Krause, Petr Savický, Ingo Wegener: Approximations by OBDDs and the Variable Ordering Problem. ICALP 1999: 493-502 |
94 | EE | Martin Sauerhoff, Ingo Wegener, Ralph Werchner: Relating Branching Program Size and Formula Size over the Full Binary Basis. STACS 1999: 57-67 |
93 | EE | Stasys Jukna, Alexander A. Razborov, Petr Savický, Ingo Wegener: On P versus NP cap co-NP for decision trees and read-once branching programs. Computational Complexity 8(4): 357-370 (1999) |
92 | EE | Paul Fischer, Norbert Klasner, Ingo Wegener: On the Cut-off Point for Combinatorial Group Testing. Discrete Applied Mathematics 91(1-3): 83-92 (1999) |
91 | EE | Matthias Krause, Petr Savický, Ingo Wegener: Approximations by OBDDs and the variable ordering problem Electronic Colloquium on Computational Complexity (ECCC) 6(11): (1999) |
90 | EE | Stefan Edelkamp, Ingo Wegener: On the performance of WEAK-HEAPSORT Electronic Colloquium on Computational Complexity (ECCC) 6(28): (1999) |
89 | EE | Beate Bollig, Ingo Wegener: Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems Electronic Colloquium on Computational Complexity (ECCC)(48): (1999) |
88 | Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener: On the complexity of the hidden weighted bit function for various BDD models. ITA 33(2): 103-116 (1999) | |
87 | EE | Beate Bollig, Ingo Wegener: Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. Theory Comput. Syst. 32(4): 487-503 (1999) |
1998 | ||
86 | Hans-Jürgen Appelrath, Dietrich Boles, Volker Claus, Ingo Wegener: Starthilfe Informatik Teubner 1998 | |
85 | EE | Stefan Droste, Thomas Jansen, Ingo Wegener: On the Optimization of Unimodal Functions with the (1 + 1) Evolutionary Algorithm. PPSN 1998: 13-22 |
84 | Stefan Droste, Thomas Jansen, Ingo Wegener: A Rigorous Complexity Analysis of the (1 + 1) Evolutionary Algorithm for Separable Functions with Boolean Inputs. Evolutionary Computation 6(2): 185-196 (1998) | |
83 | Olaf Schröer, Ingo Wegener: The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. Formal Methods in System Design 13(3): 235-253 (1998) | |
82 | Beate Bollig, Ingo Wegener: Completeness and Non-Completeness Results with Respect to Read-Once Projections. Inf. Comput. 143(1): 24-33 (1998) | |
81 | EE | Beate Bollig, Ingo Wegener: A Very Simple Function that Requires Exponential Size Read-Once Branching Programs. Inf. Process. Lett. 66(2): 53-57 (1998) |
80 | EE | Martin Löbbing, Detlef Sieling, Ingo Wegener: Parity OBDDs Cannot be Handled Efficiently Enough. Inf. Process. Lett. 67(4): 163-168 (1998) |
79 | EE | Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener: Hierarchy Theorems for kOBDDs and kIBDDs. Theor. Comput. Sci. 205(1-2): 45-60 (1998) |
1997 | ||
78 | Ryuhei Uehara, Kensei Tsuchida, Ingo Wegener: Optimal Attribute-Efficient Learning of Disjunction, Parity and Threshold Functions. EuroCOLT 1997: 171-184 | |
77 | Beate Bollig, Ingo Wegener: Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. MFCS 1997: 159-168 | |
76 | Stasys Jukna, Alexander A. Razborov, Petr Savický, Ingo Wegener: On O versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs. MFCS 1997: 319-326 | |
75 | Petr Savický, Ingo Wegener: Efficient Algorithms for the Transformation Between Different Types of Binary Decision Diagrams. Acta Inf. 34(4): 245-256 (1997) | |
74 | EE | Olaf Kyek, Ian Parberry, Ingo Wegener: Bounds on the Number of Knight's Tours. Discrete Applied Mathematics 74(2): 171-181 (1997) |
73 | EE | Stasys Jukna, Alexander A. Razborov, Petr Savický, Ingo Wegener: On P versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs Electronic Colloquium on Computational Complexity (ECCC) 4(23): (1997) |
72 | Ingo Wegener: Bundeswettbewerb Informatik - Die Aufgaben der Endrunden 1996 und 1997. LOG IN 17(6): 29- (1997) | |
1996 | ||
71 | EE | Ingo Wegener: Effiziente Algorithmen für grundlegende Funktionen (2. Auflage) Teubner 1996 |
70 | Ingo Wegener: Kompendium Theoretische Informatik - eine Ideensammlung Teubner 1996 | |
69 | Beate Bollig, Ingo Wegener: Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams. STACS 1996: 491-502 | |
68 | EE | Martin Löbbing, Ingo Wegener: The Number of Knight's Tours Equals 33, 439, 123, 484, 294 --- Counting with Binary Decision Diagrams. Electr. J. Comb. 3(1): (1996) |
67 | EE | Martin Sauerhoff, Ingo Wegener, Ralph Werchner: Optimal Ordered Binary Decision Diagrams for Tree-like Circuits Electronic Colloquium on Computational Complexity (ECCC) 3(22): (1996) |
66 | EE | Ryuhei Uehara, Kensei Tsuchida, Ingo Wegener: Optimal attribute-efficient learning of disjunction, parity, and threshold functions Electronic Colloquium on Computational Complexity (ECCC) 3(61): (1996) |
65 | Beate Bollig, Ingo Wegener: Improving the Variable Ordering of OBDDs Is NP-Complete. IEEE Trans. Computers 45(9): 993-1002 (1996) | |
64 | EE | Martin Sauerhoff, Ingo Wegener: On the complexity of minimizing the OBDD size for incompletely specified functions. IEEE Trans. on CAD of Integrated Circuits and Systems 15(11): 1435-1437 (1996) |
63 | EE | Beate Bollig, Martin Löbbing, Ingo Wegener: On the Effect of Local Changes in the Variable Ordering of Ordered Decision Diagrams. Inf. Process. Lett. 59(5): 233-239 (1996) |
62 | EE | Ingo Wegener: On the Complexity of Encoding in Analog Circuits. Inf. Process. Lett. 60(1): 49-52 (1996) |
1995 | ||
61 | EE | Beate Bollig, Ingo Wegener: Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams Electronic Colloquium on Computational Complexity (ECCC) 2(42): (1995) |
60 | EE | Martin Löbbing, Ingo Wegener: The Number of Knight's Tours Equals 33,439,123,484,294 - Counting with Binary Decision Diagrams Electronic Colloquium on Computational Complexity (ECCC) 2(47): (1995) |
59 | Ingo Wegener: Didaktische Überlegungen zu einer algorithmenorientierten Einführung in die Theoretische Informatik. Informatik Spektrum 18(2): 79-83 (1995) | |
58 | EE | Detlef Sieling, Ingo Wegener: Graph Driven BDDs - A New Data Structure for Boolean Functions. Theor. Comput. Sci. 141(1&2): 283-310 (1995) |
1994 | ||
57 | Petr Savický, Ingo Wegener: Efficient Algorithms for the Transformation Betweeen Different Types of Binary Decision Diagrams. FSTTCS 1994: 390-401 | |
56 | Detlef Sieling, Ingo Wegener: New Lower Bounds and Hierarchy Results for Restricted Branching Programs. WG 1994: 359-370 | |
55 | Axel Conrad, Tanja Hindrichs, Hussein Morsy, Ingo Wegener: Solution of the knight's Hamiltonian path problem on chessboards. Discrete Applied Mathematics 50(2): 125-134 (1994) | |
54 | EE | Ingo Wegener: Efficient data structures for Boolean functions. Discrete Mathematics 136(1-3): 347-372 (1994) |
53 | EE | Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener: On the Power of Different Types of Restricted Branching Programs Electronic Colloquium on Computational Complexity (ECCC) 1(26): (1994) |
52 | Ingo Wegener: The Size of Reduced OBDD's and Optimal Read-Once Branching Programs for Almost All Boolean Functions. IEEE Trans. Computers 43(11): 1262-1269 (1994) | |
51 | Ingo Wegener: Comments on "A Characterization of Binary Decision Diagrams". IEEE Trans. Computers 43(3): 383-384 (1994) | |
50 | Johan Håstad, Ingo Wegener, Norbert Wurm, Sang-Zin Yi: Optimal Depth, Very Small Size Circuits for Symmetric Functions in AC0. Inf. Comput. 108(2): 200-211 (1994) | |
1993 | ||
49 | Ingo Wegener: The Size of Reduced OBDDs and Optimal Read-once Branching Programs for Almost all Boolean Functions. WG 1993: 252-263 | |
48 | Ingo Wegener: A Simple Modification of Xunrang and Yuzhang's HEAPSORT Variant Improving its Complexity Significantly. Comput. J. 36(3): 286-288 (1993) | |
47 | Ingo Wegener: Optimal Lower Bounds on the Depth of Polynomial-Size Threshold Circuits for Some Arithmetic Functions. Inf. Process. Lett. 46(2): 85-87 (1993) | |
46 | Detlef Sieling, Ingo Wegener: Reduction of OBDDs in Linear Time. Inf. Process. Lett. 48(3): 139-144 (1993) | |
45 | Detlef Sieling, Ingo Wegener: NC-Algorithms for Operations on Binary Decision Diagrams. Parallel Processing Letters 3: 3-12 (1993) | |
44 | Ingo Wegener: BOTTOM-UP-HEAPSORT, a New Variant of HEAPSORT, Beating, on an Average, QUICKSORT (if n is not Very Small). Theor. Comput. Sci. 118(1): 81-98 (1993) | |
1992 | ||
43 | Ingo Wegener: How far Can We Count in Constant Depth with a Polylogarithmic Number of Gates? Elektronische Informationsverarbeitung und Kybernetik 28(2): 79-82 (1992) | |
42 | Ingo Wegener: The Worst Case Complexity of McDiarmid and Reed's Variant of BOTTOM-UP HEAPSORT is less than nlog n + 1.1n Inf. Comput. 97(1): 86-96 (1992) | |
41 | Jürg Nievergelt, Lutz Prechelt, Ingo Wegener: Das Springerproblem. Informatik Spektrum 15(3): 169-172 (1992) | |
1991 | ||
40 | Ingo Wegener: The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap Sort is Less Than n log n + 1.1n. STACS 1991: 137-147 | |
39 | Katja Lenz, Ingo Wegener: The Conjunctive Complexity of Quadratic Boolean Functions. Theor. Comput. Sci. 81(2): 257-268 (1991) | |
38 | Ingo Wegener: The Complexity of the Parity Function in Unbounded Fan-In, Unbounded Depth Circuits. Theor. Comput. Sci. 85(1): 155-170 (1991) | |
1990 | ||
37 | Ingo Wegener: Bottom-Up-Heap Sort, a New Variant of Heap Sort Beating on Average Quick Sort (if n is not very small). MFCS 1990: 516-522 | |
36 | Ingo Wegener, Norbert Wurm, Sang-Zin Yi: Symmetric Functions in AC0A Can Be Computed in Constant Depth With Very Small Size. MFCS 1990: 523-529 | |
35 | Ingo Wegener: Efficient Simulation of Circuits by Erew Prams. Inf. Process. Lett. 35(2): 99-102 (1990) | |
34 | Ingo Wegener: Bekannte Sortierverfahren und eine HEAPSORT-Variante die QUICKSORT schlägt. Informatik Spektrum 13(6): 321-330 (1990) | |
1989 | ||
33 | Ingo Wegener, Laszlo Zádori: A Note on the Relations Between Critical and Sensitive Complexity. Elektronische Informationsverarbeitung und Kybernetik 25(8/9): 417-421 (1989) | |
32 | Bernd Voigt, Ingo Wegener: Minimal Polynomials for the Conjunction of Functions on Disjoint Variables Can Be Very Simple Inf. Comput. 83(1): 65-79 (1989) | |
1988 | ||
31 | Bernd Voigt, Ingo Wegener: A Remark on Minimal Polynomials of Boolean Functions. CSL 1988: 372-383 | |
30 | Ingo Wegener: Prime implicants and parallel complexity. Bulletin of the EATCS 35: 198-204 (1988) | |
29 | EE | Ingo Wegener: On the complexity of branching programs and decision trees for clique functions. J. ACM 35(2): 461-471 (1988) |
1987 | ||
28 | EE | Ingo Wegener: The complexity of Boolean functions Wiley-Teubner 1987 |
27 | Katja Lenz, Ingo Wegener: The Conjunctive Complexity of Quadratic Boolean Functions. CSL 1987: 138-150 | |
26 | Ingo Wegener: The Complexity of Symmetric Boolean Functions. Computation Theory and Logic 1987: 433-442 | |
25 | Ingo Wegener: On the Complexity of Branching Programs and Decision Trees for Clique Functions. TAPSOFT, Vol.1 1987: 1-12 | |
24 | Ingo Wegener: The Range of New Lower Bound Techniques for WRAMs and Bounded Depth Circuits. Elektronische Informationsverarbeitung und Kybernetik 23(10/11): 537-543 (1987) | |
23 | Bettina Brustmann, Ingo Wegener: The Complexity of Symmetric Functions in Bounded-Depth Circuits. Inf. Process. Lett. 25(4): 217-219 (1987) | |
1986 | ||
22 | Siegfried Bublitz, Ute Schürfeld, Bernd Voigt, Ingo Wegener: Properties of Complexity Measures for PRAMs and WRAMs. MFCS 1986: 230-238 | |
21 | Mike Paterson, Ingo Wegener: Nearly Optimal Hierarchies for Network and Formula Size. Acta Inf. 23(2): 217-221 (1986) | |
20 | Ingo Wegener: Time-Space Trade-offs for Branching Programs. J. Comput. Syst. Sci. 32(1): 91-96 (1986) | |
19 | Ingo Wegener: More on the Complexity of Slice Functions. Theor. Comput. Sci. 43: 201-211 (1986) | |
18 | Siegfried Bublitz, Ute Schürfeld, Ingo Wegener: Properties of Complexity Measures for Prams and Wrams. Theor. Comput. Sci. 48(3): 53-73 (1986) | |
1985 | ||
17 | Ingo Wegener: The critical complexity of all (monotone) Boolean functions and monotone graph properties. FCT 1985: 494-502 | |
16 | Ingo Wegener: Optimal Search With Positive Switch Cost is NP-Hard. Inf. Process. Lett. 21(1): 49-52 (1985) | |
15 | Ingo Wegener: The Critical Complexity of All (Monotone) Boolean Functions and Monotone Graph Properties Information and Control 67(1-3): 212-222 (1985) | |
14 | Ingo Wegener: On the Complexity of Slice Functions. Theor. Comput. Sci. 38: 55-68 (1985) | |
1984 | ||
13 | Ingo Wegener: Optimal Decisions Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions. CAAP 1984: 313-325 | |
12 | Ingo Wegener: On the Complexity of Slice Functions. MFCS 1984: 553-561 | |
11 | Ingo Wegener: Optimal Decision Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions Information and Control 62(2/3): 129-143 (1984) | |
1983 | ||
10 | Ingo Wegener: Proving lower bounds of the monotone complexity of Boolean functions. Logic and Machines 1983: 446-456 | |
9 | Ingo Wegener: Relating Monotone Formula Size and Monotone Depth of Boolean Functions. Inf. Process. Lett. 16(1): 41-42 (1983) | |
1982 | ||
8 | Ingo Wegener: Best Possible Asymptotic Bounds on the Depth of Monotone Functions in Multivalued Logic. Inf. Process. Lett. 15(2): 81-83 (1982) | |
7 | Ingo Wegener: Boolean Functions whose Monotone Complexity is of Size n2/log n. Theor. Comput. Sci. 21: 213-224 (1982) | |
1981 | ||
6 | Ingo Wegener: Boolean Functions Whose Monotone Complexity is of Size n2/log n. Theoretical Computer Science 1981: 22-31 | |
5 | Ingo Wegener: An Improved Complexity Hierarchy on the Depth of Boolean Functions. Acta Inf. 15: 147-152 (1981) | |
1980 | ||
4 | Ingo Wegener: A new Lower Bound on the Monotone Network Complexity of Boolean Sums. Acta Inf. 13: 109-114 (1980) | |
1979 | ||
3 | Ingo Wegener: A Counterexample to a Conjecture of Schnorr Referring to Monotone Networks. Theor. Comput. Sci. 9: 147-150 (1979) | |
2 | Ingo Wegener: Switching Functions Whose Monotone Complexity is Nearly Quadratic. Theor. Comput. Sci. 9: 83-97 (1979) | |
1978 | ||
1 | Ingo Wegener: Switching Functions Whose Monotone Complexity Is Nearly Quadratic STOC 1978: 143-149 |