Ernst Althaus

发表

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Ernst Althaus, Christoph Scholl, Werner Damm, 2017, Sci. Comput. Program..

Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization

W. Damm, Stefan Disch, C. Scholl, 2016 .

A. Hildebrandt, Ernst Althaus, M. Blumenstock, 2014 .

Algorithms for the Maximum Weight Connected Subgraph and Prize-collecting Steiner Tree Problems

Ernst Althaus, M. Blumenstock, 2014 .

Privacy Preserving Client / Vertical-Servers Random Forest-based Classification

S. Kramer, Ernst Althaus, Derian Boer, 2018 .

Approximating k-hop minimum-spanning trees

Ernst Althaus, Martin Skutella, Jochen Könemann, 2005, Oper. Res. Lett..

Experiments on Curve Reconstruction

Kurt Mehlhorn, Ernst Althaus, Stefan Schirra, 2000 .

An Ecien t Graph Algorithm for Dominance Constraints 1

K. Mehlhorn, Alexander Koller, Ernst Althaus, 2003 .

A Column Generation Approach to Scheduling of Real-Time Networks

Ernst Althaus, S. Hoffmann, Joschka Kupilas, 2012 .

Computing H/D-Exchange rates of single residues from data of proteolytic fragments

Ernst Althaus, Anke Meyer-Bäse, Andreas Karrenbauer, 2010, BMC Bioinformatics.

Jǐŕı Sgall Publications

J. Sgall, A. Brinkmann, Lars Nagel, 2017 .

Scheduling shared continuous resources on many-cores

Friedhelm Meyer auf der Heide, André Brinkmann, Ernst Althaus, 2014, J. Sched..

Improving Linear Programming Approaches for the Steiner Tree Problem

Ernst Althaus, Siavash Vahdati Daneshmand, Tobias Polzin, 2003, WEA.

Certifying feasibility and objective value of linear programs

Ernst Althaus, Daniel Dumitriu, D. Dumitriu, 2012, Oper. Res. Lett..

Integration of an LP Solver into Interval Constraint Propagation

Ernst Althaus, Bernd Becker, Stefan Kupferschmid, 2011, COCOA.

Fast and Accurate Bounds on Linear Programs

Ernst Althaus, Daniel Dumitriu, D. Dumitriu, 2009, SEA.

Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks

Ernst Althaus, Ion I. Mandoiu, Gruia Calinescu, 2006, Wirel. Networks.

Power efficient range assignment in ad-hoc wireless networks

Ernst Althaus, Ion I. Mandoiu, Gruia Calinescu, 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

SCIL - Symbolic Constraints in Integer Linear Programming

Michael Jünger, Kurt Mehlhorn, Ernst Althaus, 2002, ESA.

Reconstructing Phylogenetic Networks with One Recombination

Ernst Althaus, Rouven Naujoks, Ernst Althaus, 2008, WEA.

Scheduling of Real-Time Networks with a Column Generation Approach

Ernst Althaus, Eike Thaden, Sebastian Hoffmann, 2014 .

On Tamaki's Algorithm to Compute Treewidths

Ernst Althaus, Daniela Schnurbusch, Julian Wüschner, 2021, SEA.

A combinatorial approach to protein docking with flexible side-chains

Ernst Althaus, Hans-Peter Lenhof, Oliver Kohlbacher, 2000, RECOMB '00.

On the Optimality of the Greedy Garbage Collection Strategy for SSDs

P. Berenbrink, Ernst Althaus, A. Brinkmann, 2022, 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS).

Scheduling shared continuous resources on many-cores

J. Sgall, A. Brinkmann, Lars Nagel, 2017, Journal of Scheduling.

Privately Querying Privacy: Privacy Estimation with Guaranteed Privacy of User and Database Party

Ernst Althaus, Andreas Hildebrandt, Anna Katharina Hildebrandt, 2021, ALGOCLOUD.

Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves

James P. Fairbanks, Ernst Althaus, Daniel Rosiak, 2023, ArXiv.

Most Diverse Near-Shortest Paths

Ernst Althaus, Theodoros Chondrogiannis, Panagiotis Bouros, 2021, SIGSPATIAL/GIS.

Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm

Ernst Althaus, Sarah Ziegler, 2019, AIRO Springer Series.

Solving the extended pairwise alignment problem efficiently

Ernst Althaus, Stefan Canzar, Ernst Althaus, 2007 .

Superposition Modulo Linear Arithmetic SUP(LA)

Ernst Althaus, Christoph Weidenbach, Evgeny Kruglov, 2009, FroCoS.

Point containment in the integer hull of a polyhedron

Kurt Mehlhorn, Ernst Althaus, Friedrich Eisenbrand, 2004, SODA '04.

TSP-based curve reconstruction in polynomial time

Kurt Mehlhorn, Ernst Althaus, K. Mehlhorn, 2000, SODA '00.

A Greedy Algorithm for Hierarchical Complete Linkage Clustering

Ernst Althaus, Andreas Hildebrandt, Anna Katharina Hildebrandt, 2014, AlCoB.

Fast Private Parameter Learning and Inference for Sum-Product Networks

Mohammad Sadeq Dousti, Nick Johannes Peter Rassau, Stefan Kramer, 2021, 2104.07353.

Efficient computation of root mean square deviations under rigid transformations

Ernst Althaus, Thomas Lengauer, Hans-Peter Lenhof, 2014, J. Comput. Chem..

Algorithms for the Maximum Weight Connected k -Induced Subgraph Problem

Ernst Althaus, Andreas Hildebrandt, Markus Krupp, 2014, COCOA.

Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves

James P. Fairbanks, Ernst Althaus, Daniel Rosiak, 2023, ArXiv.

Traveling Salesman-Based Curve Reconstruction in Polynomial Time

Kurt Mehlhorn, Ernst Althaus, K. Mehlhorn, 2001, SIAM J. Comput..

Computing steiner minimum trees in Hamming metric

Ernst Althaus, Rouven Naujoks, Ernst Althaus, 2006, SODA '06.

Computing Locally Coherent Discourses

Ernst Althaus, Nikiforos Karamanis, Alexander Koller, 2004, ACL.

Integer Linear Programming in Computational Biology

Ernst Althaus, Hans-Peter Lenhof, Knut Reinert, 2009, Efficient Algorithms.

Multiple sequence alignment with arbitrary gap costs: Computing an optimal solution using polyhedral combinatorics

Ernst Althaus, Alberto Caprara, Hans-Peter Lenhof, 2002, ECCB.

Aligning Multiple Sequences by Cutting Planes

Ernst Althaus, Alberto Caprara, Hans-Peter Lenhof, 2006 .

A Lagrangian relaxation approach for the multiple sequence alignment problem

Ernst Althaus, S. Canzar, 2007, J. Comb. Optim..