dblp.uni-trier.dewww.uni-trier.de

Holger H. Hoos Vis

Holger Hoos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
66EEThomas Stützle, Mauro Birattari, Holger H. Hoos: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings Springer 2009
65EEFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Kevin P. Murphy: An experimental investigation of model-based parameter optimisation: SPO and beyond. GECCO 2009: 271-278
64EEAshiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown: SATenstein: Automatically Building Local Search SAT Solvers from Components. IJCAI 2009: 517-524
63EETherese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young: Fixed-Parameter Tractability and Improved Approximations for Segment Minimization CoRR abs/0905.4930: (2009)
2008
62EEMirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon: RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. BMC Bioinformatics 9: (2008)
61EELin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: SATzilla: Portfolio-based Algorithm Selection for SAT. J. Artif. Intell. Res. (JAIR) 32: 565-606 (2008)
2007
60 Thomas Stützle, Mauro Birattari, Holger H. Hoos: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings Springer 2007
59 Frank Hutter, Holger H. Hoos, Thomas Stützle: Automatic Algorithm Configuration Based on Local Search. AAAI 2007: 1152-1157
58EELin Xu, Holger H. Hoos, Kevin Leyton-Brown: Hierarchical Hardness Models for SAT. CP 2007: 696-711
57EELin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: : The Design and Analysis of an Algorithm Portfolio for SAT. CP 2007: 712-727
56EEFrank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
55EECamilo Rostoker, Alan Wagner, Holger H. Hoos: A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data. IPDPS 2007: 1-10
54EEMirela Andronescu, Anne Condon, Holger H. Hoos, David H. Mathews, Kevin P. Murphy: Efficient parameter estimation for RNA secondary structure prediction. ISMB/ECCB (Supplement of Bioinformatics) 2007: 19-28
53EEMauro Brunato, Holger H. Hoos, Roberto Battiti: On Effectively Finding Maximal Quasi-cliques in Graphs. LION 2007: 41-55
52EEHolger H. Hoos, Thomas Stützle: Preface. Annals OR 156(1): 1-4 (2007)
51EEChris Thachuk, Alena Shmygelska, Holger H. Hoos: A replica exchange Monte Carlo algorithm for protein folding in the HP model. BMC Bioinformatics 8: (2007)
50EEAlena Shmygelska, Holger H. Hoos: An adaptive bin framework search method for a beta-sheet protein homopolymer model. BMC Bioinformatics 8: (2007)
49EERosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon: Computational RNA secondary structure design: empirical complexity and improved methods. BMC Bioinformatics 8: (2007)
2006
48EEFrank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown: Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228
47EEDave A. D. Tompkins, Holger H. Hoos: On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. Canadian Conference on AI 2006: 146-158
46EEWayne J. Pullan, Holger H. Hoos: Dynamic Local Search for the Maximum Clique Problem. J. Artif. Intell. Res. (JAIR) 25: 159-185 (2006)
2005
45 Holger H. Hoos, David G. Mitchell: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers Springer 2005
44EEFrank Hutter, Holger H. Hoos, Thomas Stützle: Efficient Stochastic Local Search for MPE Solving. IJCAI 2005: 169-174
43EEAlena Shmygelska, Holger H. Hoos: An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem. BMC Bioinformatics 6: 30 (2005)
2004
42 Holger H. Hoos, Thomas Stützle: Stochastic Local Search: Foundations & Applications Elsevier / Morgan Kaufmann 2004
41EEDave A. D. Tompkins, Holger H. Hoos: Warped Landscapes and Random Acts of SAT Solving. AMAI 2004
40EEEugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham: Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. CP 2004: 438-452
39EEJürgen Kilian, Holger H. Hoos: MusicBLAST - Gapped Sequence Alignment for MIR. ISMIR 2004
38EEHolger H. Hoos, Kevin Smyth, Thomas Stützle: Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. PPSN 2004: 51-60
37EEDave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. SAT 2004
36EEDave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. SAT (Selected Papers 2004: 306-320
35EECraig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole: CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements. J. Artif. Intell. Res. (JAIR) 21: 135-191 (2004)
2003
34EEIan P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth: Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP 2003: 348-362
33EEKevin Smyth, Holger H. Hoos, Thomas Stützle: Iterated Robust Tabu Search for MAX-SAT. Canadian Conference on AI 2003: 129-144
32EEDave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. Canadian Conference on AI 2003: 145-159
31EEAlena Shmygelska, Holger H. Hoos: An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem. Canadian Conference on AI 2003: 400-417
30EEDan C. Tulpan, Holger H. Hoos: Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design. Canadian Conference on AI 2003: 418-433
29EEMichael Pavlin, Holger H. Hoos, Thomas Stützle: Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness. Canadian Conference on AI 2003: 96-113
28 Andrew Tae-Jun Kwon, Holger H. Hoos, Raymond T. Ng: Inference of Transcriptional Regulation Relationships from Gene Expression Data. SAC 2003: 135-140
27 Andrew T. Kwon, Holger H. Hoos, Raymond T. Ng: Inference of Transcriptional Regulation Relationships from Gene Expression Data. Bioinformatics 19(8): 905-912 (2003)
26 Mirela Andronescu, Rosalía Aguirre-Hernández, Anne Condon, Holger H. Hoos: RNAsoft: a suite of RNA secondary structure prediction and design software tools. Nucleic Acids Research 31(13): 3416-3422 (2003)
2002
25 Holger H. Hoos: An Adaptive Noise Mechanism for WalkSAT. AAAI/IAAI 2002: 655-660
24 Holger H. Hoos: A Mixture-Model for the Behaviour of SLS Algorithms for SAT. AAAI/IAAI 2002: 661-667
23EEAlena Shmygelska, Rosalía Aguirre-Hernández, Holger H. Hoos: An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem. Ant Algorithms 2002: 40-53
22EEFrank Hutter, Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP 2002: 233-248
21EEChristine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. DNA 2002: 215-228
20EEDan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. DNA 2002: 229-241
19EEJürgen Kilian, Holger H. Hoos: Voice Separation - A Local Optimization Approach. ISMIR 2002
2001
18 Craig Boutilier, Holger H. Hoos: Bidding Languages for Combinatorial Auctions. IJCAI 2001: 1211-1217
17EEHolger H. Hoos, Kai Renz, Marko Görg: GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation. ISMIR 2001: 41-50
16 Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari: AAAI 2000 Workshop Reports. AI Magazine 22(1): 127-136 (2001)
15 Thomas Stützle, Holger H. Hoos: Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme. KI 15(1): 45-51 (2001)
2000
14 Holger H. Hoos, Craig Boutilier: Solving Combinatorial Auctions Using Stochastic Local Search. AAAI/IAAI 2000: 22-29
13EEThomas Stützle, Holger H. Hoos: MAX-MIN Ant System. Future Generation Comp. Syst. 16(8): 889-914 (2000)
12 Holger H. Hoos, Thomas Stützle: Local Search Algorithms for SAT: An Empirical Evaluation. J. Autom. Reasoning 24(4): 421-481 (2000)
1999
11 Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh: Morphing: Combining Structure and Randomness. AAAI/IAAI 1999: 654-660
10 Holger H. Hoos: On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. AAAI/IAAI 1999: 661-666
9 Holger H. Hoos: SAT-Encodings, Search Space Structure, and Local Search Performance. IJCAI 1999: 296-303
8 Ronen I. Brafman, Holger H. Hoos: To Encode or Not to Encode - Linear Planning. IJCAI 1999: 988-995
7EEHolger H. Hoos, Thomas Stützle: Systematic vs. Local Search for SAT. KI 1999: 289-293
6EECraig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole: Reasoning With Conditional Ceteris Paribus Preference Statements. UAI 1999: 71-80
5EEHolger H. Hoos, Thomas Stützle: Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. Artif. Intell. 112(1-2): 213-232 (1999)
1998
4EEHolger H. Hoos, Thomas Stützle: Some Surprising Regularities in the Behaviour of Stochastic Local Search. CP 1998: 470
3EEHolger H. Hoos, Thomas Stützle: Evaluating Las Vegas Algorithms: Pitfalls and Remedies. UAI 1998: 238-245
1996
2 Holger H. Hoos: Solving Hard Combinatorial Problems with GSAT - A Case Study. KI 1996: 107-119
1994
1 Antje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss: GSAT versus Simulated Annealing. ECAI 1994: 130-134

Coauthor Index

1Rosalía Aguirre-Hernández [23] [26] [49]
2David W. Aha [16]
3Mirela Andronescu [26] [54] [62]
4Gerd Aschemann [1]
5Domagoj Babic [56]
6Roberto Battiti [53]
7Antje Beeringer [1]
8Vera Bereg [62]
9Claudio Bettini [16]
10Therese C. Biedl [63]
11Mauro Birattari [60] [66]
12William P. Birmingham [16]
13Kurt D. Bollacker [16]
14Craig Boutilier [6] [14] [18] [35]
15Ronen I. Brafman [6] [8] [35]
16Mauro Brunato [53]
17Anne Condon [20] [21] [26] [49] [54] [62]
18Jörg Denzinger [16]
19Alex Devkar [40]
20Carmel Domshlak [35]
21Stephane Durocher [63]
22Timothy W. Finin (Tim Finin) [16]
23Ian P. Gent [11] [34]
24Lise Getoor [16]
25Yolanda Gil [16]
26Carla P. Gomes [16]
27Marko Görg [17]
28Benjamin N. Grosof [16]
29Youssef Hamadi [48]
30Christine E. Heitsch [21]
31Robert C. Holte (Robert Holte) [16]
32Alan J. Hu [56]
33Frank Hutter [22] [44] [48] [56] [57] [59] [61] [65]
34Nathalie Japkowicz [16]
35Ashiqur R. KhudaBukhsh [64]
36Jürgen Kilian [19] [39]
37Miroslav Kubat [16]
38Andrew T. Kwon [27]
39Andrew Tae-Jun Kwon [28]
40Yves Lespérance [16]
41Kevin Leyton-Brown [40] [48] [57] [58] [61] [64] [65]
42Shuang Luan (Shuang (Sean) Luan) [63]
43David H. Mathews [54]
44Michael Metzger [1]
45David G. Mitchell [45]
46Tom M. Mitchell [16]
47Angelo Montanari [16]
48Kevin P. Murphy [54] [65]
49Karen L. Myers [16]
50Alexander Nareyek [16]
51Raymond T. Ng [27] [28]
52Eugene Nudelman [40]
53Michael Pavlin [29]
54David Poole [6] [35]
55Patrick Prosser [11]
56Wayne J. Pullan [46]
57Kai Renz [17]
58Camilo Rostoker [55]
59Andrew G. D. Rowley [34]
60Jared Saia [63]
61Alan C. Schultz [16]
62Alena Shmygelska [23] [31] [43] [50] [51]
63Yoav Shoham [40]
64Kevin Smyth [33] [34] [38]
65Thomas Stützle [3] [4] [5] [7] [12] [13] [15] [29] [33] [38] [42] [44] [52] [59] [60] [66]
66Chris Thachuk [51]
67Dave A. D. Tompkins [22] [32] [36] [37] [41] [47]
68Dan C. Tulpan [20] [30]
69Alan Wagner [55]
70Gerd Wagner [16]
71J. Paul Walser [16]
72Toby Walsh [11]
73Andreas Weiss [1]
74Lin Xu [57] [58] [61] [64]
75Maxwell Young [63]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)