Wissenschaftliche Publikationen

Zeitschriftenartikel (2778)

1.
Zeitschriftenartikel
Barbosa, H.; Blanchette, J. C.; Fontaine, P.: Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning 64 (3), S. 485 - 510 (2020)
2.
Zeitschriftenartikel
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)
3.
Zeitschriftenartikel
Baumgarten, N.; Schmidt, F.; Schulz, M. H.: Improved Linking of Motifs to their TFs Using Domain Information. Bioinformatics 36 (6), S. 1655 - 1662 (2020)
4.
Zeitschriftenartikel
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)
5.
Zeitschriftenartikel
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)
6.
Zeitschriftenartikel
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)
7.
Zeitschriftenartikel
Bromberger, M.; Sturm, T.; Weidenbach, C.: A Complete and Terminating Approach to Linear Integer Solving. Journal of Symbolic Computation 100, S. 102 - 136 (2020)
8.
Zeitschriftenartikel
Bund, J.; Lenzen, C.; Medina, M.: Optimal Metastability-Containing Sorting via Parallel Prefix Computation. IEEE Transactions on Computers 69 (2), S. 198 - 211 (2020)
9.
Zeitschriftenartikel
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)
10.
Zeitschriftenartikel
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)
11.
Zeitschriftenartikel
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)
12.
Zeitschriftenartikel
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)
13.
Zeitschriftenartikel
Facca, E.; Karrenbauer, A.; Kolev, P.; Mehlhorn, K.: Convergence of the Non-Uniform Directed Physarum Model. Theoretical Computer Science 816, S. 184 - 194 (2020)
14.
Zeitschriftenartikel
Gier, S.; Simon, M.; Gasparoni, G.; Khalifa, S.; Schulz, M. H.; Schmitt, M. J.; Breinig, F.: Yeast Viral Killer Toxin K1 Induces Specific Host Cell Adaptions via Intrinsic Selection Pressure. Applied and Environmental Microbiology 86 (4), e02446-19 (2020)
15.
Zeitschriftenartikel
Günther, F.; Jiang, C.; Pottmann, H.: Smooth polyhedral surfaces. Advances in Mathematics 363, 107004 (2020)
16.
Zeitschriftenartikel
Jain, P.; Kanesh, L.; Misra, P.: Conflict Free Version of Covering Problems on Graphs: Classical and Parameterized. Theory of Computing Systems (2020)
17.
Zeitschriftenartikel
Karrenbauer, A.; Kolev, P.; Mehlhorn, K.: Convergence of the Non-Uniform Physarum Dynamics. Theoretical Computer Science 816, S. 260 - 269 (2020)
18.
Zeitschriftenartikel
Keuper, M.; Tang, S.; Andres, B.; Brox, T.; Schiele, B.: Motion Segmentation & Multiple Object Tracking by Correlation Co-Clustering. IEEE Transactions on Pattern Analysis and Machine Intelligence 42 (1), S. 140 - 153 (2020)
19.
Zeitschriftenartikel
Kreer, C.; Döring, M.; Lehnen, N.; Ercanoglu, M. S.; Gieselmann, L.; Luca, D.; Jain, K.; Schommers, P.; Pfeifer, N.; Klein, F.: openPrimeR for Multiplex Amplification of Highly Diverse Templates. Journal of Immunological Methods 420, 112752 (2020)
20.
Zeitschriftenartikel
Lähnemann, D.; Köster, J.; Szczurek, E.; McCarthy, D. J.; Hicks, S. C.; Robinson, M. D.; Vallejos, C. A.; Campbell, K. R.; Beerenwinkel, N.; Mahfouz, A. et al.; Pinello, L.; Skums, P.; Stamatakis, A.; Attolini, C. S.-O.; Aparicio, S.; Baaijens, J.; Balvert, M.; de Barbanson, B.; Cappuccio, A.; Corleone, G.; Dutilh, B. E.; Florescu, M.; Guryev, V.; Holmer, R.; Jahn, K.; Lobo, T. J.; Keizer, E. M.; Khatri, I.; Kielbasa, S. M.; Korbel, J. O.; Kozlov, A. M.; Kuo, T.-H.; Lelieveldt, B. P. F.; Mandoiu, I. I.; Marioni, J. C.; Marschall, T.; Moelder, F.; Niknejad, A.; Raczkowski, L.; Reinders, M.; de Ridder, J.; Saliba, A.-E.; Somarakis, A.; Stegle, O.; Theis, F. J.; Yang, H.; Zelikovsky, A.; MacHardy, A. C.; Raphael, B. J.; Shah, S. P.; Schönhuth, A.: Eleven Grand Challenges in Single-Cell Data Science. Genome Biology 21 (1), 31 (2020)
Zur Redakteursansicht