Ingo Wegener
According to our database1, Ingo Wegener
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at dl.acm.org
On csauthors.net:
Bibliography
2011
Precision, Local Search and Unimodal Functions.
Algorithmica, 2011
2010
Exact OBDD Bounds for Some Fundamental Functions.
Theory Comput. Syst., 2010
Tight Bounds for Blind Search on the Integers and the Reals.
Combinatorics, Probability & Computing, 2010
Editorial.
Algorithmica, 2010
2008
Tight Bounds for Blind Search on the Integers
CoRR, 2008
Tight Bounds for Blind Search on the Integers.
Proceedings of the STACS 2008, 2008
Exact OBDD Bounds for Some Fundamental Functions.
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Precision, local search and unimodal functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008
2007
Randomized local search, evolutionary algorithms, and the minimum spanning tree problem.
Theor. Comput. Sci., 2007
A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-boolean functions of unitation.
Theor. Comput. Sci., 2007
Exact OBDD Bounds for some Fundamental Functions.
Electronic Colloquium on Computational Complexity (ECCC), 2007
New Results on the Complexity of the Middle Bit of Multiplication.
Computational Complexity, 2007
Detecting high-order interactions of single nucleotide polymorphisms using genetic programming.
Bioinformatics, 2007
2006
Modified repeated median filters.
Statistics and Computing, 2006
Minimum spanning trees made easier via multi-objective optimization.
Natural Computing, 2006
Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization.
Theory Comput. Syst., 2006
On the analysis of a dynamic evolutionary algorithm.
J. Discrete Algorithms, 2006
On the local performance of simulated annealing and the (1+1) evolutionary algorithm.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
Maximum cardinality matchings on trees by randomized local search.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
2005
On converting CNF to DNF.
Theor. Comput. Sci., 2005
The one-dimensional Ising model: Mutation versus recombination.
Theor. Comput. Sci., 2005
On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions.
J. Discrete Algorithms, 2005
Rankings oder Ratings: Warum, wie und durch wen?.
Informatik Spektrum, 2005
On the influence of the variable ordering for algorithmic learning using OBDDs.
Inf. Comput., 2005
On the Choice of the Offspring Population Size in Evolutionary Algorithms.
Evolutionary Computation, 2005
Real royal road functions--where crossover provably is essential.
Discrete Applied Mathematics, 2005
On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics.
Combinatorics, Probability & Computing, 2005
Simulated Annealing Beats Metropolis in Combinatorial Optimization.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Minimum spanning trees made easier via multi-objective optimization.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005
New Results on the Complexity of the Middle Bit of Multiplication.
Proceedings of the 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 2005
Complexity theory - exploring the limits of efficient algorithms.
Springer, ISBN: 978-3-540-21045-0, 2005
2004
Real royal road functions for constant population size.
Theor. Comput. Sci., 2004
The analysis of evolutionary algorithms on sorting and shortest paths problems.
J. Math. Model. Algorithms, 2004
New Results on the Complexity of the Middle Bit of Multiplication
Electronic Colloquium on Computational Complexity (ECCC), 2004
Simulated Annealing Beats Metropolis in Combinatorial Optimization
Electronic Colloquium on Computational Complexity (ECCC), 2004
Searching Randomly for Maximum Matchings
Electronic Colloquium on Computational Complexity (ECCC), 2004
BDDs--design, analysis, complexity, and applications.
Discrete Applied Mathematics, 2004
The Ising Model: Simple Evolutionary Algorithms as Adaptation Schemes.
Proceedings of the Parallel Problem Solving from Nature, 2004
Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization.
Proceedings of the Parallel Problem Solving from Nature, 2004
Randomized Local Search, Evolutionary Algorithms, and the Minimum Spanning Tree Problem.
Proceedings of the Genetic and Evolutionary Computation, 2004
The Ising Model on the Ring: Mutation Versus Recombination.
Proceedings of the Genetic and Evolutionary Computation, 2004
Randomized Search Heuristics as an Alternative to Exact Optimization.
Proceedings of the Logic versus Approximation, 2004
2003
The analysis of a recombinative hill-climber on H-IFF.
IEEE Trans. Evolutionary Computation, 2003
Functions that have read-once branching programs of quadratic size are not necessarily testable.
Inf. Process. Lett., 2003
Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization
Electronic Colloquium on Computational Complexity (ECCC), 2003
On Converting CNF to DNF
Electronic Colloquium on Computational Complexity (ECCC), 2003
The Oberwolfach Meeting On Combinatorics, Probability And Computing.
Combinatorics, Probability & Computing, 2003
Evolutionary Algorithms and the Maximum Matching Problem.
Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003
Towards a Theory of Randomized Search Heuristics.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
On Converting CNF to DNF.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
On the Optimization of Monotone Polynomials by the (1+1) EA and Randomized Local Search.
Proceedings of the Genetic and Evolutionary Computation, 2003
Real Royal Road Functions for Constant Population Size.
Proceedings of the Genetic and Evolutionary Computation, 2003
Komplexitätstheorie: Grenzen der Effizienz von Algorithmen
Springer, ISBN: 3-540-00161-1, 2003
2002
Optimization with randomized search heuristics - the (A)NFL theorem, realistic scenarios, and difficult functions.
Theor. Comput. Sci., 2002
On the analysis of the (1+1) evolutionary algorithm.
Theor. Comput. Sci., 2002
How to analyse evolutionary algorithms.
Theor. Comput. Sci., 2002
A simplified correctness proof for a well-known algorithm computing strongly connected components.
Inf. Process. Lett., 2002
Komplexitätstheorie, effiziente Algorithmen und die Bundesliga.
Informatik Spektrum, 2002
On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs.
Inf. Comput., 2002
The Analysis of Evolutionary Algorithms - A Proof That Crossover Really Can Help.
Algorithmica, 2002
Fitness Landscapes Based on Sorting and Shortest Paths Problems.
Proceedings of the Parallel Problem Solving from Nature, 2002
A New Framework for the Valuation of Algorithms for Black-Box Optimization.
Proceedings of the Seventh Workshop on Foundations of Genetic Algorithms, 2002
2001
Evolutionary algorithms - how to cope with plateaus of constant fitness and when to reject strings of the same fitness.
IEEE Trans. Evolutionary Computation, 2001
A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs.
IEEE Trans. Computers, 2001
A Comparison of Free BDDs and Transformed BDDs.
Formal Methods in System Design, 2001
Teaching Nondeterminism as a Special Case of Randomization.
Informatica Didactica, 2001
Hardware for Basic Arithmetic Operations as a Subject of Computer Science Courses in High Schools.
Informatica Didactica, 2001
Theoretical Aspects of Evolutionary Algorithms.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs.
Proceedings of the 16th Annual IEEE Conference on Computational Complexity, 2001
2000
Identification of Partial Disjunction, Parity, and Threshold Functions.
Theor. Comput. Sci., 2000
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.
J. Comput. Syst. Sci., 2000
Worst case examples for operations on OBDDs.
Inf. Process. Lett., 2000
Approximability and Nonapproximability by Binary Decision Diagrams
Electronic Colloquium on Computational Complexity (ECCC), 2000
Optimal ordered binary decision diagrams for read-once formulas.
Discrete Applied Mathematics, 2000
On the Expected Runtime and the Success Probability of Evolutionary Algorithms.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2000
On the Performance of WEAK-HEAPSORT.
Proceedings of the STACS 2000, 2000
On the Choice of the Mutation Probability for the (1+1) EA.
Proceedings of the Parallel Problem Solving from Nature, 2000
Distributed Hybrid Genetic Programming for Learning Boolean Functions.
Proceedings of the Parallel Problem Solving from Nature, 2000
Introduction: Workshop on Boolean Functions and Applications.
ICALP Satellite Workshops, 2000
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
Dynamic Parameter Control in Simple Evolutionary Algorithms.
Proceedings of the Sixth Workshop on Foundations of Genetic Algorithms, 2000
Analysis of composition complexity and how to obtain smaller canonical graphs.
Proceedings of the 37th Conference on Design Automation, 2000
Starthilfe Informatik, 2., durchges. Aufl.
Teubner, ISBN: 3-519-10241-2, 2000
Branching Programs and Binary Decision Diagrams
SIAM, ISBN: 0-89871-458-3, 2000
1999
Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.
Theory Comput. Syst., 1999
On the complexity of the hidden weighted bit function for various BDD models.
ITA, 1999
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
Electronic Colloquium on Computational Complexity (ECCC), 1999
On the performance of WEAK-HEAPSORT
Electronic Colloquium on Computational Complexity (ECCC), 1999
Approximations by OBDDs and the variable ordering problem
Electronic Colloquium on Computational Complexity (ECCC), 1999
On the Cut-off Point for Combinatorial Group Testing.
Discrete Applied Mathematics, 1999
On P versus NP cap co-NP for decision trees and read-once branching programs.
Computational Complexity, 1999
Relating Branching Program Size and Formula Size over the Full Binary Basis.
Proceedings of the STACS 99, 1999
Approximations by OBDDs and the Variable Ordering Problem.
Proceedings of the Automata, 1999
Perhaps Not a Free Lunch But At Least a Free Appetizer.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
On the Analysis of Evolutionary Algorithms - A Proof That Crossover Really Can Help.
Proceedings of the Algorithms, 1999
Theoretische Informatik - eine algorithmenorientierte Einführung (2. Auflage)
Teubner, ISBN: 3-519-12123-9, 1999
1998
Hierarchy Theorems for kOBDDs and kIBDDs.
Theor. Comput. Sci., 1998
Parity OBDDs Cannot be Handled Efficiently Enough.
Inf. Process. Lett., 1998
A Very Simple Function that Requires Exponential Size Read-Once Branching Programs.
Inf. Process. Lett., 1998
Completeness and Non-Completeness Results with Respect to Read-Once Projections.
Inf. Comput., 1998
The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours.
Formal Methods in System Design, 1998
A Rigorous Complexity Analysis of the (1 + 1) Evolutionary Algorithm for Separable Functions with Boolean Inputs.
Evolutionary Computation, 1998
On the Optimization of Unimodal Functions with the (1 + 1) Evolutionary Algorithm.
Proceedings of the Parallel Problem Solving from Nature, 1998
Starthilfe Informatik
Teubner, ISBN: 3-519-00241-8, 1998
1997
Bundeswettbewerb Informatik - Die Aufgaben der Endrunden 1996 und 1997.
LOG IN, 1997
On P versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs
Electronic Colloquium on Computational Complexity (ECCC), 1997
Bounds on the Number of Knight's Tours.
Discrete Applied Mathematics, 1997
Efficient Algorithms for the Transformation Between Different Types of Binary Decision Diagrams.
Acta Inf., 1997
On O versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Optimal Attribute-Efficient Learning of Disjunction, Parity and Threshold Functions.
Proceedings of the Computational Learning Theory, Third European Conference, 1997
1996
On the complexity of minimizing the OBDD size for incompletely specified functions.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1996
Improving the Variable Ordering of OBDDs Is NP-Complete.
IEEE Trans. Computers, 1996
On the Complexity of Encoding in Analog Circuits.
Inf. Process. Lett., 1996
On the Effect of Local Changes in the Variable Ordering of Ordered Decision Diagrams.
Inf. Process. Lett., 1996
Optimal attribute-efficient learning of disjunction, parity, and threshold functions
Electronic Colloquium on Computational Complexity (ECCC), 1996
Optimal Ordered Binary Decision Diagrams for Tree-like Circuits
Electronic Colloquium on Computational Complexity (ECCC), 1996
The Number of Knight's Tours Equals 33, 439, 123, 484, 294 --- Counting with Binary Decision Diagrams.
Electr. J. Comb., 1996
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.
Proceedings of the STACS 96, 1996
Effiziente Algorithmen für grundlegende Funktionen (2. Auflage)
Teubner, 1996
Kompendium Theoretische Informatik - eine Ideensammlung
Teubner, ISBN: 3-519-02145-5, 1996
1995
Graph Driven BDDs - A New Data Structure for Boolean Functions.
Theor. Comput. Sci., 1995
Didaktische Überlegungen zu einer algorithmenorientierten Einführung in die Theoretische Informatik.
Informatik Spektrum, 1995
The Number of Knight's Tours Equals 33,439,123,484,294 - Counting with Binary Decision Diagrams
Electronic Colloquium on Computational Complexity (ECCC), 1995
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
Electronic Colloquium on Computational Complexity (ECCC), 1995
1994
Optimal Depth, Very Small Size Circuits for Symmetric Functions in AC0.
Inf. Comput., February, 1994
The Size of Reduced OBDD's and Optimal Read-Once Branching Programs for Almost All Boolean Functions.
IEEE Trans. Computers, 1994
Comments on "A Characterization of Binary Decision Diagrams".
IEEE Trans. Computers, 1994
On the Power of Different Types of Restricted Branching Programs
Electronic Colloquium on Computational Complexity (ECCC), 1994
Efficient data structures for Boolean functions.
Discrete Mathematics, 1994
Solution of the knight's Hamiltonian path problem on chessboards.
Discrete Applied Mathematics, 1994
New Lower Bounds and Hierarchy Results for Restricted Branching Programs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994
Efficient Algorithms for the Transformation Betweeen Different Types of Binary Decision Diagrams.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
1993
BOTTOM-UP-HEAPSORT, a New Variant of HEAPSORT, Beating, on an Average, QUICKSORT (if n is not Very Small).
Theor. Comput. Sci., 1993
NC-Algorithms for Operations on Binary Decision Diagrams.
Parallel Processing Letters, 1993
Optimal Lower Bounds on the Depth of Polynomial-Size Threshold Circuits for Some Arithmetic Functions.
Inf. Process. Lett., 1993
Reduction of OBDDs in Linear Time.
Inf. Process. Lett., 1993
A Simple Modification of Xunrang and Yuzhang's HEAPSORT Variant Improving its Complexity Significantly.
Comput. J., 1993
The Size of Reduced OBDDs and Optimal Read-once Branching Programs for Almost all Boolean Functions.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993
Theoretische Informatik - eine algorithmenorientierte Einführung.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02123-0, 1993
1992
The Worst Case Complexity of McDiarmid and Reed's Variant of BOTTOM-UP HEAPSORT is less than nlog n + 1.1n
Inf. Comput., March, 1992
Das Springerproblem.
Informatik Spektrum, 1992
How far Can We Count in Constant Depth with a Polylogarithmic Number of Gates?
Elektronische Informationsverarbeitung und Kybernetik, 1992
1991
The Complexity of the Parity Function in Unbounded Fan-In, Unbounded Depth Circuits.
Theor. Comput. Sci., 1991
The Conjunctive Complexity of Quadratic Boolean Functions.
Theor. Comput. Sci., 1991
The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap Sort is Less Than n log n + 1.1n.
Proceedings of the STACS 91, 1991
1990
Efficient Simulation of Circuits by Erew Prams.
Inf. Process. Lett., 1990
Bekannte Sortierverfahren und eine HEAPSORT-Variante die QUICKSORT schlägt.
Informatik Spektrum, 1990
Symmetric Functions in AC0A Can Be Computed in Constant Depth With Very Small Size.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990
Bottom-Up-Heap Sort, a New Variant of Heap Sort Beating on Average Quick Sort (if n is not very small).
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990
1989
Minimal Polynomials for the Conjunction of Functions on Disjoint Variables Can Be Very Simple
Inf. Comput., October, 1989
A Note on the Relations Between Critical and Sensitive Complexity.
Elektronische Informationsverarbeitung und Kybernetik, 1989
Effiziente Algorithmen für grundlegende Funktionen.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02276-3, 1989
1988
On the complexity of branching programs and decision trees for clique functions.
J. ACM, 1988
Prime implicants and parallel complexity.
Bulletin of the EATCS, 1988
A Remark on Minimal Polynomials of Boolean Functions.
Proceedings of the CSL '88, 1988
1987
The Complexity of Symmetric Functions in Bounded-Depth Circuits.
Inf. Process. Lett., 1987
The Range of New Lower Bound Techniques for WRAMs and Bounded Depth Circuits.
Elektronische Informationsverarbeitung und Kybernetik, 1987
On the Complexity of Branching Programs and Decision Trees for Clique Functions.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
The Conjunctive Complexity of Quadratic Boolean Functions.
Proceedings of the CSL '87, 1987
The Complexity of Symmetric Boolean Functions.
Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987
The complexity of Boolean functions
Wiley-Teubner, 1987
1986
More on the Complexity of Slice Functions.
Theor. Comput. Sci., 1986
Properties of Complexity Measures for Prams and Wrams.
Theor. Comput. Sci., 1986
Time-Space Trade-offs for Branching Programs.
J. Comput. Syst. Sci., 1986
Nearly Optimal Hierarchies for Network and Formula Size.
Acta Inf., 1986
Properties of Complexity Measures for PRAMs and WRAMs.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
1985
On the Complexity of Slice Functions.
Theor. Comput. Sci., 1985
Optimal Search With Positive Switch Cost is NP-Hard.
Inf. Process. Lett., 1985
The Critical Complexity of All (Monotone) Boolean Functions and Monotone Graph Properties
Information and Control, 1985
The critical complexity of all (monotone) Boolean functions and monotone graph properties.
Proceedings of the Fundamentals of Computation Theory, 1985
1984
Optimal Decision Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions
Information and Control, 1984
On the Complexity of Slice Functions.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984
Optimal Decisions Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions.
Proceedings of the CAAP'84, 1984
1983
Relating Monotone Formula Size and Monotone Depth of Boolean Functions.
Inf. Process. Lett., 1983
Proving lower bounds of the monotone complexity of Boolean functions.
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983
1982
Boolean Functions whose Monotone Complexity is of Size n2/log n.
Theor. Comput. Sci., 1982
Discrete Sequential Search with Positive Switch Cost.
Math. Oper. Res., 1982
Best Possible Asymptotic Bounds on the Depth of Monotone Functions in Multivalued Logic.
Inf. Process. Lett., 1982
1981
An Improved Complexity Hierarchy on the Depth of Boolean Functions.
Acta Inf., 1981
Boolean Functions Whose Monotone Complexity is of Size n2/log n.
Proceedings of the Theoretical Computer Science, 1981
1980
The Discrete Sequential Search Problem with Nonrandom Cost and Overlook Probabilities.
Math. Oper. Res., 1980
A new Lower Bound on the Monotone Network Complexity of Boolean Sums.
Acta Inf., 1980
1979
A Counterexample to a Conjecture of Schnorr Referring to Monotone Networks.
Theor. Comput. Sci., 1979
Switching Functions Whose Monotone Complexity is Nearly Quadratic.
Theor. Comput. Sci., 1979
On separating systems whose elements are sets of at most k elements.
Discrete Mathematics, 1979
1978
Switching Functions Whose Monotone Complexity Is Nearly Quadratic
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978