Wissenschaftliche Publikationen

Abboud, A.; Censor-Hillel, K.; Khoury, S.; Lenzen, C.: Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion. Distributed Computing 33, S. 545 - 559 (2020)

Agrawal, A.; Lokshtanov, D.; Misra, P.; Saurabh, S.; Zehavi, M.: Polylogarithmic Approximation Algorithms for Weighted-F-deletion Problems. ACM Transactions on Algorithms 16 (4), 51 (2020)

Akata, Z.; Balliet, D.; de Rijke, M.; Dignum, F.; Dignum, V.; Eiben, G.; Fokkens, A.; Grossi, D.; Hindriks, K. V.; Hoos, H. H. et al.; Hung, H.; Jonker, C. M.; Monz, C.; Neerincx, M. A.; Oliehoek, F. A.; Prakken, H.; Schlobach, S.; van der Gaag, L. C.; van Harmelen, F.; van Hoof, H.; van Riemsdijk, B.; van Wynsberghe, A.; Verbrugge, R.; Verheij, B.; Vossen, P.; Welling, M.: A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 53 (8), S. 18 - 28 (2020)

Akgün, M.; Ünal, A. B.; Ergüner, B.; Pfeifer, N.; Kohlbacher, O.: Identifying Disease-causing Mutations with Privacy Protection. Bioinformatics 36 (21), S. 5205 - 5213 (2020)

Amanatidis, G.; Kleer, P.: Rapid Mixing of the Switch Markov Chain for Strongly Stable Degree Sequences. Random Structures and Algorithms 57 (3), S. 637 - 657 (2020)

Amiri, S. A.; Foerster, K.-T.; Schmid, S.: Walking Through Waypoints. Algorithmica 82 (7), S. 1784 - 1812 (2020)

Ansari, N.; Alizadeh-Mousavi, O.; Seidel, H.-P.; Babaei, V.: Mixed Integer Ink Selection for Spectral Reproduction. ACM Transactions on Graphics 39 (6), 255 (2020)

Antoniadis, A.; Fleszar, K.; Hoeksma, R.; Schewior, K.: A PTAS for Euclidean TSP with Hyperplane Neighborhoods. ACM Transactions on Algorithms 16 (3), 38 (2020)

Ardakani, F. B.; Kattler, K.; Heinen, T.; Schmidt, F.; Feuerborn, D.; Gasparoni, G.; Lepikhov, K.; Nell, P.; Hengstler, J.; Walter, J. et al.; Schulz, M. H.: Prediction of Single-cell Gene Expression for Transcription Factor Analysis. GigaScience 9, 113, S. 1 - 14 (2020)

Barbosa, H.; Blanchette, J. C.; Fontaine, P.: Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 64 (3), S. 485 - 510 (2020)

Bastys, T.; Gapsys, V.; Walter, H.; Heger, E.; Doncheva, N. T.; Kaiser, R.; de Groot, B. L.; Kalinina, O. V.: Non-active Site Mutants of HIV-1 Protease Influence Resistance and Sensitisation towards Protease Inhibitors. Retrovirology, 13 (2020)

Baumgarten, N.; Schmidt, F.; Schulz, M. H.: Improved Linking of Motifs to their TFs Using Domain Information. Bioinformatics 36 (6), S. 1655 - 1662 (2020)

Bemana, M.; Myszkowski, K.; Seidel, H.-P.; Ritschel, T.: X-Fields: Implicit Neural View-, Light- and Time-Image Interpolation. ACM Transactions on Graphics 39 (6), 257 (2020)

Berzow, D.; Descamps, D.; Obermeier, M.; Charpentier, C.; Kaiser, R.; Guertler, L.; Eberle, J.; Wensing, A.; Sierra, S.; Ruelle, J. et al.; Gomes, P.; Mansinho, K.; Taylor, N.; Jensen, B.; Döring, M.; Stürmer, M.; Rockstroh, J.; Camacho, R.: 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)

Biere, A.; Tinelli, C.; Weidenbach, C.: Preface to the Special Issue on Automated Reasoning Systems. Journal of Automated Reasoning 64 (3), S. 361 - 362 (2020)

Bilò, D.; Gualà, L.; Leucci, S.; Proietti, G.: Tracking Routes in Communication Networks. Theoretical Computer Science 844, S. 1 - 15 (2020)

Bradford, R.; Davenport, J. H.; England, M.; Errami, H.; Gerdt, V.; Grigoriev, D.; Hoyt, C.; Košta, M.; Radulescu, O.; Sturm, T. et al.; Weber, A.: Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Journal of Symbolic Computation 98, S. 84 - 119 (2020)

Bringmann, K.; Gawrychowski, P.; Mozes, S.; Weimann, O.: Tree Edit Distance Cannot be Computed in Strongly Subcubic Time (unless APSP can). ACM Transactions on Algorithms 16 (4), 48 (2020)

Bringmann, K.; Husfeldt, T.; Magnusson, M.: Multivariate Analysis of Orthogonal Range Searching and Graph Distances Parameterized by Treewidth. Algorithmica 82 (8), S. 2292 - 2315 (2020)

Bromberger, M.; Sturm, T.; Weidenbach, C.: A Complete and Terminating Approach to Linear Integer Solving. Journal of Symbolic Computation 100, S. 102 - 136 (2020)