Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.”https://doi.org/10.1145/3158121__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158121 .
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.”https://doi.org/10.1145/3040718.3040729__In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 3–11. ACM, 2017.https://doi.org/10.1145/3040718.3040729 .
LibreCat: https://research-explorer.ista.ac.at/record/1112
DOI: 10.1145/3040718.3040729

Alwen, Joel F, Susanna De Rezende, Jakob Nordstrom, and Marc Vinyals. “Cumulative Space in Black-White Pebbling and Resolution.”https://doi.org/10.4230/LIPIcs.ITCS.2017.38__edited by Christos Papadimitriou, 67:38:1-38-21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.ITCS.2017.38 .
LibreCat: https://research-explorer.ista.ac.at/record/1175
DOI: 10.4230/LIPIcs.ITCS.2017.38

Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.”https://doi.org/10.1007/s11538-016-0244-3__Bulletin of Mathematical Biology. Springer, 2017.https://doi.org/10.1007/s11538-016-0244-3 .
LibreCat: https://research-explorer.ista.ac.at/record/1191
DOI: 10.1007/s11538-016-0244-3

Budanur, Nazmi B, and Predrag Cvitanovi. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.”https://doi.org/10.1007/s10955-016-1672-z__Journal of Statistical Physics. Springer, 2017.https://doi.org/10.1007/s10955-016-1672-z .
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.”https://doi.org/10.7155/jgaa.00408__Journal of Graph Algorithms and Applications. Brown University, 2017.https://doi.org/10.7155/jgaa.00408 .
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.”https://doi.org/10.1039/9781788010405-00025__In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017.https://doi.org/10.1039/9781788010405-00025 .
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.”https://doi.org/10.1016/j.bpj.2017.09.006__Biophysical Journal. Biophysical Society, 2017.https://doi.org/10.1016/j.bpj.2017.09.006 .
LibreCat: https://research-explorer.ista.ac.at/record/453
DOI: 10.1016/j.bpj.2017.09.006

Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.”https://doi.org/10.23638/LMCS-13(3:26)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/10.23638/LMCS-13(3:26)2017 .
LibreCat: https://research-explorer.ista.ac.at/record/464
DOI: 10.23638/LMCS-13(3:26)2017
arXiv: 1410.0833

Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.”https://doi.org/10.1145/3072959.3073678__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3072959.3073678 .
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678