Holger H. Hoos
Orcid: 0000-0003-0629-0099Affiliations:
- RWTH Aachen University, Computer Science Department, Aachen, Germany
- Leiden University, LIACS, The Netherlands
- University of British Columbia, Vancouver, BC, Canada
According to our database1,
Holger H. Hoos
authored at least 248 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2020, "For contributions to automated algorithm selection and configuration for optimization and machine learning ".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on hoos.ca
-
on cs.ubc.ca
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Software engineering practices for machine learning - Adoption, effects, and team assessment.
J. Syst. Softw., March, 2024
Remote. Sens., February, 2024
CoRR, 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks.
CoRR, 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Adaptive error bounded piecewise linear approximation for time-series representation.
Eng. Appl. Artif. Intell., November, 2023
Frontiers Comput. Sci., 2023
Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization.
Expert Syst. Appl., 2023
CoRR, 2023
Q(D)O-ES: Population-based Quality (Diversity) Optimisation for Post Hoc Ensemble Selection in AutoML.
Proceedings of the International Conference on Automated Machine Learning, 2023
Critically Assessing the State of the Art in CPU-based Local Robustness Verification.
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023
2022
Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems.
IEEE Trans. Evol. Comput., 2022
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio.
Mach. Learn., 2022
Preface to the Special Cluster on Stochastic Local Search: Recent Developments and Trends.
Int. Trans. Oper. Res., 2022
Artif. Intell., 2022
Proceedings of the ECML/PKDD Workshop on Meta-Knowledge Transfer, 2022
Proceedings of the International Conference on Automated Machine Learning, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
The 13th International Automated Negotiating Agent Competition Challenges and Results.
Proceedings of the Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges, 2022
2021
Proceedings of the Reflections on Artificial Intelligence for Humanity, 2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Ethics Inf. Technol., 2021
Data Min. Knowl. Discov., 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021
Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Successive Statistical and Structure-Based Modeling to Identify Chemically Novel Kinase Inhibitors.
J. Chem. Inf. Model., 2020
Int. Trans. Oper. Res., 2020
Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization.
CoRR, 2020
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer, 2020
Empirical scaling analyzer: An automated system for empirical analysis of performance scaling.
AI Commun., 2020
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020
Automatic Configuration of a Multi-objective Local Search for Imbalanced Classification.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020
Golden parameter search: exploiting structure to quickly configure parameters in parallel.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
Combining sequential model-based algorithm configuration with default-guided probabilistic sampling.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Automatic Configuration of Multi-Objective Local Search Algorithms for Permutation Problems.
Evol. Comput., 2019
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Evolutionary Multi-Criterion Optimization, 2019
Proceedings of the Automated Machine Learning - Methods, Systems, Challenges, 2019
2018
Mach. Learn., 2018
J. Heuristics, 2018
Performance robustness of AI planners in the 2014 International Planning Competition.
AI Commun., 2018
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Automatic Configuration of Bi-Objective Optimisation Algorithms: Impact of Correlation Between Objectives.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the Computer Vision - ECCV 2018, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
J. Mach. Learn. Res., 2017
Int. J. Artif. Intell. Tools, 2017
CoRR, 2017
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates.
CoRR, 2017
Artif. Intell., 2017
Proceedings of the Open Algorithm Selection Challenge 2017, 2017
Proceedings of the Learning and Intelligent Optimization - 11th International Conference, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Automatically Configuring Multi-objective Local Search Using Multi-objective Optimisation.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
J. Heuristics, 2016
Dagstuhl Reports, 2016
Artif. Intell., 2016
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016
The Impact of Automated Algorithm Configuration on the Scaling Behaviour of State-of-the-Art Inexact TSP Solvers.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Taming the Complexity Monster or: How I learned to Stop Worrying and Love Hard Problems.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016
Proceedings of the Computer Vision - ECCV 2016 Workshops, 2016
Proceedings of the Computer Vision - ECCV 2016, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Proceedings of the Springer Handbook of Computational Intelligence, 2015
Theory Pract. Log. Program., 2015
On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances.
Optim. Lett., 2015
J. Artif. Intell. Res., 2015
Bank of Quantization Models: A Data-Specific Approach to Learning Binary Codes for Large-Scale Retrieval Applications.
Proceedings of the 2015 IEEE Winter Conference on Applications of Computer Vision, 2015
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015
Improving the State of the Art in Inexact TSP Solving Using Per-Instance Algorithm Selection.
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015
Programming by Optimisation Meets Parameterised Algorithmics: A Case Study for Cluster Editing.
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
Empirical Scaling Analyser: An Automated System for Empirical Analysis of Performance Scaling.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
On the Empirical Scaling Behaviour of State-of-the-art Local Search Algorithms for the Euclidean TSP.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Algorithm Configuration, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
IEEE Trans. Vis. Comput. Graph., 2014
Theory Pract. Log. Program., 2014
On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem.
Eur. J. Oper. Res., 2014
Commun. ACM, 2014
Enhanced flowType/RchyOptimyx: a Bioconductor pipeline for discovery in high-dimensional cytometry data.
Bioinform., 2014
A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions.
Proceedings of the AI Verification - First International Symposium, 2014
Proceedings of the Learning and Intelligent Optimization, 2014
Proceedings of the Learning and Intelligent Optimization, 2014
Proceedings of the Learning and Intelligent Optimization, 2014
Proceedings of the 31th International Conference on Machine Learning, 2014
Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
2013
Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms.
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013
Ordered racing protocols for automatically configuring algorithms for scaling performance.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
An evaluation of sequential model-based optimization for expensive blackbox functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Auto-WEKA: Automated Selection and Hyper-Parameter Optimization of Classification Algorithms
CoRR, 2012
BMC Bioinform., 2012
Early immunologic correlates of HIV protection can be identified from computational analysis of complex multivariate T-cell flow cytometry assays.
Bioinform., 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Autonomous Search, 2012
2011
A note on improving the performance of approximation algorithms for radiation therapy.
Inf. Process. Lett., 2011
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
CoRR, 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms.
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011
2010
Ann. Math. Artif. Intell., 2010
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Learning and Intelligent Optimization, 4th International Conference, 2010
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010
Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
Sequential Model-Based Parameter Optimization: an Experimental Investigation of Automated and Interactive Approaches.
Proceedings of the Experimental Methods for the Analysis of Optimization Algorithms., 2010
2009
J. Artif. Intell. Res., 2009
CoRR, 2009
Proceedings of the Genetic and Evolutionary Computation Conference, 2009
2008
BMC Bioinform., 2008
2007
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge (P-MAK).
Minds Mach., 2007
BMC Bioinform., 2007
BMC Bioinform., 2007
Computational RNA secondary structure design: empirical complexity and improved methods.
BMC Bioinform., 2007
Proceedings of the Learning and Intelligent Optimization, Second International Conference, 2007
Proceedings of the Proceedings 15th International Conference on Intelligent Systems for Molecular Biology (ISMB) & 6th European Conference on Computational Biology (ECCB), 2007
A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Advances in Artificial Intelligence, 2006
2005
An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem.
BMC Bioinform., 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements.
J. Artif. Intell. Res., 2004
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.
Proceedings of the SAT 2004, 2004
Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT.
Proceedings of the Parallel Problem Solving from Nature, 2004
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
Stochastic Local Search: Foundations & Applications
Elsevier / Morgan Kaufmann, ISBN: 1-55860-872-9, 2004
2003
Nucleic Acids Res., 2003
Bioinform., 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design.
Proceedings of the Advances in Artificial Intelligence, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
2002
Proceedings of the ISMIR 2002, 2002
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002
Proceedings of the Principles and Practice of Constraint Programming, 2002
Proceedings of the Ant Algorithms, Third International Workshop, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
Künstliche Intell., 2001
Proceedings of the First International Conference on WEB Delivering of Music (WEDELMUSIC '01), 2001
GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation.
Proceedings of the ISMIR 2001, 2001
Bidding Languages for Combinatorial Auctions.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Proceedings of the 2000 International Computer Music Conference, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT.
Artif. Intell., 1999
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the 1999 International Computer Music Conference, 1999
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
DISKI 215, Infix, ISBN: 978-3-89601-215-9, 1999
1998
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998
Proceedings of the 1998 International Computer Music Conference, 1998
Proceedings of the 1998 International Computer Music Conference, 1998
Proceedings of the 1998 International Computer Music Conference, 1998
The GUIDO Notation Format: A Novel Approach for Adequately Representing Score-Level Music.
Proceedings of the 1998 International Computer Music Conference, 1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
Stochastic local search - methods, models, applications.
PhD thesis, 1998
1997
Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997
1996
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996
1994
GSAT versus Simulated Annealing.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994