Publikationen im Jahrbuch 2018

Zeitschriftenartikel

  1. 1.
    Adamaszek, A.; Renault, M. P.; Rosen, A.; van Stee, R.: Reordering Buffer Management with Advice. Journal of Scheduling 20 (5), S. 423 - 442 (2017)
  2. 2.
    Ahmad, M.; Helms, V.; Kalinina, O. V.; Lengauer, T.: Elucidating the Energetic Contributions to the Binding Free Energy. The Journal of Chemical Physics 146 (1), 014105 (2017)
  3. 3.
    Albrecht, F.; List, M.; Bock, C.; Lengauer, T.: DeepBlueR: Large-scale Epigenomic Analysis in R. Bioinformatics 33 (13), btx099, S. 2063 - 2064 (2017)
  4. 4.
    Alcaraz, N.; List, M.; Batra, R.; Vandin, F.; Ditzel, H. J.; Baumbach, J.: De novo Pathway-based Biomarker Identification. Nucleic Acids Research 45 (16), e151 (2017)
  5. 5.
    Almeida, D.; Skov, I.; Silva, A.; Vandin, F.; Tan, Q.; Röttger, R.; Baumbach, J.: Efficient Detection of Differentially Methylated Regions using DiMmeR. Bioinformatics 33 (4), S. 549 - 551 (2017)
  6. 6.
    Alon, N.; Moran, S.; Yehudayoff, A.: Sign Rank versus Vapnik-Chervonenkis Dimension. Sbornik: Mathematics 208 (12), S. 1724 - 1757 (2017)
  7. 7.
    Althaus, E.; Beber, B.; Damm, W.; Disch, S.; Hagemann, W.; Rakow, A.; Scholl, C.; Waldmann, U.; Wirtz, B.: Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement. Science of Computer Programming 148, S. 123 - 160 (2017)
  8. 8.
    Anand, S.; Bringmann, K.; Friedrich, T.; Garg, N.; Kumar, A.: Minimizing Maximum (Weighted) Flow-Time on Related and Unrelated Machines. Algorithmica 77 (2), S. 515 - 536 (2017)
  9. 9.
    Antoniadis, A.; Kling, P.; Ott, S.; Riechers, S.: Continuous Speed Scaling with Variability: A simple and Direct Approach. Theoretical Computer Science 678, S. 1 - 13 (2017)
  10. 10.
    Antoniadis, A.; Barcelo, N.; Consuegra, M.; Kling, P.; Nugent, M.; Pruhs, K.; Scquizzato, M.: Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-Off Schedules. Algorithmica 79 (2), S. 568 - 597 (2017)
  11. 11.
    Arabadzhiyska, E.; Tursun, O. T.; Myszkowski, K.; Seidel, H.-P.; Didyk, P.: Saccade Landing Position Prediction for Gaze-Contingent Rendering. ACM Transactions on Graphics 36 (4), 50, S. 1 - 12 (2017)
  12. 12.
    Azar, Y.; Hoefer, M.; Maor, I.; Reiffenhäuser, R.; Vöcking, B.: Truthful Mechanism Design via Correlated Tree Rounding. Mathematical Programming / A 163 (1-2), S. 445 - 469 (2017)
  13. 13.
    Babaei, V.; Vidimče, K.; Foshey, M.; Kaspar, A.; Didyk, P.; Matusik, W.: Color Contoning for 3D Printing. ACM Transactions on Graphics 36 (4), 124, S. 1 - 15 (2017)
  14. 14.
    Bader, J.; Däumer, M.; Schöni-Affolter, F.; Böni, J.; Gorgievski-Hrisoho, M.; Martinetti, G.; Thielen, A.; Klimkait, T.: Therapeutic Immune Recovery and Reduction of CXCR4-Tropic HIV-1. Clinical Infectious Diseases 64 (3), S. 295 - 300 (2017)
  15. 15.
    Barbosa, H.; Blanchette, J. C.; Cruanes, S.; Ouraoui, D. E.; Fontaine, P.: Language and Proofs for Higher-Order SMT (Work in Progress). Electronic Proceedings in Theoretical Computer Science (2017)
  16. 16.
    Barkatou, M. A.; Jaroschek, M.; Maddah, S. S.: Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Journal of Symbolic Computation 81, S. 41 - 68 (2017)
  17. 17.
    Batra, R.; Alcaraz, N.; Gitzhofer, K.; Pauling, J.; Ditzel, H. J.; Hellmuth, M.; Baumbach, J.; List, M.: On the Performance of De Novo Pathway Enrichment. njp Systems Biology and Applications (2017)
  18. 18.
    Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Silvestri, R.; Trevisan, L.: Simple Dynamics for Plurality Consensus. Distributed Computing 30 (4), S. 293 - 306 (2017)
  19. 19.
    Becker, R.; Sagraloff, M.; Sharma, V.; Yap, C.: A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. Journal of Symbolic Computation 86, S. 51 - 96 (2018)
  20. 20.
    Berger, B.; Gaasterland, T.; Lengauer, T.; Orengo, C.; Gaeta, B.; Markel, S.; Valencia, A.: ISCB’s Initial Reaction to The New England Journal of Medicine Editorial on Data Sharing. Bioinformatics 33 (18), S. 2968 - 2968 (2017)
Zur Redakteursansicht