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

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/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, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.”https://doi.org/10.1038/s41598-017-00107-w__Scientific Reports. Nature Publishing Group, 2017.https://doi.org/10.1038/s41598-017-00107-w .
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.”https://doi.org/10.1145/3158118__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158118 .
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2017-870-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.”https://doi.org/10.1145/3158119__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158119 .
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2017-872-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5456
DOI: 10.15479/AT:IST-2017-872-v1-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2017.61__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 .
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee, Krishnendu, Monika H Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.39__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.55__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 .
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser, Mate, Arnulf Jentzen, and Diyora Salimova. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.”https://doi.org/10.1098/rspa.2017.0104__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2017.https://doi.org/10.1098/rspa.2017.0104 .
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Franek, Peter, and Marek Krcál. “Persistence of Zero Sets.”https://doi.org/10.4310/HHA.2017.v19.n2.a16__Homology, Homotopy and Applications. International Press, 2017.https://doi.org/10.4310/HHA.2017.v19.n2.a16 .
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16

Lagator, Mato, Srdjan Sarikas, Hande Acar, Jonathan P Bollback, and Calin C Guet. “Regulatory Network Structure Determines Patterns of Intermolecular Epistasis.”https://doi.org/10.7554/eLife.28921__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.28921 .
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

Spira, Felix, Sara Cuylen Haering, Shalin Mehta, Matthias Samwer, Anne Reversat, Amitabh Verma, Rudolf Oldenbourg, Michael K Sixt, and Daniel Gerlich. “Cytokinesis in Vertebrate Cells Initiates by Contraction of an Equatorial Actomyosin Network Composed of Randomly Oriented Filaments.”https://doi.org/10.7554/eLife.30867__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.30867 .
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867

Olatunji, Damilola, Danny Geelen, and Inge Verstraeten. “Control of Endogenous Auxin Levels in Plant Root Development.”https://doi.org/10.3390/ijms18122587__International Journal of Molecular Sciences. MDPI, 2017.https://doi.org/10.3390/ijms18122587 .
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

Camus, Nicolas, Enderalp Yakaboylu, Lutz Fechner, Michael Klaiber, Martin Laux, Yonghao Mi, Karen Hatsagortsyan, Thomas Pfeifer, Cristoph Keitel, and Robert Moshammer. “Experimental Evidence for Wigner’s Tunneling Time,”https://doi.org/10.1088/1742-6596/999/1/012004__Vol. 999. American Physical Society, 2017.https://doi.org/10.1088/1742-6596/999/1/012004 .
LibreCat: https://research-explorer.ista.ac.at/record/313
DOI: 10.1088/1742-6596/999/1/012004
arXiv: 1611.03701

Camus, Nicolas, Enderalp Yakaboylu, Lutz Fechner, Michael Klaiber, Martin Laux, Yonghao Mi, Karen Z. Hatsagortsyan, Thomas Pfeifer, Christoph H. Keitel, and Robert Moshammer. “Experimental Evidence for Quantum Tunneling Time.”https://doi.org/10.1103/PhysRevLett.119.023201__Physical Review Letters. American Physical Society, 2017.https://doi.org/10.1103/PhysRevLett.119.023201 .
LibreCat: https://research-explorer.ista.ac.at/record/6013
DOI: 10.1103/PhysRevLett.119.023201
arXiv: 1611.03701

Brody, Joshua, Stefan Dziembowski, Sebastian Faust, and Krzysztof Z Pietrzak. “Position Based Cryptography and Multiparty Communication Complexity.”https://doi.org/10.1007/978-3-319-70500-2_3__edited by Yael Kalai and Leonid Reyzin, 10677:56–81. Springer, 2017.https://doi.org/10.1007/978-3-319-70500-2_3 .
LibreCat: https://research-explorer.ista.ac.at/record/605
DOI: 10.1007/978-3-319-70500-2_3

