Hans L. Bodlaender
Orcid: 0000-0002-9297-3330Affiliations:
- Utrecht University, Netherlands
According to our database1,
Hans L. Bodlaender
authored at least 278 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.uu.nl
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Inf. Comput., 2024
Proceedings of the Combinatorial Algorithms - 35th International Workshop, 2024
2023
Efficiently computing the Shapley value of connectivity games in low-treewidth graphs.
Oper. Res., March, 2023
Theory Comput. Syst., February, 2023
Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023
Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023
Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
2022
J. Comb. Optim., 2022
Dynamic sampling from a discrete probability distribution with a known distribution of rates.
Comput. Stat., 2022
The Parameterized Complexity Binary CSP for Graphs with a Small Vertex Cover and Related Results.
CoRR, 2022
CoRR, 2022
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2022
Proceedings of the WALCOM: Algorithms and Computation, 2022
Proceedings of the International Conference on Probabilistic Graphical Models, 2022
Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022
Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022
Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022
Proceedings of the 30th Annual European Symposium on Algorithms, 2022
2021
Theor. Comput. Sci., 2021
SIAM J. Discret. Math., 2021
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2021
Proceedings of the WALCOM: Algorithms and Computation, 2021
Proceedings of the 16th International Symposium on Parameterized and Exact Computation, 2021
2020
A Framework for Exponential-Time-Hypothesis-Tight Algorithms and Lower Bounds in Geometric Intersection Graphs.
SIAM J. Comput., 2020
Fixed-Treewidth-Efficient Algorithms for Edge-Deletion to Intersection Graph Classes.
CoRR, 2020
Algorithmica, 2020
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2020
Proceedings of the LATIN 2020: Theoretical Informatics, 2020
Proceedings of the 15th International Symposium on Parameterized and Exact Computation, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Inf. Process. Lett., 2019
Typical Sequences Revisited - Algorithms for Linear Orderings of Series Parallel Digraphs.
CoRR, 2019
Algorithmica, 2019
Algorithmica, 2019
Proceedings of the Algorithms and Complexity - 11th International Conference, 2019
2018
Discret. Appl. Math., 2018
Degree-Constrained Orientation of Maximum Satisfaction: Graph Classes and Parameterized Complexity.
Algorithmica, 2018
A framework for ETH-tight algorithms and lower bounds in geometric intersection graphs.
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018
2017
Definability equals recognizability for k-outerplanar graphs and l-chordal partial k-trees.
Eur. J. Comb., 2017
Proceedings of the Algorithms and Data Structures - 15th International Symposium, 2017
Proceedings of the 12th International Symposium on Parameterized and Exact Computation, 2017
Proceedings of the Algorithms and Complexity - 10th International Conference, 2017
2016
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016
Proceedings of the 11th International Symposium on Parameterized and Exact Computation, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
Inf. Process. Lett., 2015
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth.
Inf. Comput., 2015
Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality.
Electron. Notes Discret. Math., 2015
MSOL-Definability Equals Recognizability for Halin Graphs and Bounded Degree k-Outerplanar Graphs.
CoRR, 2015
Speeding Up Dynamic Programming with Representative Sets: An Experimental Evaluation of Algorithms for Steiner Tree on Tree Decompositions.
Algorithmica, 2015
Proceedings of the 10th International Symposium on Parameterized and Exact Computation, 2015
Proceedings of the 10th International Symposium on Parameterized and Exact Computation, 2015
Proceedings of the Algorithms - ESA 2015, 2015
Proceedings of the Algorithms and Complexity - 9th International Conference, 2015
2014
Algorithmica, 2014
Proceedings of the Parameterized and Exact Computation - 9th International Symposium, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
SIAM J. Discret. Math., 2013
Vertex Cover Kernelization Revisited - Upper and Lower Bounds for a Refined Parameter.
Theory Comput. Syst., 2013
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2013
Proceedings of the Parameterized and Exact Computation - 8th International Symposium, 2013
Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013
2012
Theor. Comput. Sci., 2012
Theory Comput. Syst., 2012
Solving weighted and counting variants of connectivity problems parameterized by treewidth deterministically in single exponential time
CoRR, 2012
Proceedings of the Algorithm Theory - SWAT 2012, 2012
Proceedings of the Multivariate Algorithmic Revolution and Beyond, 2012
2011
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2011
Proceedings of the Theory and Practice of Algorithms in (Computer) Systems, 2011
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
The Complexity of Finding <i>k</i>th Most Probable Explanations in Probabilistic Networks.
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
2010
Algorithmica, 2010
Proceedings of the Graph Theoretic Concepts in Computer Science, 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
Proceedings of the ECAI 2010, 2010
2009
J. Comput. Syst. Sci., 2009
Comput. Geom., 2009
Proceedings of the Parameterized and Exact Computation, 4th International Workshop, 2009
Proceedings of the Parameterized and Exact Computation, 4th International Workshop, 2009
Dynamic Programming on Tree Decompositions Using Generalised Fast Subset Convolution.
Proceedings of the Algorithms, 2009
2008
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008
Proceedings of the Algorithm Theory, 2008
Proceedings of the STACS 2008, 2008
Proceedings of the Parameterized and Exact Computation, Third International Workshop, 2008
Proceedings of the Algorithms and Computation, 19th International Symposium, 2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
2007
Discret. Appl. Math., 2007
Proceedings of the Structural Information and Communication Complexity, 2007
Proceedings of the Algorithms and Computation, 18th International Symposium, 2007
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007
The valve location problem.
Proceedings of the Sixth Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2007
2006
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2006
Kernelization for Convex Recoloring.
Proceedings of the Algorithms and Complexity in Durham 2006, 2006
Proceedings of the Algorithmic Aspects in Information and Management, 2006
2005
Comput. Intell., 2005
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005
Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions.
Proceedings of the Algorithms, 2005
2004
Space-Efficient Construction Variants of Dynamic Programming.
Nord. J. Comput., 2004
Proceedings of the Experimental and Efficient Algorithms, Third International Workshop, 2004
Proceedings of the Parameterized and Exact Computation, First International Workshop, 2004
Safe Seperators for Treewidth.
Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics, 2004
2003
Discret. Appl. Math., 2003
Algorithmica, 2003
Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
Linear Time Algorithms for Some NP-Complete Problems on (P<sub>5</sub>, Gem)-Free Graphs.
Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003
2002
Algorithmica, 2002
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002
On the Complexity of the MPA Problem in Probabilistic Networks.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
J. Univers. Comput. Sci., 2001
Algorithmica, 2001
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001
Proceedings of the Algorithms and Computation, 12th International Symposium, 2001
A Polynomial Time Algorithm for the Cutwidth of Bounded Degree Graphs with Small Treewidth.
Proceedings of the Algorithms, 2001
2000
The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs.
Theor. Comput. Sci., 2000
On the Complexity of the Maximum Cut Problem.
Nord. J. Comput., 2000
Proceedings of the Algorithm Theory, 2000
Proceedings of the Algorithms and Computation, 11th International Conference, 2000
1999
Electron. Notes Discret. Math., 1999
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999
Proceedings of the 11th Canadian Conference on Computational Geometry, 1999
1998
Theor. Comput. Sci., 1998
SIAM J. Comput., 1998
Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
1997
Fast Partitioning l-Apex Graphs with Application to Approximating Maximum Induced-Subgraph Problems.
Inf. Process. Lett., 1997
Inf. Process. Lett., 1997
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
SIAM J. Comput., 1996
J. Algorithms, 1996
Discret. Appl. Math., 1996
Proceedings of the Combinatorial Pattern Matching, 7th Annual Symposium, 1996
Proceedings of the Computing and Combinatorics, Second Annual International Conference, 1996
1995
Theor. Comput. Sci., 1995
Oper. Res. Lett., 1995
Complexity Aspects of Two-Dimensional Data Compression.
Nord. J. Comput., 1995
J. Algorithms, 1995
Comput. Appl. Biosci., 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
1994
The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case
Inf. Comput., January, 1994
Trade-Offs in Non-Reversing Diameter.
Nord. J. Comput., 1994
Discret. Appl. Math., 1994
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994
Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994
Erratum: Computing Treewidth and Minimum Fill-In: All You Need are the Minimal Separators.
Proceedings of the Algorithms, 1994
1993
J. Algorithms, 1993
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30, 1993
1992
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992
Proceedings of the Algorithms and Computation, Third International Symposium, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
1991
New Lower Bound Techniques for Distributed Leader Finding and Other Problems on Rings of Processors.
Theor. Comput. Sci., 1991
J. Comput. Syst. Sci., 1991
Proceedings of the 17th International Workshop, 1991
Proceedings of the Algorithms and Data Structures, 1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
Proceedings of the IEEE Data Compression Conference, 1991
1990
Inf. Comput., May, 1990
J. Algorithms, 1990
1989
J. Parallel Distributed Comput., 1989
Inf. Process. Lett., 1989
Proceedings of the Algorithms and Data Structures, 1989
Proceedings of the STACS 89, 1989
1988
Inf. Process. Lett., 1988
A Better Lower Bound For Distributed Leader Finding in Bidirectional, Asynchronous Rings of Processors.
Inf. Process. Lett., 1988
Some Classes of Graphs with Bounded Treewidth.
Bull. EATCS, 1988
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
1987
Proceedings of the GI, 1987
1986
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986
Proceedings of the STACS 86, 1986