Chait, Remy P, Jakob Ruess, Tobias Bergmiller, Gasper Tkadik, and Calin C Guet. “Shaping Bacterial Population Behavior through Computer Interfaced Control of Individual Cells.”https://doi.org/10.1038/s41467-017-01683-1__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/s41467-017-01683-1 .
LibreCat: https://research-explorer.ista.ac.at/record/613
DOI: 10.1038/s41467-017-01683-1

Erdös, László, and Kevin Schnelli. “Universality for Random Matrix Flows with Time Dependent Density.”https://doi.org/10.1214/16-AIHP765__Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-AIHP765 .
LibreCat: https://research-explorer.ista.ac.at/record/615
DOI: 10.1214/16-AIHP765

Hill Yardin, Elisa, Sonja Mckeown, Gaia Novarino, and Andreas Grabrucker. “Extracerebral Dysfunction in Animal Models of Autism Spectrum Disorder.”https://doi.org/10.1007/978-3-319-52498-6_9__In Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, 224:159–87. Advances in Anatomy Embryology and Cell Biology. Springer, 2017.https://doi.org/10.1007/978-3-319-52498-6_9 .
LibreCat: https://research-explorer.ista.ac.at/record/623
DOI: 10.1007/978-3-319-52498-6_9

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “The Infinitesimal Model: Definition Derivation and Implications.”https://doi.org/10.1016/j.tpb.2017.06.001__Theoretical Population Biology. Academic Press, 2017.https://doi.org/10.1016/j.tpb.2017.06.001 .
LibreCat: https://research-explorer.ista.ac.at/record/626
DOI: 10.1016/j.tpb.2017.06.001

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.”https://doi.org/10.1007/978-3-319-63121-9_18__In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Theoretical Computer Science and General Issues. Springer, 2017.https://doi.org/10.1007/978-3-319-63121-9_18 .
LibreCat: https://research-explorer.ista.ac.at/record/625
DOI: 10.1007/978-3-319-63121-9_18

Nikolic, Nela, Zrinka Didara, and Isabella Moll. “MazF Activation Promotes Translational Heterogeneity of the GrcA MRNA in Escherichia Coli Populations.”https://doi.org/10.7717/peerj.3830__PeerJ. PeerJ, 2017.https://doi.org/10.7717/peerj.3830 .
LibreCat: https://research-explorer.ista.ac.at/record/624
DOI: 10.7717/peerj.3830

Chatterjee, Krishnendu, Hongfei Fu, and Aniket Murhekar. “Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds.”https://doi.org/10.1007/978-3-319-63387-9_6__edited by Rupak Majumdar and Viktor Kundak, 10426:118–39. Springer, 2017.https://doi.org/10.1007/978-3-319-63387-9_6 .
LibreCat: https://research-explorer.ista.ac.at/record/628
DOI: 10.1007/978-3-319-63387-9_6

Loose, Martin, Katja Zieske, and Petra Schwille. “Reconstitution of Protein Dynamics Involved in Bacterial Cell Division.”https://doi.org/10.1007/978-3-319-53047-5_15__In Prokaryotic Cytoskeletons, 84:419–44. Sub-Cellular Biochemistry. Springer, 2017.https://doi.org/10.1007/978-3-319-53047-5_15 .
LibreCat: https://research-explorer.ista.ac.at/record/629
DOI: 10.1007/978-3-319-53047-5_15
PMID: 28500535

Sauermann, Stefan, Veronika David, Alois Schlögl, Reinhard Egelkraut, Matthias Frohner, Birgit Pohn, Philipp Urbauer, and Alexander Mense. “Biosignals Standards and FHIR: The Way to Go,”https://doi.org/10.3233/978-1-61499-759-7-356__236:356–62. IOS Press, 2017.https://doi.org/10.3233/978-1-61499-759-7-356 .
LibreCat: https://research-explorer.ista.ac.at/record/630
DOI: 10.3233/978-1-61499-759-7-356

Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “A Note on 2D Focusing Many Boson Systems.”https://doi.org/10.1090/proc/13468__Proceedings of the American Mathematical Society. American Mathematical Society, 2017.https://doi.org/10.1090/proc/13468 .
LibreCat: https://research-explorer.ista.ac.at/record/632
DOI: 10.1090/proc/13468