Lemeshko, Mikhail, and Richard Schmidt. “Molecular Impurities Interacting with a Many-Particle Environment: From Ultracold Gases to Helium Nanodroplets.”https://doi.org/10.1039/9781782626800-00444__In Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , edited by Oliver Dulieu and Andreas Osterwalder, 11:444–95. Theoretical and Computational Chemistry Series. The Royal Society of Chemistry, 2017.https://doi.org/10.1039/9781782626800-00444 .
LibreCat: https://research-explorer.ista.ac.at/record/604
DOI: 10.1039/9781782626800-00444

Alwen, Joel F, and Björn Tackmann. “Moderately Hard Functions: Definition, Instantiations, and Applications.”https://doi.org/10.1007/978-3-319-70500-2_17__edited by Yael Kalai and Leonid Reyzin, 10677:493–526. Springer, 2017.https://doi.org/10.1007/978-3-319-70500-2_17 .
LibreCat: https://research-explorer.ista.ac.at/record/609
DOI: 10.1007/978-3-319-70500-2_17

Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A van Kampen–Flores Type Nonembeddability Result.”https://doi.org/10.1007/s11856-017-1607-7__Israel Journal of Mathematics. Springer, 2017.https://doi.org/10.1007/s11856-017-1607-7 .
LibreCat: https://research-explorer.ista.ac.at/record/610
DOI: 10.1007/s11856-017-1607-7

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

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

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

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

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

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

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

Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.”https://doi.org/10.1007/978-3-319-63387-9_10__edited by Rupak Majumdar and Viktor Kundak, 10426:201–21. Springer, 2017.https://doi.org/10.1007/978-3-319-63387-9_10 .
LibreCat: https://research-explorer.ista.ac.at/record/645
DOI: 10.1007/978-3-319-63387-9_10

Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.”https://doi.org/10.1137/16M1091836__SIAM Journal on Computing. SIAM, 2017.https://doi.org/10.1137/16M1091836 .
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

Kuske, Jan, Paul Swoboda, and Stefanie Petra. “A Novel Convex Relaxation for Non Binary Discrete Tomography.”https://doi.org/10.1007/978-3-319-58771-4_19__edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:235–46. Springer, 2017.https://doi.org/10.1007/978-3-319-58771-4_19 .
LibreCat: https://research-explorer.ista.ac.at/record/646
DOI: 10.1007/978-3-319-58771-4_19

Skórski, Maciej. “On the Complexity of Breaking Pseudoentropy.”https://doi.org/10.1007/978-3-319-55911-7_43__edited by Gerhard Jäger and Silvia Steila, 10185:600–613. Springer, 2017.https://doi.org/10.1007/978-3-319-55911-7_43 .
LibreCat: https://research-explorer.ista.ac.at/record/648
DOI: 10.1007/978-3-319-55911-7_43

Skórski, Maciej. “A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.”https://doi.org/10.1007/978-3-319-55911-7_42__edited by Gerhard Jäger and Silvia Steila, 10185:586–99. Springer, 2017.https://doi.org/10.1007/978-3-319-55911-7_42 .
LibreCat: https://research-explorer.ista.ac.at/record/650
DOI: 10.1007/978-3-319-55911-7_42

Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Set-Based Symbolic Algorithms for Parity Games,”https://doi.org/10.4230/LIPICS.CSL.2017.18__Vol. 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.https://doi.org/10.4230/LIPICS.CSL.2017.18 .
LibreCat: https://research-explorer.ista.ac.at/record/6519
DOI: 10.4230/LIPICS.CSL.2017.18

Fulek, Radoslav. “Embedding Graphs into Embedded Graphs,”https://doi.org/10.4230/LIPICS.ISAAC.2017.34__Vol. 92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPICS.ISAAC.2017.34 .
LibreCat: https://research-explorer.ista.ac.at/record/6517
DOI: 10.4230/LIPICS.ISAAC.2017.34

Makohon Moore, Alvin, Ming Zhang, Johannes Reiter, Ivana Boei, Benjamin Allen, Deepanjan Kundu, Krishnendu Chatterjee, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.”https://doi.org/10.1038/ng.3764__Nature Genetics. Nature Publishing Group, 2017.https://doi.org/10.1038/ng.3764 .
LibreCat: https://research-explorer.ista.ac.at/record/653
DOI: 10.1038/ng.3764
PMID: 28092682

