Serbyn, Maksym, and Dimitry Abanin. “Loschmidt Echo in Many Body Localized Phases.”10.1103/PhysRevB.96.014202__Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 1, American Physical Society, 2017, doi:10.1103/PhysRevB.96.014202.
LibreCat: https://research-explorer.ista.ac.at/record/445
DOI: 10.1103/PhysRevB.96.014202

Fallesen, Todd, et al. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.”10.1016/j.bpj.2017.09.006__Biophysical Journal, vol. 113, no. 9, Biophysical Society, 2017, pp. 2055–67, doi: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, et al. “Improved Algorithms for Parity and Streett Objectives.”10.23638/LMCS-13(3:26)2017__Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi: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.”10.1145/3072959.3073678__ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.”10.1145/3060139__ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.”10.1142/S0218195916600050__International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.”10.4310/ATMP.2017.v21.n3.a4__Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
LibreCat: https://research-explorer.ista.ac.at/record/484
DOI: 10.4310/ATMP.2017.v21.n3.a4

Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.”10.4310/ATMP.2017.v21.n3.a5__Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5

Simonnet, Jean, et al. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.”10.1038/ncomms16032__Nature Communications, vol. 8, 16032, Nature Publishing Group, 2017, doi:10.1038/ncomms16032.
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.”10.1038/nsmb.3460__Nature Structural and Molecular Biology, vol. 24, no. 10, Nature Publishing Group, 2017, pp. 800–08, doi:10.1038/nsmb.3460.
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.”10.1103/PhysRevFluids.2.043904__Physical Review Fluids, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.”10.1016/j.topol.2016.10.005__Topology and Its Applications, vol. 215, Elsevier, 2017, pp. 45–57, doi:10.1016/j.topol.2016.10.005.
LibreCat: https://research-explorer.ista.ac.at/record/521
DOI: 10.1016/j.topol.2016.10.005

von Wangenheim, Daniel, et al. “Plant Biology: Building Barriers in Roots.”10.1016/j.cub.2017.01.060__Current Biology, vol. 27, no. 5, Cell Press, 2017, pp. 2–74, doi:10.1016/j.cub.2017.01.060.
LibreCat: https://research-explorer.ista.ac.at/record/525
DOI: 10.1016/j.cub.2017.01.060

Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.”10.1007/s00454-017-9900-0__Discrete &; Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.
LibreCat: https://research-explorer.ista.ac.at/record/534
DOI: 10.1007/s00454-017-9900-0
arXiv: 1602.07907

Kainrath, Stephanie, et al. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.”10.1002/ange.201611998__Angewandte Chemie, vol. 129, no. 16, Wiley, 2017, pp. 4679–82, doi:10.1002/ange.201611998.
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina, Kseniya, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.”10.1371/journal.ppat.1006758__PLoS Pathogens, vol. 13, no. 12, e1006758, Public Library of Science, 2017, doi:10.1371/journal.ppat.1006758.
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.”10.23638/LMCS-13(2:15)2017__Logical Methods in Computer Science, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(2:15)2017.
LibreCat: https://research-explorer.ista.ac.at/record/466
DOI: 10.23638/LMCS-13(2:15)2017

Chatterjee, Krishnendu, et al. “Nested Weighted Automata.”10.1145/3152769__ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.”10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 10.23638/LMCS-13(3:23)2017

Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.”10.1038/s41598-017-00107-w__Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w