Schroeder, Jan, Elena Deliu, Gaia Novarino, and Michael Schmeisser. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.”https://doi.org/10.1007/978-3-319-52498-6_10__In Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, 224:189–211. Advances in Anatomy Embryology and Cell Biology. Springer, 2017.https://doi.org/10.1007/978-3-319-52498-6_10 .
LibreCat: https://research-explorer.ista.ac.at/record/634
DOI: 10.1007/978-3-319-52498-6_10

Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, and Aviral Kumar. “Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees.”https://doi.org/10.1007/978-3-319-63501-9_6__edited by Alessandro Abate and Sylvie Bodo, 10381:83–89. Springer, 2017.https://doi.org/10.1007/978-3-319-63501-9_6 .
LibreCat: https://research-explorer.ista.ac.at/record/633
DOI: 10.1007/978-3-319-63501-9_6

Alwen, Joel F, Binchi Chen, Krzysztof Z Pietrzak, Leonid Reyzin, and Stefano Tessaro. “Scrypt Is Maximally Memory Hard.”https://doi.org/10.1007/978-3-319-56617-7_2__edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:33–62. Springer, 2017.https://doi.org/10.1007/978-3-319-56617-7_2 .
LibreCat: https://research-explorer.ista.ac.at/record/635
DOI: 10.1007/978-3-319-56617-7_2

Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.”https://doi.org/10.1007/978-3-319-65765-3_11__edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_11 .
LibreCat: https://research-explorer.ista.ac.at/record/636
DOI: 10.1007/978-3-319-65765-3_11

Bogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. Numerical Software Verification. Vol. 10152. LNCS. Springer, 2017.https://doi.org/10.1007/978-3-319-54292-8 .
LibreCat: https://research-explorer.ista.ac.at/record/638
DOI: 10.1007/978-3-319-54292-8

Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Depth-Robust Graphs and Their Cumulative Memory Complexity.”https://doi.org/10.1007/978-3-319-56617-7_1__edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:3–32. Springer, 2017.https://doi.org/10.1007/978-3-319-56617-7_1 .
LibreCat: https://research-explorer.ista.ac.at/record/640
DOI: 10.1007/978-3-319-56617-7_1

Trajkovska, Vera, Paul Swoboda, Freddie Åström, and Stefanie Petra. “Graphical Model Parameter Learning by Inverse Linear Programming.”https://doi.org/10.1007/978-3-319-58771-4_26__edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:323–34. Springer, 2017.https://doi.org/10.1007/978-3-319-58771-4_26 .
LibreCat: https://research-explorer.ista.ac.at/record/641
DOI: 10.1007/978-3-319-58771-4_26

Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. Synchronizing the Asynchronous. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2018-853-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

Sun, Wuping, Ming-Zhu Zhai, Qian Zhou, Chengrui Qian, and Changyu Jiang. “Effects of B Vitamins Overload on Plasma Insulin Level and Hydrogen Peroxide Generation in Rats.”https://doi.org/10.4077/CJP.2017.BAF469__Chinese Journal of Physiology. Chinese Physiological Society, 2017.https://doi.org/10.4077/CJP.2017.BAF469 .
LibreCat: https://research-explorer.ista.ac.at/record/643
DOI: 10.4077/CJP.2017.BAF469
PMID: 28847140

Gerencser, Mate, and István Gyöngy. “Localization Errors in Solving Stochastic Partial Differential Equations in the Whole Space.”https://doi.org/10.1090/mcom/3201__Mathematics of Computation. American Mathematical Society, 2017.https://doi.org/10.1090/mcom/3201 .
LibreCat: https://research-explorer.ista.ac.at/record/642
DOI: 10.1090/mcom/3201