Alwen, Joel F, Jeremiah Blocki, and Ben Harsha. “Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions.”https://doi.org/10.1145/3133956.3134031__In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 1001–17. ACM Press, 2017.https://doi.org/10.1145/3133956.3134031 .
LibreCat: https://research-explorer.ista.ac.at/record/6527
DOI: 10.1145/3133956.3134031

Kicheva, Anna, and Nicolas Rivron. “Creating to Understand – Developmental Biology Meets Engineering in Paris.”https://doi.org/10.1242/dev.144915__Development. Company of Biologists, 2017.https://doi.org/10.1242/dev.144915 .
LibreCat: https://research-explorer.ista.ac.at/record/654
DOI: 10.1242/dev.144915

Skórski, Maciej. “On the Complexity of Estimating Rènyi Divergences.”https://doi.org/10.1109/isit.2017.8006529__In 2017 IEEE International Symposium on Information Theory (ISIT). IEEE, 2017.https://doi.org/10.1109/isit.2017.8006529 .
LibreCat: https://research-explorer.ista.ac.at/record/6526
DOI: 10.1109/isit.2017.8006529
arXiv: 1702.01666

Renault, Thibaud, Anthony Abraham, Tobias Bergmiller, Guillaume Paradis, Simon Rainville, Emmanuelle Charpentier, Calin C Guet, et al. “Bacterial Flagella Grow through an Injection Diffusion Mechanism.”https://doi.org/10.7554/eLife.23136__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.23136 .
LibreCat: https://research-explorer.ista.ac.at/record/655
DOI: 10.7554/eLife.23136

Möller, Barbara, Colette Ten Hove, Daoquan Xiang, Nerys Williams, Lorena López, Saiko Yoshida, Margot Smit, Raju Datla, and Dolf Weijers. “Auxin Response Cell Autonomously Controls Ground Tissue Initiation in the Early Arabidopsis Embryo.”https://doi.org/10.1073/pnas.1616493114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1616493114 .
LibreCat: https://research-explorer.ista.ac.at/record/657
DOI: 10.1073/pnas.1616493114
PMID: 28265057

Der, Ralf, and Georg S Martius. “Self Organized Behavior Generation for Musculoskeletal Robots.”https://doi.org/10.3389/fnbot.2017.00008__Frontiers in Neurorobotics. Frontiers Research Foundation, 2017.https://doi.org/10.3389/fnbot.2017.00008 .
LibreCat: https://research-explorer.ista.ac.at/record/658
DOI: 10.3389/fnbot.2017.00008

Kage, Frieda, Moritz Winterhoff, Vanessa Dimchev, Jan Müller, Tobias Thalheim, Anika Freise, Stefan Brühmann, et al. “FMNL Formins Boost Lamellipodial Force Generation.”https://doi.org/10.1038/ncomms14832__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/ncomms14832 .
LibreCat: https://research-explorer.ista.ac.at/record/659
DOI: 10.1038/ncomms14832

Rickman, Jamie, Christian F Düllberg, Nicholas Cade, Lewis Griffin, and Thomas Surrey. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.”https://doi.org/10.1073/pnas.1620274114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1620274114 .
LibreCat: https://research-explorer.ista.ac.at/record/660
DOI: 10.1073/pnas.1620274114
PMID: 28280102

Shi, Liang, Björn Hof, Markus Rampp, and Marc Avila. “Hydrodynamic Turbulence in Quasi Keplerian Rotating Flows.”https://doi.org/10.1063/1.4981525__Physics of Fluids. American Institute of Physics, 2017.https://doi.org/10.1063/1.4981525 .
LibreCat: https://research-explorer.ista.ac.at/record/662
DOI: 10.1063/1.4981525

Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.”https://doi.org/10.1145/3049797.3049814__In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017.https://doi.org/10.1145/3049797.3049814 .
LibreCat: https://research-explorer.ista.ac.at/record/663
DOI: 10.1145/3049797.3049814

