Scientific Publications
Journal Article (108)
1.
Journal Article
33, pp. 545 - 559 (2020)
Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion. Distributed Computing 2.
Journal Article
16 (4), 51 (2020)
Polylogarithmic Approximation Algorithms for Weighted-F-deletion Problems. ACM Transactions on Algorithms 3.
Journal Article
53 (8), pp. 18 - 28 (2020)
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 4.
Journal Article
36 (21), pp. 5205 - 5213 (2020)
Identifying Disease-causing Mutations with Privacy Protection. Bioinformatics 5.
Journal Article
57 (3), pp. 637 - 657 (2020)
Rapid Mixing of the Switch Markov Chain for Strongly Stable Degree Sequences. Random Structures and Algorithms 6.
Journal Article
82 (7), pp. 1784 - 1812 (2020)
Walking Through Waypoints. Algorithmica 7.
Journal Article
39 (6), 255 (2020)
Mixed Integer Ink Selection for Spectral Reproduction. ACM Transactions on Graphics 8.
Journal Article
16 (3), 38 (2020)
A PTAS for Euclidean TSP with Hyperplane Neighborhoods. ACM Transactions on Algorithms 9.
Journal Article
9, 113, pp. 1 - 14 (2020)
Prediction of Single-cell Gene Expression for Transcription Factor Analysis. GigaScience 10.
Journal Article
64 (3), pp. 485 - 510 (2020)
Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 11.
Journal Article
Non-active Site Mutants of HIV-1 Protease Influence Resistance and Sensitisation towards Protease Inhibitors. Retrovirology, 13 (2020)
12.
Journal Article
36 (6), pp. 1655 - 1662 (2020)
Improved Linking of Motifs to their TFs Using Domain Information. Bioinformatics 13.
Journal Article
39 (6), 257 (2020)
X-Fields: Implicit Neural View-, Light- and Time-Image Interpolation. ACM Transactions on Graphics 14.
Journal Article
HIV-2: A Summary of Present Standard of Care and Treatment Options for HIV-2 Infected Individuals Living in Western Europe. Clinical Infectious Diseases, ciaa275 (2020)
15.
Journal Article
64 (3), pp. 361 - 362 (2020)
Preface to the Special Issue on Automated Reasoning Systems. Journal of Automated Reasoning 16.
Journal Article
844, pp. 1 - 15 (2020)
Tracking Routes in Communication Networks. Theoretical Computer Science 17.
Journal Article
98, pp. 84 - 119 (2020)
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Journal of Symbolic Computation 18.
Journal Article
16 (4), 48 (2020)
Tree Edit Distance Cannot be Computed in Strongly Subcubic Time (unless APSP can). ACM Transactions on Algorithms 19.
Journal Article
82 (8), pp. 2292 - 2315 (2020)
Multivariate Analysis of Orthogonal Range Searching and Graph Distances Parameterized by Treewidth. Algorithmica 20.
Journal Article
100, pp. 102 - 136 (2020)
A Complete and Terminating Approach to Linear Integer Solving. Journal of Symbolic Computation