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)

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

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

Chakraborty, S.; Canzar, S.; Marschall, T.; Schulz, M. H.: Chromatyping: Reconstructing Nucleosome Profiles from NOMe Sequencing Data. Journal of Computational Biology 27 (3), S. 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), S. 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), S. 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, S. 7511 - 7524 (2020)

Cucerca, S.; Didyk, P.; Seidel, H.-P.; Babaei, V.: Computational Image Marking on Metals via Laser Induced Heating. ACM Transactions on Graphics 39 (4), 70 (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), S. 441 - 482 (2020)

Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C.: Symbolic Computation and Satisfiability Checking. Journal of Symbolic Computation 100, S. 1 - 10 (2020)

de Berg, M.; Bodlaender, H. L.; Kisfaludi-Bak, S.; Marx, D.; van der Zanden, T. C.: A Framework for Exponential-Time-Hypothesis-Tight Algorithms and Lower Bounds in Geometric Intersection Graphs. SIAM Journal on Computing 49 (6), S. 1291 - 1331 (2020)

Delacher, M.; Imbusch, C. D.; Hotz-Wagenblatt, A.; Mallm, J.-P.; Bauer, K.; Simon, M.; Riegel, D.; Rendeiro, A. F.; Bittner, S.; Sanderink, L. et al.; Pant, A.; Schmidleithner, L.; Braband, K. L.; Echtenachter, B.; Fischer, A.; Giunchiglia, V.; Hoffmann, P.; Edinger, M.; Bock, C.; Rehli, M.; Brors, B.; Schmidl, C.; Feuerer, M.: Precursors for Nonlymphoid-Tissue Treg Cells Reside in Secondary Lymphoid Organs and Are Programmed by the Transcription Factor BATF. Immunity 52 (2), e11, S. 295 - 312 (2020)