Publications


  • Journal Publications
  • Books
  • Editorial Work
  • Conference Papers

    Journal Publications

    H.-J. Böckenhauer, M. Forisek, J. Oravec, B. Steffen, K. Steinhöfel, M. Steinova.
    The Uniform Minimum-ones 2SAT Problem and Its Application to Haplotype Classification
    RAIRO Theoretical Informatics and Applications, 44(3): 363-377, 2010.
    RAIRO-TIA

    A. Dayem Ullah, K. Steinhöfel.
    A Hybrid Approach to the Protein Folding Problem Integrating Constraint Programming with Local Search.
    BMC Bioinformatics, 11(1): S39, 2010.
    BMC Bioinf

    A.A. Albrecht, A.V. Chashkin, C.S. Iliopoulos, O.M. Kasim-Zade, G. Lappas, K. Steinhöfel.
    A Priori Estimations of Classication Circuit Complexity.
    Fundamenta Informaticae, 104: 201-217, 2010.
    Fundamenta Informaticae

    A.A. Albrecht, L. Kapsokalivas, K. Steinhöfel.
    Uphill Unfolding of Native Protein Conformations in Cubic Lattices.
    Journal of Computational Science, 1(1):6-12, 2010.
    JCS

    A.A. Albrecht, P.C.R. Lane, K. Steinhöfel.
    Analysis of Local Search Landscapes for k-SAT Instances.
    Mathematics in Computer Science, 3(4):465-488, 2010.
    MCS

    L. Kapsokalivas, X. Gan, A.A. Albrecht, K. Steinhöfel.
    Population-based Local Search for Protein Folding Simulation in the MJ Energy Model and Cubic Lattices.
    Computational Biology and Chemistry, 33(4):283-294, 2009.
    CBAC

    A. ALbrecht, A. Skaliotis, K. Steinhöfel
    Stochastic Protein Folding Simulation in the Three-dimensional HP-model
    Computational Biology and Chemistry, 32(4):248-255, 2008.
    CBAC

    M.S. Zahrani, L.J. Loomes, J.A. Malcom, A.Z.M. Dayem Ullah, K. Steinhöfel, A. Albrecht
    Genetic Local Search for Multicast Routing with Pre-processing by Logarithmic Simulated Annealing
    Computers & Operations Research, 35(6), pp. 2049-2070, 2008.
    COR

    J. Hromkovic, T. Mömke, K. Steinhöfel, P. Widmayer
    Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms
    Algorithmic Operations Research, 2(1):1-14, 2007.
    AOR

    K. Steinhöfel, A. Skaliotis, A. Albrecht.
    Relating Time Complexity of Protein Folding Simulation to Approximations of Folding Time
    Computer Physics Communications, 176:465-470, 2007.
    CPC

    E. Hein, A. Albrecht, D. Melzer, K. Steinhöfel, P. Rogalla, B. Hamm, M. Taupitz
    Computer-assisted Diagnosis of Focal Liver Lesions on CT Images
    Academic Radiology, 12(9):1205-1210, 2005.
    AR

    K. Steinhöfel, A. Albrecht, C.K. Wong
    An Experimental Analysis of Local Minima to Improve Neighborhood Search
    Computers & Operations Research, 30(14):2157-2173, 2003.
    COR

    A. Albrecht, M.J. Loomes, K. Steinhöfel, M. Taupitz
    Adaptive Simulated Annealing for CT Image Classification
    Pattern Recognition and Artificial Intelligence, 16(5):573-588, 2002.
    PRAI

    K. Steinhöfel, A. Albrecht, C.K. Wong
    The Convergence of Stochastic Algorithms Solving Flow Shop Scheduling Problems
    Theoretical Computer Science, 285(1):101-117, 2002.
    TCS

    K. Steinhöfel, A. Albrecht, C.K. Wong
    Fast Parallel Heuristics for the Job Shop Scheduling Problem
    Computers & Operations Research, 29(2):151 - 169, 2002.
    COR

    A. Albrecht, E. Hein, K. Steinhöfel, M. Taupitz, C.K. Wong
    Bounded-Depth Threshold Circuits for Computer-Assisted CT Image Classification
    Artificial Intelligence in Medicine, 24(2):177-190, 2002.
    AIM

    A. Albrecht, K. Steinhöfel, M. Taupitz, C.K. Wong
    Logarithmic Simulated Annealing for X-ray Diagnosis
    Artificial Intelligence in Medicine, 22(3):249 - 260, 2001.
    AIM

    K. Steinhöfel, A. Albrecht, C.K. Wong
    Two Simulated Annealing-Based Heuristics for the Job Shop Scheduling Problem
    European Journal of Operational Research, 118(3):524 - 548, 1999.
    EJOR


    Book

    K. Steinhöfel
    Stochastic Algorithms in Scheduling Theory
    DISKI 218, infix-Verlag, ISBN 3-89601-218-5, PhD Thesis, 1999.


    Editorial Work

    K. Steinhöfel: Assistant Managing Editor for the Journal of Discrete Algorithms.

    J. Daykin, M. Mohamed and K. Steinhöfel (eds.)
    London Algorithmics and Stringology 2006
    Texts in Algorithms, College Publications, vol. 8, 2007.

    C.S. Iliopoulos, K. Park, K. Steinhöfel (eds.)
    Algorithms in Bioinformatics
    Texts in Algorithms, KCL series, vol. 6, 2006.

    Oleg B. Lupanov, Oktay M. Kasim-Zade, Alexander V. Chaskin, K. Steinhöfel (eds.)
    Stochastic Algorithms: Foundations and Applications
    Springer-Verlag (LNCS 3777), 2005.
    SAGA 2005.

    A. Albrecht, K. Steinhöfel (eds.)
    Stochastic Algorithms: Foundations and Applications
    Springer-Verlag (LNCS 2827), 2003.
    SAGA 2003

    K. Steinhöfel (ed.)
    Stochastic Algorithms: Foundations and Applications
    Springer-Verlag (LNCS 2264), 2001.
    SAGA 2001, LNCS 2264


    Conference Publications


    2012

    Dayem Ullah A., Sahoo S., Steinhöfel K., Albrecht AA.
    Derivative scores from site accessibility and ranking of miRNA target predictions.
    In: Proc. Tenth Asia Pacific Bioinformatics Conference (to appear), Melbourne, 2012. (submitted journal version under review)
    APBC 2012

    2011

    Islam MK, Chetty M, Dayem Ullah A, Steinhöfel K.
    A Memetic Approach to Protein Structure Prediction in Triangular Lattices.
    In: Proc. of the International Conference on Neural Information Processing, 2011.
    ICONIP'11

    R. Dobson, K. Steinhöfel.
    Low Energy Scheduling with Power Heterogeneous Multiprocessor Systems.
    In: Proc. of the Fifth Multidisciplinary International Scheduling Conference, (journal version subitted), 2011.
    MISTA 2011

    2010

    Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel.
    A hybrid approach to protein folding problem integrating constraint programming with local search.
    In: Proc. Eighth Asia Pacific Bioinformatics Conference, Bangalore, India, 2010.
    APBC 2010

    L. Kapsokalivas, K. Steinhöfel.
    A Replica Exchange Monte Carlo Algorithm for the Optimization of Secondary Structure Packing in Proteins.
    In: Proc. EvoBIO, pp. 146-157, 2010.
    EvoBIO 2010

    2009

    Dayem Ullah A, Steinhöfel K.
    Upper Bounds for Foldings in the FCC-HP Protein Model.
    In: Computational Structural Bioinformatics Workshop in IEEE International Conference on Bioinformatics and Biomedicine, 2009.
    CSBW 2009

    Martin Mann, Mohamed Abou Hamra, Kathleen Steinhöfel, and Rolf Backofen.
    Constraint-based local move definitions for lattice protein models including side chains.
    In: Proc. of the Fifth Workshop on Constraint Based Methods for Bioinformatics, 2009.
    WCB 2009

    Dayem Ullah A, Kapsokalivas L, Mann M, Steinhöfel K.
    Protein Folding Simulation by Two-Stage Optimization.
    In: 4th International Symposium on Intelligence Computation and Applications, vol. 51, CCIS, pp 138-145, Wuhan, China, Springer, 2009.
    ISICA 2009

    A.A. Albrecht, P.C.R. Lane, K. Steinhöfel.
    On the Number of Local Maxima in MAX-SAT Instances.
    In: Book of Abstracts: London Algorithmic Workshop, p. 2, London, 2009.
    LAW2009

    A.A. Albrecht, A.Z.M. Dayem Ullah, L. Kapsokalivas, K. Steinhöfel.
    Local Search Methods for Protein Folding Simulation in Lattice Models.
    In: Annual Meeting on Structure Prediction (Book of Abstracts), p. 24, London, 2009.
    CCP5 2009

    L. Kapsokalivas, A.A. Albrecht, K. Steinhöfel.
    Uphill Unfolding of Native Protein Conformations in Cubic Lattices.
    In: German Conference on Bioinformatics (Book of Abstracts), p. 54, Halle (Saale), 2009.
    GCB 2009

    2008

    H.J. Böckenhauer, A.Z.M. Dayem Ullah, L. Kapsokalivas, K. Steinhöfel.
    A Local Move Set for Protein Folding in Triangular Lattice Models.
    In: K.A. Crandall, J. Lagergren (eds.), Algorithms in Bioinformatics, pp. 369-381, LNBI 5251, Springer-Verlag, 2008.
    WABI 2008

    A.A. Albrecht, P.C. Lane, K. Steinhöfel.
    Combinatorial Landscape Analysis for k-SAT Instances.
    In: Proc. IEEE Congress on Evolutionary Computation, pp. 2498-2504, IEEE Press, 2008.
    WCCI 2008

    L. Kapsokalivas, X. Gan, A.A. Albrecht, K. Steinhöfel.
    Two Local Search Methods for Protein Folding Simulation in the HP and MJ Lattice Models.
    In: Bioinformatics Research and Development, pp. 167-179, CCIS 13, Springer-Verlag, 2008.
    BIRD 2008

    X. Gan, L. Kapsokalivas, A.A. Albrecht, K. Steinhöfel.
    A Symmetry-free Subspace for Ab initio Protein Folding Simulations.
    In: Bioinformatics Research and Development, pp. 128-139, CCIS 13, Springer-Verlag, 2008.
    BIRD 2008

    A.A. Albrecht, P.C.R. Lane, K. Steinhöfel.
    Estimating the Number of Local Maxima for k-SAT Instances.
    Online Proc. 10th Int. Symposium on Articial Intelligence and Mathematics, Fort Lauderdale, Florida, January 2008.
    ISAIM 2008

    2007

    H.J. Böckenhauer, J. Hromkovic, R. Kralovic, T. Mömke, K. Steinhöfel.
    Efficient Algorithms for the Spoonerism Problem.
    In P. Crescenzi and G. Pucci (eds.), Fun with Algorithms, pp. 78-92, LNCS 4475, Springer-Verlag, 2007.
    FUN 2007

    X. Gan, L. Kapsokalivas, A. Skaliotis, K. Steinhöfel, S. Tangaro.
    An SVM-based Approach for the Analysis of Mammography Images.
    In Proc. International Conference on Numerical Analysis and Applied Mathematics, pp. 318-321, AIP Conf. Proc., vol. 936, AIP Publisher, 2007.
    ICNAAM 2007

    K. Steinhöfel, A.A. Albrecht, A. Skaliotis.
    Landscape Analysis for Protein Folding Simulation in the H-P Model.
    In: J. Daykin, M. Mohamed and K. Steinhöfel (eds.), London Algorithmics and Stringology 2006, Texts in Algorithms, College Publications, vol. 8, pp. 29-42, 2007.
    LSD and LAW

    A.A. Albrecht, A.V. Chashkin, C.S. Iliopoulos, O.M. Kasim-Zade, G. Lappas, K. Steinhöfel.
    A Priori Estimation of Classsication Circuit Complexity.
    In: J. Daykin, M. Mohamed and K. Steinhöfel (eds.), London Algorithmics and Stringology 2006, Texts in Algorithms, College Publications, vol. 8, pp. 97-114, 2007.
    LSD and LAW

    K. Steinhöfel, A. Skaliotis, A. Albrecht.
    Stochastic Protein Folding Simulation in the d-Dimensional HP-Model.
    In R. Wagner and S. Hochreiter (eds.), BioInformatics Research and Development, Springer-Verlag (LNBI 4414), pp. 381-394, 2007.
    BIRD 2007

    2006

    K. Steinhöfel, A. Skaliotis, A. Albrecht.
    Landscape Analysis for Protein Folding Simulation in the H-P Model.
    In P. Bücher and B. Moret (eds.), Algorithms in Bioinformatics, Springer-Verlag (LNBI 4175), pp. 252 - 261, 2006.
    WABI 2006

    P. Baker, M. Harman, K. Steinhöfel, A. Skaliotis.
    Search Based Approaches to Component Selection and Prioritization for the Next Release Problem.
    22nd International Conference on Software Maintenance, Pennsylvania, USA, pp. 176-185, 2006.
    ICSM 06

    P. Baker, M. Harman, A. Skaliotis, K. Steinhöfel.
    Search-Based Approaches to the Component Selection and Prioritization Problem.
    Genetic and Evolutionary Computation Conference, Seattle, USA, ACM Press, pp. 1951-1952, 2006.
    GECCO2006

    A. Albrecht, K. Steinhöfel.
    Run-time Estimates for Protein Folding Simulation in the H-P Model.
    9th Int. Symp. on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, 2006.
    AIMATH2006

    2005

    G. Lappas, K. Steinhöfel, A. Albrecht.
    Classification of Splice-junction Gene Sequences by a Special Type of Threshold Circuits.
    London Stringology Day, pp. 27 - 43, 2005.
    LSD 2005

    E. Hein, A. Albrecht, D. Melzer, K. Steinhöfel, P. Rogalla, B. Hamm, M. Taupitz.
    Computer-Assisted Diagnosis of Focal Liver Lesions on CT Images: Evaluation of the Perceptron Algorithm.
    16th Annual Meeting of ESGAR, Italy, 2005.

    2003

    O. Boysen, G. Ringwelski, K. Steinhöfel
    Metaheuristics as Generic Search Procedures for Constraint Programming
    ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, 2003.

    2002

    K. Steinhöfel, C.F. Dewey Jr., D. Janssens, and B. Macq
    Classification of JPEG2000 Compressed CT Images
    Int. Conference on Digital Signal Processing, 2002.
    DSP2002

    K. Steinhöfel, C.F. Dewey Jr., D. Janssens, and B. Macq
    Classification of Compressed DICOM Liver Tissue Images
    IEEE EMBS Special Topic Conference on Molecular, Cellular and Tissue Engineering, 2002.
    MCTE2002

    A. Pagourtzis, P. Penna, K. Schlude, K. Steinhöfel, D. Taylor, P. Widmayer
    Server Placements, Roman Domination and Other Dominating Set Variants
    In N. Santoro (ed.) IFIP TCS 2002, pp. 280-291, 2002.
    TCS2002

    2001

    T. Erlebach, M. Gantenbein, D. Hürlimann, G. Neyer, A. Pagourtzis, P. Penna, K. Schlude, K. Steinhöfel, D.S. Taylor, P. Widmayer
    On the Complexity of Train Assignment Problems
    In P. Eades and T. Takaoka (eds.), Algorithms and Computation,
    Springer-Verlag (LNCS 2223), pp. 390 - 402, 2001.
    ISAAC 2001, LNCS 2223

    J. Hromkovic, K. Steinhöfel, P. Widmayer
    Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms
    In S. Ronchi Della Rocca and A. Restivo (eds.), Theoretical Computer Science,
    Springer-Verlag (LNCS 2202), pp. 90-106, 2001.
    ICTCS 2001, LNCS 2202

    A. Albrecht, E. Hein, D. Melzer, K. Steinhöfel, M. Taupitz, C.K. Wong
    Liver Tissue Classification by Bounded-Depth Threshold Circuits
    In H.U. Lemke, M.W. Vannier, K. Inamura, A.G. Farman, and K. Doi (eds.),
    International Congress on Computer Assisted Radiology and Surgery,
    Elsevier Science, p. 1110, 2001.
    CARS2001

    A. Albrecht, E. Hein, K. Steinhöfel, M. Taupitz, C.K. Wong
    Depth-Four Threshold Circuits for Computer-Assisted X-ray Diagnosis
    In S. Quaglini, P. Barahona, and S. Andreassen (eds.), Artificial Intelligence in Medicine,
    Springer-Verlag (LNAI 2101), pp. 369--373, 2001.
    AIME 2001, LNAI 2101

    A. Albrecht, M. Loomes, K. Steinhöfel, M. Taupitz
    A Local Search Method for Pattern Classification
    In Verleysen, M. (ed.), European Symposium on Artificial Neural Networks, D-Facto, pp. 1 - 6, 2001.
    ESANN 2001

    A. Albrecht, E. Hein, D. Melzer, K. Steinhöfel, M. Taupitz
    CT Image Classification by Threshold Circuits
    In Handels, H., Horsch, A., Lehmann, T., Meinzer, H.-P. (eds.),
    Bildverarbeitung für die Medizin 2001, Algorithmen - Systeme - Anwendungen,
    Informatik aktuell, Springer Verlag, pp. 362 - 366, 2001.
    BvM2001, Proc.

    U. Der, K. Steinhöfel
    A Parallel Implementation of Job Shop Scheduling Heuristics
    In Sørevik, T., Manne, F., Moe, R., Gebremedhin, A.H. (eds.),
    Proc. 5th International Workshop on Applied Parallel Computing,
    Springer-Verlag (LNCS 1947), pp. 215 - 222, 2001.
    PARA2000, LNCS 1947

    2000

    K. Steinhöfel, A. Albrecht,
    An Experimental Analysis of Local Minima to Improve Neighborhood Search
    In M. Garagnani (ed.), Proc. 19th Workshop of the UK Planning and Scheduling Special Interest Group,
    Open University Milton Keynes, UK, pp. 241 - 254, 2000.
    PLANSIG2000

    A. Albrecht, M. Loomes, K. Steinhöfel, M. Taupitz
    A Modified Perceptron Algorithm for Computer-Assisted Diagnosis
    In M. Bramer, A. Preece, F. Coenen (eds.), Research and Development in Intelligent Systems XVII,
    Springer-Verlag (BCS Series), pp. 199 - 211, 2000.
    ES2000

    A. Albrecht, K. Steinhöfel
    CT Image Classification Based on Logarithmic Simulated Annealing and Lupanov's Threshold Circuit Theorem
    In W.S. Wittig, S. Paul (eds.), Proc. 8th Leipziger Informatik-Tage,
    HTWK-Leipzig, pp. 59 - 65, 2000.
    LIT'2M

    A. Albrecht, U. Der, K. Steinhöfel, C.K. Wong
    Distributed Simulated Annealing for Job Shop Scheduling
    M. Schönauer et al. (eds.), Parallel Problem Solving from Nature PPSN VI,
    Springer-Verlag (LNCS 1917), pp. 243 - 252, 2000.
    PPSN VI

    K. Steinhöfel, A. Albrecht, C.K. Wong
    A Problem-Specific Complexity Bound for Job Shop Scheduling
    Int. Symposium on Combinatorial Optimization,
    University of Greenwich, Book of Abstracts, p. 13, 2000.
    CO2000

    K. Steinhöfel, A. Albrecht, C.K. Wong
    Convergence Analysis of Simulated Annealing-Based Algorithms Solving Flow Shop Scheduling Problems
    G. Bongiovanni, G. Gambosi, R. Petreschi (eds.), Algorithms and Complexity,
    Springer-Verlag (LNCS 1767), pp. 277 - 290, 2000.
    CIAC2000 , LNCS 1767

    1999

    A. Albrecht, K. Steinhöfel
    A Simulated Annealing-Based Learning Algorithm for Boolean DNF
    In N. Foo (ed.), Advanced Topics in Artificial Intelligence,
    Springer-Verlag (LNAI 1747), pp. 193 - 204, 1999.

    K. Steinhöfel, A. Albrecht, C.K. Wong
    On Parallel Heuristics for the Job Shop Scheduling Problem
    Proc. 11th International Conference on Parallel and Distributed Computing and Systems (PDCS'99),
    MIT, Cambridge, USA, ACTA Press, pp. 806-811, 1999.
    PDCS'99

    K. Steinhöfel
    A Conjecture about Global Minima of Job Shop Scheduling Problems
    Symposium on Operations Research (SOR'99),
    Magdeburg, Germany, Book of Abstracts, p. 105, 1999

    1998

    K. Steinhöfel, A. Albrecht, C.K. Wong
    Counting Longest Paths to Guide Neighborhood Search for Large-Scale Job Shop Scheduling
    K. Li and Y. Pan (eds.), Proc. 4th International Conference on Computer Science & Informatics Vol. 3,
    Research Triangle Park, North Carolina, pp. 142-145, 1998.
    CSI'98

    K. Steinhöfel, A. Albrecht, C.K. Wong
    On Various Cooling Schedules for Simulated Annealing Applied to the Job Shop Problem
    M. Luby, J. Rolim, and M. Serna (eds.), Randomization and Approximation Techniques in Computer Science,
    Springer-Verlag, (LNCS 1518), pp. 260-279, 1998.
    RANDOM'98 , LNCS 1518

    K. Steinhöfel, A. Albrecht, C.K. Wong
    A Non-Uniform Neighbourhood Relation for Job Shop Scheduling by Simulated Annealing
    L. McCluskey and D. Kitchin (eds.), Proc. 17th Workshop of the UK Planning and Scheduling Special Interest Group,
    Huddersfield, pp. 183-197, 1998.
    SIGPlan

    1997

    K. Steinhöfel
    Ein fallbasiertes Reisebüro im Internet
    Beiträge zum Workshop Cognition & Web,
    G. Strube et al. (eds.), Freiburg, IIG-Berichte 1/97, ISSN 0945800X, 1997.
    CAW ´97

    D. Jantezko, K. Steinhöfel
    Lotsen los! Data Mining: Verborgene Zusammenhänge in Datenbanken aufspüren
    c't 3/97, pp. 294ff.
    c't

    1996

    E.-Ch. Tammer, D. Matuschek, K.P. Jantke, K. Steinhöfel
    Learning Case Classification for Improving Case-Based Reasoning
    Beiträge zum 9. Fachgruppentreffen Maschinelles Lernen der GI Fachgruppe 1.1.3,
    Universität Chemnitz-Zwickau, 19.-21. August 1996, Chemnitzer Informatik- Bericht CSR-96-06, ISSN 0947-5125.
    FGML

    O. Arnold, V. Dötsch, G. Grieser, K.P. Jantke, S. Lange, D. Matuschek, K. Steinhöfel, E.-Ch. Tammer
    A Collection of Approaches to Learning from Incomplete Information
    Bericht des Forschungsinstituts für Informations-Technologien Leipzig e.V. No. 96-3, 1996.
    FITL-96-3

    1995

    E.-Ch. Tammer, K. Steinhöfel, S. Schönherr, D. Matuschek
    Anwendung des Konzeptes der strukturellen Ähnlichkeit zum Fallvergleich mittels Term- und Graph-Repräsentationen
    Fabel-Report 38, GMD, Sankt Augustin, September 1995.
    Fabel-Report 38

    O. Arnold, H.-R. Beick, K. Börner, U. Burghardt, V. Dötsch, R. Fassauer, S. Frind, G. Grieser, A. Malzahn, D. Matuschek, K. Steinhöfel, E.-Ch. Tammer
    Bausteine intelligenter Softwaresysteme - ein Angebotskatalog,
    In W.S. Wittig et al. (eds.), Proc. 3rd Leipziger Informatik-Tage, HTWK-Leipzig, 1995.
    LIT95

    [Home] [KCL] [INF] [Person] [Work] [Pubs] [Web]

    Last modified: Wednesday January 4, 2012 12:23:04 BST