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

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.”https://doi.org/10.1145/3060139__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3060139 .
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Eguchi, Kohgaku, Zachari Taoufiq, Oliver Thorn Seshold, Dirk Trauner, Masato Hasegawa, and Tomoyuki Takahashi. “Wild-Type Monomeric ;1-Synuclein Can Impair Vesicle Endocytosis and Synaptic Fidelity via Tubulin Polymerization at the Calyx of Held.”https://doi.org/10.1523/JNEUROSCI.0179-17.2017__European Journal of Neuroscience. Wiley-Blackwell, 2017.https://doi.org/10.1523/JNEUROSCI.0179-17.2017 .
LibreCat: https://research-explorer.ista.ac.at/record/472
DOI: 10.1523/JNEUROSCI.0179-17.2017

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1142/S0218195916600050__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2017.https://doi.org/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.”https://doi.org/10.4310/ATMP.2017.v21.n3.a4__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/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, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.”https://doi.org/10.4310/ATMP.2017.v21.n3.a5__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/10.4310/ATMP.2017.v21.n3.a5 .
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5

Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.”https://doi.org/10.1145/3143361.3143367__In Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, 2–14. ACM, 2017.https://doi.org/10.1145/3143361.3143367 .
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 10.1145/3143361.3143367

Simonnet, Jean, Mérie Nassar, Federico Stella, Ivan Cohen, Bertrand Mathon, Charlotte N. Boccara, Richard Miles, and Desdemona Fricker. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.”https://doi.org/10.1038/ncomms16032__Nature Communications. Nature Publishing Group, 2017.https://doi.org/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.”https://doi.org/10.1038/nsmb.3460__Nature Structural and Molecular Biology. Nature Publishing Group, 2017.https://doi.org/10.1038/nsmb.3460 .
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

Klotz, Lukasz, Grégoire M Lemoult, Idalia Frontczak, Laurette Tuckerman, and José Wesfreid. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.”https://doi.org/10.1103/PhysRevFluids.2.043904__Physical Review Fluids. American Physical Society, 2017.https://doi.org/10.1103/PhysRevFluids.2.043904 .
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

Du, Wei, Andreas Angermayr, Joeri Jongbloets, Douwe Molenaar, Herwig Bachmann, Klaas Hellingwerf, and Filipe Branco Dos Santos. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. P.”https://doi.org/10.1021/acssynbio.6b00235__ACS Synthetic Biology. American Chemical Society, 2017.https://doi.org/10.1021/acssynbio.6b00235 .
LibreCat: https://research-explorer.ista.ac.at/record/520
DOI: 10.1021/acssynbio.6b00235
PMID: 27936615

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

Wangenheim, Daniel von, Tatsuaki Goh, Daniela Dietrich, and Malcolm Bennett. “Plant Biology: Building Barriers in Roots.”https://doi.org/10.1016/j.cub.2017.01.060__Current Biology. Cell Press, 2017.https://doi.org/10.1016/j.cub.2017.01.060 .
LibreCat: https://research-explorer.ista.ac.at/record/525
DOI: 10.1016/j.cub.2017.01.060

Gherghina, Florin, Andrei Tica, Elena Deliu, Mary Abood, G. Brailoiu, and Eugen Breiloiu. “Effects of VPA Activation in Nucleus Ambiguus Neurons.”https://doi.org/10.1016/j.brainres.2016.12.026__Brain Research. Elsevier, 2017.https://doi.org/10.1016/j.brainres.2016.12.026 .
LibreCat: https://research-explorer.ista.ac.at/record/529
DOI: 10.1016/j.brainres.2016.12.026

Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds.”https://doi.org/10.1007/s00454-017-9900-0__Discrete &; Computational Geometry. Springer, 2017.https://doi.org/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, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.”https://doi.org/10.1002/ange.201611998__Angewandte Chemie. Wiley, 2017.https://doi.org/10.1002/ange.201611998 .
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina, Kseniya, Alexander Lercher, Michael Caldera, Christopher Schliehe, Bojan Vilagos, Mehmet Sahin, Lindsay Kosack, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.”https://doi.org/10.1371/journal.ppat.1006758__PLoS Pathogens. Public Library of Science, 2017.https://doi.org/10.1371/journal.ppat.1006758 .
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

Chatterjee, Krishnendu, Zuzana Ketínská, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.”https://doi.org/10.23638/LMCS-13(2:15)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/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, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1145/3152769__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3152769 .
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598