Ernst Althaus

Orcid: 0000-0002-2122-9520

Affiliations:
  • University of Mainz, Germany
  • Max Planck Institute for Informatics, Saarbrücken, Germany


According to our database1, Ernst Althaus authored at least 62 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Random Walk Approach to Broadcasting on Random Recursive Trees.
CoRR, 2024

Reducing Treewidth for SAT-Related Problems Using Simple Liftings.
Proceedings of the Combinatorial Optimization - 8th International Symposium, 2024

Differentially Private Sum-Product Networks.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves.
CoRR, 2023

Privacy-Preserving Learning of Random Forests Without Revealing the Trees.
Proceedings of the Discovery Science - 26th International Conference, 2023

2022
On the Optimality of the Greedy Garbage Collection Strategy for SSDs.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Privacy Preserving Queries of Shortest Path Distances.
Proceedings of the Algorithmic Aspects of Cloud Computing - 7th International Symposium, 2022

2021
Fast Private Parameter Learning and Evaluation for Sum-Product Networks.
CoRR, 2021

On Tamaki's Algorithm to Compute Treewidths.
Proceedings of the 19th International Symposium on Experimental Algorithms, 2021

Most Diverse Near-Shortest Paths.
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021

Privately Querying Privacy: Privacy Estimation with Guaranteed Privacy of User and Database Party.
Proceedings of the Algorithmic Aspects of Cloud Computing - 6th International Symposium, 2021

Learning Molecular Classes from Small Numbers of Positive Examples Using Graph Grammars.
Proceedings of the Algorithms for Computational Biology - 8th International Conference, 2021

2020
Computing Euclidean Steiner trees over segments.
EURO J. Comput. Optim., 2020

2019
Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm.
CoRR, 2019

2018
Scheduling shared continuous resources on many-cores.
J. Sched., 2018

2017
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program., 2017

Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness.
Proceedings of the Software Technologies: Applications and Foundations, 2017

2015
Improving Interpolants for Linear Arithmetic.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Efficient computation of root mean square deviations under rigid transformations.
J. Comput. Chem., 2014

Simple interpolants for linear arithmetic.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Algorithms for the Maximum Weight Connected k -Induced Subgraph Problem.
Proceedings of the Combinatorial Optimization and Applications, 2014

A Greedy Algorithm for Hierarchical Complete Linkage Clustering.
Proceedings of the Algorithms for Computational Biology - First International Conference, 2014

2013
On the low-dimensional Steiner minimum tree problem in Hamming metric.
Theor. Comput. Sci., 2013

Efficient Interpretation of Tandem Mass Tags in Top-Down Proteomics.
Proceedings of the German Conference on Bioinformatics 2013, 2013

2012
Certifying feasibility and objective value of linear programs.
Oper. Res. Lett., 2012

2011
Approximation Algorithms for the Interval Constrained Coloring Problem.
Algorithmica, 2011

A Column Generation Approach to Scheduling of Periodic Tasks.
Proceedings of the Experimental Algorithms - 10th International Symposium, 2011

Precise and efficient parametric path analysis.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Symbolic Worst Case Execution Times.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Integration of an LP Solver into Interval Constraint Propagation.
Proceedings of the Combinatorial Optimization and Applications, 2011

2010
Fully Automatic Trunk Packing with Free Placements
CoRR, 2010

Computing H/D-Exchange rates of single residues from data of proteolytic fragments.
BMC Bioinform., 2010

2009
Fast and Accurate Bounds on Linear Programs.
Proceedings of the Experimental Algorithms, 8th International Symposium, 2009

Global uniform stability analysis of biological networks with different time-scales under perturbations.
Proceedings of the International Joint Conference on Neural Networks, 2009

Superposition Modulo Linear Arithmetic SUP(LA).
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Integer Linear Programming in Computational Biology.
Proceedings of the Efficient Algorithms, 2009

Robust Stability Analysis of the Tryptophan Regulatory Network of E.Coli.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

Discrete Fitting of Hydrogen-Deuterium-Exchange-data of Overlapping Fragments.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

2008
A Lagrangian relaxation approach for the multiple sequence alignment problem.
J. Comb. Optim., 2008

Reconstructing Phylogenetic Networks with One Recombination.
Proceedings of the Experimental Algorithms, 7th International Workshop, 2008

Approximating the Interval Constrained Coloring Problem.
Proceedings of the Algorithm Theory, 2008

Computing H/D-exchange speeds of single residues from data of peptic fragments.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

LASA: A Tool for Non-heuristic Alignment of Multiple Sequences.
Proceedings of the Bioinformatics Research and Development, 2008

2007
Trunk Packing Revisited.
Proceedings of the Experimental Algorithms, 6th International Workshop, 2007

2006
Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks.
Wirel. Networks, 2006

A branch-and-cut algorithm for multiple sequence alignment.
Math. Program., 2006

Computing steiner minimum trees in Hamming metric.
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006

2005
Approximating <i>k</i>-hop minimum-spanning trees.
Oper. Res. Lett., 2005

2004
Point containment in the integer hull of a polyhedron.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

Computing Locally Coherent Discourses.
Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics, 2004

2003
An efficient graph algorithm for dominance constraints.
J. Algorithms, 2003

Improving Linear Programming Approaches for the Steiner Tree Problem.
Proceedings of the Experimental and Efficient Algorithms, Second International Workshop, 2003

Power efficient range assignment in ad-hoc wireless networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

2002
A Combinatorial Approach to Protein Docking with Flexible Side Chains.
J. Comput. Biol., 2002

A Polyhedral Approach to Surface Reconstruction from Planar Contours.
Proceedings of the Integer Programming and Combinatorial Optimization, 2002

SCIL - Symbolic Constraints in Integer Linear Programming.
Proceedings of the Algorithms, 2002

Multiple sequence alignment with arbitrary gap costs: Computing an optimal solution using polyhedral combinatorics.
Proceedings of the European Conference on Computational Biology (ECCB 2002), 2002

2001
Traveling Salesman-Based Curve Reconstruction in Polynomial Time.
SIAM J. Comput., 2001

An efficient algorithm for the configuration problem of dominance graphs.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

2000
Curve reconstruction and the traveling salesman problem.
PhD thesis, 2000

TSP-based curve reconstruction in polynomial time.
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000

1998
Maximum Network Flow with Floating Point Arithmetic.
Inf. Process. Lett., 1998


  Loading...