Publications in Yearbook 2017

Journal Article

1.
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P. et al.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.: Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra 50 (4), pp. 145 - 147 (2016)
2.
Ackermann, H.; Berenbrink, P.; Fischer, S.; Hoefer, M.: Concurrent Imitation Dynamics in Congestion Games. Distributed Computing 29 (2), pp. 105 - 125 (2016)
3.
Ahmad, M.; Helms, V.; Kalinina, O. V.; Lengauer, T.: The Role of Conformational Changes in Molecular Recognition. The Journal of Physical Chemistry B 120 (9), pp. 2138 - 2144 (2016)
4.
Akata, Z.; Perronnin, F.; Harchaoui, Z.; Schmid, C.: Label-Embedding for Image Classification. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (7), pp. 1425 - 1438 (2016)
5.
Albrecht, F.; List, M.; Bock, C.; Lengauer, T.: DeepBlue Epigenomic Data Server: Programmatic Data Retrieval and Analysis of Epigenome Region Sets. Nucleic Acids Research 44 (W1/Web Server issue), pp. W581 - W586 (2016)
6.
Alcaraz, N.; List, M.; Dissing-Hansen, M.; Rehmsmeier, M.; Tan, Q.; Mollenhauer, J.; Ditzel, H. J.; Baumbach, J.: Robust de novo pathway enrichment with KeyPathwayMiner 5. Faculty of 1000 Research (2016)
7.
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), pp. 549 - 551 (2017)
8.
Alvarez-Cortez, S.; Kunkel, T.; Masia, B.: Practical Low-Cost Recovery of Spectral Power Distributions. Computer Graphics Forum 35 (1), pp. 166 - 178 (2016)
9.
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), pp. 568 - 597 (2017)
10.
Auffray, C.; Balling, R.; Barroso, I.; Bencze, L.; Blomberg, N.; Bock, C.; Conesa, A.; Del Signore, S.; Delogne, C.; Deyilee, P. et al.; Di Meglio, A.; Eijkemans, M.; Flicek, P.; Graf, N.; Grimm, V.; Guchelaar, H.-J.; Guo, Y.-K.; Gut, I. G.; Hanbury, A.; Hanif, S.; Hilgers, R.-D.; Honrado, Á.; Hose, D. R.; Houwing-Duistermaat, J.; Hubbard, T.; Janacek, S. H.; Karanikas, H.; Kievits, T.; Kohler, M.; Kremer, A.; Lanfear, J.; Lengauer, T.; Maes, E.; Meert, T.; Müller, W.; Nickel, D.; Oledzki, P.; Pedersen, B.; Petkovic, M.; Pliakos, K.; Rattray, M.; Redón i Màs, J.; Schneider, R.; Sengstag, T.; Serra-Picamal, X.; Spek, W.; Vaas, L. A. I.; van Batenburg, O.; Vandelaer, M.; Varnai, P.; Villoslada, P.; Vizcaíno, J. A.; Wubbe, J. P. M.; Zanetti, G.: Making Sense of Big Data in Health Research: Towards an EU Action Plan. Genome Medicine (2016)
11.
Auffray, C.; Balling, R.; Barroso, I.; Bencze, L.; Blomberg, N.; Bock, C.; Conesa, A.; Del Signore, S.; Delogne, C.; Deyilee, P. et al.; Di Meglio, A.; Eijkemans, M.; Flicek, P.; Graf, N.; Grimm, V.; Guchelaar, H.-J.; Guo, Y.-K.; Gut, I. G.; Hanbury, A.; Hanif, S.; Hilgers, R.-D.; Honrado, Á.; Hose, D. R.; Houwing-Duistermaat, J.; Hubbard, T.; Janacek, S. H.; Karanikas, H.; Kievits, T.; Kohler, M.; Kremer, A.; Lanfear, J.; Lengauer, T.; Maes, E.; Meert, T.; Müller, W.; Nickel, D.; Oledzki, P.; Pedersen, B.; Petkovic, M.; Pliakos, K.; Rattray, M.; Redón i Màs, J.; Schneider, R.; Sengstag, T.; Serra-Picamal, X.; Spek, W.; Vaas, L. A. I.; van Batenburg, O.; Vandelaer, M.; Varnai, P.; Villoslada, P.; Vizcaíno, J. A.; Wubbe, J. P. M.; Zanetti, G.: Erratum to: Making Sense of Big Data in Health Research: Towards an EU Action Plan. Genome Medicine (2016)
12.
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), pp. 295 - 300 (2017)
13.
Barkatou, M. A.; Jaroschek, M.; Maddah, S. S.: Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Journal of Symbolic Computation 81, pp. 41 - 68 (2017)
14.
Belagiannis, V.; Amin, S.; Andriluka, M.; Schiele, B.; Navab, N.; Ilic, S.: 3D Pictorial Structures Revisited: Multiple Human Pose Estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (10), pp. 1929 - 1942 (2016)
15.
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. PLoS Computational Biology (2016)
16.
Bishnu, A.; Dutta, K.; Ghosh, A.; Paul, S.: (1,j)-set Problem in Graphs. Discrete Mathematics 339 (10), pp. 2515 - 2525 (2016)
17.
Blanchette, J. C.; Böhme, S.; Fleury, M.; Smolka, S. J.; Steckermeier, A.: Semi-intelligible Isar Proofs from Machine-Generated Proofs. Journal of Automated Reasoning 56 (2), pp. 155 - 200 (2016)
18.
Blanchette, J. C.; Kaliszyk, C.; Paulson, L. C.; Urban, J.: Hammering towards QED. Journal of Formalized Reasoning (2016)
19.
Blanchette, J. C.; Popescu, A.; Traytel, D.: Soundness and Completeness Proofs by Coinductive Methods. Journal of Automated Reasoning 58 (1), pp. 149 - 179 (2017)
20.
Blanchette, J. C.; Greenaway, D.; Kaliszyk, C.; Kühlwein, D.; Urban, J.: A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning 57 (3), pp. 219 - 244 (2016)