Horsthemke, Markus, Anne Bachg, Katharina Groll, Sven Moyzio, Barbara Müther, Sandra Hemkemeyer, Roland Wedlich Söldner, et al. “Multiple Roles of Filopodial Dynamics in Particle Capture and Phagocytosis and Phenotypes of Cd and Myo10 Deletion.”https://doi.org/10.1074/jbc.M116.766923__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2017.https://doi.org/10.1074/jbc.M116.766923 .
LibreCat: https://research-explorer.ista.ac.at/record/668
DOI: 10.1074/jbc.M116.766923

Synek, Lukás, Nemanja Vukasinovi, Ivan Kulich, Michal Hála, Klára Aldorfová, Matyas Fendrych, and Viktor dárský. “EXO70 Is a Key Regulatory Factor for Optimal Tip Growth of Pollen.”https://doi.org/10.1104/pp.16.01282__Plant Physiology. American Society of Plant Biologists, 2017.https://doi.org/10.1104/pp.16.01282 .
LibreCat: https://research-explorer.ista.ac.at/record/669
DOI: 10.1104/pp.16.01282
PMID: 28356503

Hilbe, Christian, Vaquero Martinez, Krishnendu Chatterjee, and Martin Nowak. “Memory-n Strategies of Direct Reciprocity.”https://doi.org/10.1073/pnas.1621239114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1621239114 .
LibreCat: https://research-explorer.ista.ac.at/record/671
DOI: 10.1073/pnas.1621239114
PMID: 28420786

Schreck, Camille, Damien Rohmer, and Stefanie Hahmann. “Interactive Paper Tearing.”https://doi.org/10.1111/cgf.13110__Computer Graphics Forum. Wiley, 2017.https://doi.org/10.1111/cgf.13110 .
LibreCat: https://research-explorer.ista.ac.at/record/670
DOI: 10.1111/cgf.13110

Vaahtomeri, Kari, Markus Brown, Robert Hauschild, Ingrid de Vries, Alexander F Leithner, Matthias Mehling, Walter Kaufmann, and Michael K Sixt. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.”https://doi.org/10.1016/j.celrep.2017.04.027__Cell Reports. Cell Press, 2017.https://doi.org/10.1016/j.celrep.2017.04.027 .
LibreCat: https://research-explorer.ista.ac.at/record/672
DOI: 10.1016/j.celrep.2017.04.027

Lademann, Claudio, Jörg Renkawitz, Boris Pfander, and Stefan Jentsch. “The INO80 Complex Removes A.Z to Promote Presynaptic Filament Formation during Homologous Recombination.”https://doi.org/10.1016/j.celrep.2017.04.051__Cell Reports. Cell Press, 2017.https://doi.org/10.1016/j.celrep.2017.04.051 .
LibreCat: https://research-explorer.ista.ac.at/record/677
DOI: 10.1016/j.celrep.2017.04.051

Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1016/j.ic.2016.10.012__Information and Computation. Elsevier, 2017.https://doi.org/10.1016/j.ic.2016.10.012 .
LibreCat: https://research-explorer.ista.ac.at/record/681
DOI: 10.1016/j.ic.2016.10.012
arXiv: 1311.3238

Martius, Georg S, and Christoph Lampert. “Extrapolation and Learning Equations.” In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6841
arXiv: 1610.02995

Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.”https://doi.org/10.1017/jsl.2016.71__Journal of Symbolic Logic. Cambridge University Press, 2017.https://doi.org/10.1017/jsl.2016.71 .
LibreCat: https://research-explorer.ista.ac.at/record/684
DOI: 10.1017/jsl.2016.71

Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’”https://doi.org/10.1016/j.mod.2017.03.005__Mechanisms of Development. Elsevier, 2017.https://doi.org/10.1016/j.mod.2017.03.005 .
LibreCat: https://research-explorer.ista.ac.at/record/685
DOI: 10.1016/j.mod.2017.03.005
PMID: 28366718

Edelsbrunner, Herbert, and Hubert Wagner. “Topological Data Analysis with Bregman Divergences,”https://doi.org/10.4230/LIPIcs.SoCG.2017.39__77:391–3916. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/688
DOI: 10.4230/LIPIcs.SoCG.2017.39

Davison, Ben. “The Critical CoHA of a Quiver with Potential.”https://doi.org/10.1093/qmath/haw053__Quarterly Journal of Mathematics. Oxford University Press, 2017.https://doi.org/10.1093/qmath/haw053 .
LibreCat: https://research-explorer.ista.ac.at/record/687
DOI: 10.1093/qmath/haw053

