Scientific Publications

Journal Article (2811)

1.
Journal Article
Abboud, A.; Censor-Hillel, K.; Khoury, S.; Lenzen, C.: Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion. Distributed Computing (2020)
2.
Journal Article
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)
3.
Journal Article
Barbosa, H.; Blanchette, J. C.; Fontaine, P.: Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 64 (3), pp. 485 - 510 (2020)
4.
Journal Article
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)
5.
Journal Article
Baumgarten, N.; Schmidt, F.; Schulz, M. H.: Improved Linking of Motifs to their TFs Using Domain Information. Bioinformatics 36 (6), pp. 1655 - 1662 (2020)
6.
Journal Article
Bemana, M.; Myszkowski, K.; Seidel, H.-P.; Ritschel, T.: X-Fields: Implicit Neural View-, Light- and Time-Image Interpolation. ACM Transactions on Graphics (accepted)
7.
Journal Article
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)
8.
Journal Article
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)
9.
Journal Article
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)
10.
Journal Article
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)
11.
Journal Article
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)
12.
Journal Article
Bromberger, M.; Sturm, T.; Weidenbach, C.: A Complete and Terminating Approach to Linear Integer Solving. Journal of Symbolic Computation 100, pp. 102 - 136 (2020)
13.
Journal Article
Bund, J.; Lenzen, C.; Medina, M.: Optimal Metastability-Containing Sorting via Parallel Prefix Computation. IEEE Transactions on Computers 69 (2), pp. 198 - 211 (2020)
14.
Journal Article
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)
15.
Journal Article
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)
16.
Journal Article
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)
17.
Journal Article
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)
18.
Journal Article
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)
19.
Journal Article
Ç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)
20.
Journal Article
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)
Go to Editor View