Scientific Publications

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

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

Barbosa, H.; Blanchette, J. C.; Fontaine, P.: Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 64 (3), pp. 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), pp. 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 (accepted)

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), pp. 361 - 362 (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, pp. 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), pp. 2292 - 2315 (2020)

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

Bund, J.; Lenzen, C.; Medina, M.: Optimal Metastability-Containing Sorting via Parallel Prefix Computation. IEEE Transactions on Computers 69 (2), pp. 198 - 211 (2020)

Bund, J.; Fugger, M.; Lenzen, C.; Medina, M.: Synchronizer-Free Digital Link Controller. IEEE Transactions on Circuits and Systems / I, Regular Papers 27 (10), pp. 3562 - 3573 (2020)

Chakraborty, S.; Canzar, S.; Marschall, T.; Schulz, M. H.: Chromatyping: Reconstructing Nucleosome Profiles from NOMe Sequencing Data. Journal of Computational Biology 27 (3), pp. 330 - 341 (2020)

Chalermsook, P.; Cygan, M.; Kortsarz, G.; Laekhanukit, B.; Manurangsi, P.; Nanongkai, D.; Trevisan, L.: From Gap-Exponential Time Hypothesis to Fixed Parameter Tractable Inapproximability: Clique, Dominating Set, and More. SIAM Journal on Computing 49 (4), pp. 772 - 810 (2020)

Chin, C.-S.; Wagner, J.; Zeng, Q.; Garrison, E.; Garg, S.; Fungtammasan, A.; Rautiainen, M.; Aganezov, S.; Kirsche, M.; Zarate, S. et al.; Schatz, M. C.; Xiao, C.; Rowell, W. J.; Markello, C.; Farek, J.; Sedlazeck, F. J.; Bansal, V.; Yoo, B.; Miller, N.; Zhou, X.; Carroll, A.; Barrio, A. M.; Salit, M.; Marschall, T.; Dilthey, A. T.; Zook, J. M.: A Diploid Assembly-based Benchmark for Variants in the Major Histocompatibility Complex. Nature Communications 11 (1), 4794 (2020)

Chitnis, R. H.; Feldmann, A. E.; HajiAghayi, M.; Marx, D.: Tight Bounds for Planar Strongly Connected Steiner Subgraph with Fixed Number of Terminals (and Extensions). SIAM Journal on Computing 49 (2), pp. 318 - 364 (2020)

Çoğalan, U.; Akyüz , A. O.: Deep Joint Deinterlacing and Denoising for Single Shot Dual-ISO HDR Reconstruction. IEEE Transactions on Image Processing 29, pp. 7511 - 7524 (2020)

Darari, F.; Nutt, W.; Razniewski, S.; Rudolph, S.: Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web 11 (1), pp. 441 - 482 (2020)