Miki, Takafumi, Walter Kaufmann, Gerardo Malagon, Laura Gomez, Katsuhiko Tabuchi, Masahiko Watanabe, Ryuichi Shigemoto, and Alain Marty. “Numbers of Presynaptic C+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.”https://doi.org/10.1073/pnas.1704470114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1704470114 .
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047

Veß, Astrid, Ulrich Blache, Laura Leitner, Angela Kurz, Anja Ehrenpfordt, Michael K Sixt, and Guido Posern. “A Dual Phenotype of MDA MB 468 Cancer Cells Reveals Mutual Regulation of Tensin3 and Adhesion Plasticity.”https://doi.org/10.1242/jcs.200899__Journal of Cell Science. Company of Biologists, 2017.https://doi.org/10.1242/jcs.200899 .
LibreCat: https://research-explorer.ista.ac.at/record/694
DOI: 10.1242/jcs.200899
PMID: 28515231

Pietrzak, Krzysztof Z, and Maciej Skórski. “Non Uniform Attacks against Pseudoentropy,”https://doi.org/10.4230/LIPIcs.ICALP.2017.39__Vol. 80. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.ICALP.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/697
DOI: 10.4230/LIPIcs.ICALP.2017.39

Wang, Yejun, Mallika Nagarajan, Caroline Uhler, and Gv Shivashankar. “Orientation and Repositioning of Chromosomes Correlate with Cell Geometry Dependent Gene Expression.”https://doi.org/10.1091/mbc.E16-12-0825__Molecular Biology of the Cell. American Society for Cell Biology, 2017.https://doi.org/10.1091/mbc.E16-12-0825 .
LibreCat: https://research-explorer.ista.ac.at/record/698
DOI: 10.1091/mbc.E16-12-0825

Veller, Carl, Laura Hayward, Martin Nowak, and Christian Hilbe. “The Red Queen and King in Finite Populations.”https://doi.org/10.1073/pnas.1702020114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1702020114 .
LibreCat: https://research-explorer.ista.ac.at/record/699
DOI: 10.1073/pnas.1702020114
PMID: 28630336

Barzanjeh, Shabir, Vahid Salari, Jack Tuszynski, Michal Cifra, and Christoph Simon. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.”https://doi.org/10.1103/PhysRevE.96.012404__https://doi.org/10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017.https://doi.org/10.1103/PhysRevE.96.012404 .
LibreCat: https://research-explorer.ista.ac.at/record/700
DOI: 10.1103/PhysRevE.96.012404

Kyndl, Jan, and Zuzana Patakova. “On the Nonexistence of k Reptile Simplices in d^3 and d^4.” The Electronic Journal of Combinatorics. International Press, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/701

Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .”https://doi.org/10.1112/blms.12062__Bulletin of the London Mathematical Society. Wiley-Blackwell, 2017.https://doi.org/10.1112/blms.12062 .
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Nagy, Balint, Anahit Hovhannisyan, Ruxandra Barzan, Ting Chen, and Maria Kukley. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.”https://doi.org/10.1371/journal.pbio.2001993__PLoS Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pbio.2001993 .
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Obremski, Maciej, and Maciej Skórski. “Renyi Entropy Estimation Revisited,”https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20__Vol. 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20 .
LibreCat: https://research-explorer.ista.ac.at/record/710
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2017.20

Andergassen, Daniel, Christoph Dotter, Dyniel Wenzel, Verena Sigl, Philipp Bammer, Markus Muckenhuber, Daniela Mayer, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.”https://doi.org/10.7554/eLife.25125__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.25125 .
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.5__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 .
LibreCat: https://research-explorer.ista.ac.at/record/711
DOI: 10.4230/LIPIcs.CONCUR.2017.5

Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.”https://doi.org/10.1016/j.na.2017.03.001__Nonlinear Analysis: Theory, Methods and Applications. Elsevier, 2017.https://doi.org/10.1016/j.na.2017.03.001 .
LibreCat: https://research-explorer.ista.ac.at/record/712
DOI: 10.1016/j.na.2017.03.001

Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Breiloiu. “HIV Tat Exciteshttps://doi.org/10.1016/j.drugalcdep.2017.04.015__Receptor-like Expressing Neurons from Rat Nucleus Accumbens.”https://doi.org/10.1016/j.drugalcdep.2017.04.015__Drug and Alcohol Dependence. Elsevier, 2017.https://doi.org/10.1016/j.drugalcdep.2017.04.015 .
LibreCat: https://research-explorer.ista.ac.at/record/714
DOI: 10.1016/j.drugalcdep.2017.04.015
PMID: 28623807

Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.”https://doi.org/10.1145/3121408__Journal of the ACM. ACM, 2017.https://doi.org/10.1145/3121408 .
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.”https://doi.org/10.1016/j.jcss.2017.04.005__Journal of Computer and System Sciences. Academic Press, 2017.https://doi.org/10.1016/j.jcss.2017.04.005 .
LibreCat: https://research-explorer.ista.ac.at/record/717
DOI: 10.1016/j.jcss.2017.04.005

Humplik, Jan, and Gasper Tkadik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.”https://doi.org/10.1371/journal.pcbi.1005763__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005763 .
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Ajanki, Oskari H, Torben H Krüger, and László Erdös. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.”https://doi.org/10.1002/cpa.21639__Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2017.https://doi.org/10.1002/cpa.21639 .
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Morris, Emily, Marcus Griffiths, Agata Golebiowska, Stefan Mairhofer, Jasmine Burr Hersey, Tatsuaki Goh, Daniel von Wangenheim, et al. “Shaping 3D Root System Architecture.”https://doi.org/10.1016/j.cub.2017.06.043__Current Biology. Cell Press, 2017.https://doi.org/10.1016/j.cub.2017.06.043 .
LibreCat: https://research-explorer.ista.ac.at/record/722
DOI: 10.1016/j.cub.2017.06.043
PMID: 28898665

Harpaz, Roy, Gasper Tkadik, and Elad Schneidman. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.”https://doi.org/10.1073/pnas.1703817114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1703817114 .
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Hetterich, Daniel, Maksym Serbyn, Fernando Domínguez, Frank Pollmann, and Björn Trauzettel. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.”https://doi.org/10.1103/PhysRevB.96.104203__Physical Review B. American Physical Society, 2017.https://doi.org/10.1103/PhysRevB.96.104203 .
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

Smole, Anee, Dusko Lainsdek, Urban Bezeljak, Simon Horvat, and Roman Jerala. “A Synthetic Mammalian Therapeutic Gene Circuit for Sensing and Suppressing Inflammation.”https://doi.org/10.1016/j.ymthe.2016.10.005__Molecular Therapy. Elsevier, 2017.https://doi.org/10.1016/j.ymthe.2016.10.005 .
LibreCat: https://research-explorer.ista.ac.at/record/7360
DOI: 10.1016/j.ymthe.2016.10.005
PMID: 28129106

Fulek, Radoslav, Jan Kyndl, and Dömötör Pálvölgyi. “Unified Hanani Tutte Theorem.”https://doi.org/10.37236/6663__Electronic Journal of Combinatorics. International Press, 2017.https://doi.org/10.37236/6663 .
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.”https://doi.org/10.31263/voebm.v70i2.1898__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1898 .
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Petritsch, Barbara. “Metadata for Research Data in Practice.”https://doi.org/10.31263/voebm.v70i2.1678__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1678 .
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPIcs.MFCS.2017.37__Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 .
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Data from: Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.5061/dryad.1f1rc__Dryad, 2017.https://doi.org/10.5061/dryad.1f1rc .
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”https://doi.org/10.1371/journal.pgen.1007122__PLoS Genetics. Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122 .
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.6084/m9.figshare.5633917.v1__The Royal Society, 2017.https://doi.org/10.6084/m9.figshare.5633917.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”https://doi.org/10.1371/journal.pcbi.1005582__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582 .
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”https://doi.org/10.5061/dryad.pk16b__Dryad, 2017.https://doi.org/10.5061/dryad.pk16b .
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHP – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12905