Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.”10.1145/3210257__ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery (ACM), 2018, doi:10.1145/3210257.
LibreCat: https://research-explorer.ista.ac.at/record/6009
DOI: 10.1145/3210257
WoS: 000444694800001
arXiv: 1510.07565

Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.”10.24963/ijcai.2018/653__Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07, doi:10.24963/ijcai.2018/653.
LibreCat: https://research-explorer.ista.ac.at/record/5977
DOI: 10.24963/ijcai.2018/653
WoS: 000764175404118
arXiv: 1804.08984

Kühnen, Jakob, et al. “Relaminarization by Steady Modification of the Streamwise Velocity Profile in a Pipe.”10.1007/s10494-018-9896-4__Flow Turbulence and Combustion, vol. 100, no. 4, Springer, 2018, pp. 919–42, doi:10.1007/s10494-018-9896-4.
LibreCat: https://research-explorer.ista.ac.at/record/422
DOI: 10.1007/s10494-018-9896-4
WoS: 000433113900004

Kühnen, Jakob, et al. “Destabilizing Turbulence in Pipe Flow.”10.1038/s41567-017-0018-3__Nature Physics, vol. 14, Nature Publishing Group, 2018, pp. 386–90, doi:10.1038/s41567-017-0018-3.
LibreCat: https://research-explorer.ista.ac.at/record/461
DOI: 10.1038/s41567-017-0018-3
WoS: 000429434100020

Prat, Tomas, et al. “WRK Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.”10.1371/journal.pgen.1007177__PLoS Genetics, vol. 14, no. 1, Public Library of Science, 2018, doi:10.1371/journal.pgen.1007177.
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

Grones, Peter, et al. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.”10.1038/s41598-018-28188-1__Scientific Reports, vol. 8, no. 1, 10279, Springer, 2018, doi:10.1038/s41598-018-28188-1.
LibreCat: https://research-explorer.ista.ac.at/record/191
DOI: 10.1038/s41598-018-28188-1
WoS: 000437673200053

Hons, Miroslav, et al. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.”10.1038/s41590-018-0109-z__Nature Immunology, vol. 19, no. 6, Nature Publishing Group, 2018, pp. 606–16, doi:10.1038/s41590-018-0109-z.
LibreCat: https://research-explorer.ista.ac.at/record/15
DOI: 10.1038/s41590-018-0109-z
WoS: 000433041500026
PMID: 29777221

Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.”10.21769/BioProtoc.2685__Bio-Protocol, vol. 8, no. 1, Bio-protocol, 2018, doi:10.21769/BioProtoc.2685.
LibreCat: https://research-explorer.ista.ac.at/record/442
DOI: 10.21769/BioProtoc.2685

Deliu, Elena, et al. “Haploinsufficiency of the Intellectual Disability Gene SET Disturbs Developmental Gene Expression and Cognition.”10.1038/s41593-018-0266-2__Nature Neuroscience, vol. 21, no. 12, Nature Publishing Group, 2018, pp. 1717–27, doi:10.1038/s41593-018-0266-2.
LibreCat: https://research-explorer.ista.ac.at/record/3
DOI: 10.1038/s41593-018-0266-2
WoS: 000451324700010

Hilbe, Christian, et al. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.”10.1073/pnas.1810565115__PNAS, vol. 115, no. 48, National Academy of Sciences, 2018, pp. 12241–46, doi:10.1073/pnas.1810565115.
LibreCat: https://research-explorer.ista.ac.at/record/2
DOI: 10.1073/pnas.1810565115
WoS: 000451351000063
PMID: 30429320

Igler, Claudia, et al. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.”10.1038/s41559-018-0651-y__Nature Ecology and Evolution, vol. 2, no. 10, Nature Publishing Group, 2018, pp. 1633–43, doi:10.1038/s41559-018-0651-y.
LibreCat: https://research-explorer.ista.ac.at/record/67
DOI: 10.1038/s41559-018-0651-y
WoS: 000447947600021

Igler, Claudia, et al. Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:108.
LibreCat: https://research-explorer.ista.ac.at/record/5585
DOI: 10.15479/AT:ISTA:108

Rangel Guerrero, Dámaris K., et al. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the Contribution of Hippocampal SWR Events to Learning.”10.1523/ENEURO.0087-18.2018__ENeuro, vol. 5, no. 4, e0087, Society of Neuroscience, 2018, doi:10.1523/ENEURO.0087-18.2018.
LibreCat: https://research-explorer.ista.ac.at/record/5914
DOI: 10.1523/ENEURO.0087-18.2018
WoS: 000443994700007

Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”10.1103/Physics.10.32__Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
LibreCat: https://research-explorer.ista.ac.at/record/1013
DOI: 10.1103/Physics.10.32

Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.”10.1145/3158121__Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi: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.”10.1007/s11538-016-0244-3__Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi: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.”10.1007/s10955-016-1672-z__Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.”10.7155/jgaa.00408__Journal of Graph Algorithms and Applications, vol. 21, no. 1, Brown University, 2017, pp. 135–54, doi:10.7155/jgaa.00408.
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

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

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

Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.”10.1145/3158118__Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi: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, et al. “Data-Centric Dynamic Partial Order Reduction.”10.1145/3158119__Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 31, Association for Computing Machinery, 2017, doi:10.1145/3158119.
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi: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, et al. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.”10.4230/LIPIcs.MFCS.2017.61__Leibniz International Proceedings in Informatics, vol. 83, 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.61.
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean-Payoff Parity Games.”10.4230/LIPIcs.MFCS.2017.39__Leibniz International Proceedings in Informatics, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.39.
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee, Krishnendu, et al. “Strategy Complexity of Concurrent Safety Games.”10.4230/LIPIcs.MFCS.2017.55__Leibniz International Proceedings in Informatics, vol. 83, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.55.
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser, Mate, et al. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.”10.1098/rspa.2017.0104__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 473, no. 2207, 0104, Royal Society of London, 2017, doi: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.”10.4310/HHA.2017.v19.n2.a16__Homology, Homotopy and Applications, vol. 19, no. 2, International Press, 2017, pp. 313–42, doi: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, et al. “Regulatory Network Structure Determines Patterns of Intermolecular Epistasis.”10.7554/eLife.28921__ELife, vol. 6, e28921, eLife Sciences Publications, 2017, doi:10.7554/eLife.28921.
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

Spira, Felix, et al. “Cytokinesis in Vertebrate Cells Initiates by Contraction of an Equatorial Actomyosin Network Composed of Randomly Oriented Filaments.”10.7554/eLife.30867__ELife, vol. 6, e30867, eLife Sciences Publications, 2017, doi:10.7554/eLife.30867.
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867

Olatunji, Damilola, et al. “Control of Endogenous Auxin Levels in Plant Root Development.”10.3390/ijms18122587__International Journal of Molecular Sciences, vol. 18, no. 12, 2587, MDPI, 2017, doi:10.3390/ijms18122587.
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

Camus, Nicolas, et al. Experimental Evidence for Wigner’s Tunneling Time. Vol. 999, no. 1, 012004, American Physical Society, 2017, doi: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, et al. “Experimental Evidence for Quantum Tunneling Time.”10.1103/PhysRevLett.119.023201__Physical Review Letters, vol. 119, no. 2, 023201, American Physical Society, 2017, doi: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, et al. Position Based Cryptography and Multiparty Communication Complexity. Edited by Yael Kalai and Leonid Reyzin, vol. 10677, Springer, 2017, pp. 56–81, doi: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.”10.1039/9781782626800-00444__Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , edited by Oliver Dulieu and Andreas Osterwalder, vol. 11, The Royal Society of Chemistry, 2017, pp. 444–95, doi: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. Edited by Yael Kalai and Leonid Reyzin, vol. 10677, Springer, 2017, pp. 493–526, doi: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, et al. “On Generalized Heawood Inequalities for Manifolds: A van Kampen–Flores Type Nonembeddability Result.”10.1007/s11856-017-1607-7__Israel Journal of Mathematics, vol. 222, no. 2, Springer, 2017, pp. 841–66, doi: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., et al. “Shaping Bacterial Population Behavior through Computer Interfaced Control of Individual Cells.”10.1038/s41467-017-01683-1__Nature Communications, vol. 8, no. 1, 1535, Nature Publishing Group, 2017, doi: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.”10.1214/16-AIHP765__Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 53, no. 4, Institute of Mathematical Statistics, 2017, pp. 1606–56, doi:10.1214/16-AIHP765.
LibreCat: https://research-explorer.ista.ac.at/record/615
DOI: 10.1214/16-AIHP765

Barton, Nicholas H., et al. “The Infinitesimal Model: Definition Derivation and Implications.”10.1016/j.tpb.2017.06.001__Theoretical Population Biology, vol. 118, Academic Press, 2017, pp. 50–73, doi: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, et al. “The Cost of Exactness in Quantitative Reachability.”10.1007/978-3-319-63121-9_18__Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi: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, et al. “MazF Activation Promotes Translational Heterogeneity of the GrcA MRNA in Escherichia Coli Populations.”10.7717/peerj.3830__PeerJ, vol. 2017, no. 9, 3830, PeerJ, 2017, doi:10.7717/peerj.3830.
LibreCat: https://research-explorer.ista.ac.at/record/624
DOI: 10.7717/peerj.3830

Chatterjee, Krishnendu, et al. Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds. Edited by Rupak Majumdar and Viktor Kundak, vol. 10426, Springer, 2017, pp. 118–39, doi: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, et al. Biosignals Standards and FHIR: The Way to Go. Vol. 236, IOS Press, 2017, pp. 356–62, doi: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, et al. “A Note on 2D Focusing Many Boson Systems.”10.1090/proc/13468__Proceedings of the American Mathematical Society, vol. 145, no. 6, American Mathematical Society, 2017, pp. 2441–54, doi:10.1090/proc/13468.
LibreCat: https://research-explorer.ista.ac.at/record/632
DOI: 10.1090/proc/13468

Alwen, Joel F., et al. Scrypt Is Maximally Memory Hard. Edited by Jean-Sébastien Coron and Jesper Buus Nielsen, vol. 10212, Springer, 2017, pp. 33–62, doi: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, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi: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., et al. Depth-Robust Graphs and Their Cumulative Memory Complexity. Edited by Jean-Sébastien Coron and Jesper Buus Nielsen, vol. 10212, Springer, 2017, pp. 3–32, doi: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., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi: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.”10.1090/mcom/3201__Mathematics of Computation, vol. 86, no. 307, American Mathematical Society, 2017, pp. 2373–97, doi:10.1090/mcom/3201.
LibreCat: https://research-explorer.ista.ac.at/record/642
DOI: 10.1090/mcom/3201

Ashok, Pranav, et al. Value Iteration for Long Run Average Reward in Markov Decision Processes. Edited by Rupak Majumdar and Viktor Kundak, vol. 10426, Springer, 2017, pp. 201–21, doi: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, et al. “The Complexity of General-Valued CSPs.”10.1137/16M1091836__SIAM Journal on Computing, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:10.1137/16M1091836.
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

Kuske, Jan, et al. A Novel Convex Relaxation for Non Binary Discrete Tomography. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 235–46, doi: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. Edited by Gerhard Jäger and Silvia Steila, vol. 10185, Springer, 2017, pp. 600–13, doi: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. Edited by Gerhard Jäger and Silvia Steila, vol. 10185, Springer, 2017, pp. 586–99, doi: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, et al. Improved Set-Based Symbolic Algorithms for Parity Games. Vol. 82, 18, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017, doi: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. Vol. 92, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi: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, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.”10.1038/ng.3764__Nature Genetics, vol. 49, no. 3, Nature Publishing Group, 2017, pp. 358–66, doi:10.1038/ng.3764.
LibreCat: https://research-explorer.ista.ac.at/record/653
DOI: 10.1038/ng.3764
PMID: 28092682

Alwen, Joel F., et al. “Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions.”10.1145/3133956.3134031__Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–17, doi: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.”10.1242/dev.144915__Development, vol. 144, no. 5, Company of Biologists, 2017, pp. 733–36, doi: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.”10.1109/isit.2017.8006529__2017 IEEE International Symposium on Information Theory (ISIT), 8006529, IEEE, 2017, doi: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, et al. “Bacterial Flagella Grow through an Injection Diffusion Mechanism.”10.7554/eLife.23136__ELife, vol. 6, e23136, eLife Sciences Publications, 2017, doi:10.7554/eLife.23136.
LibreCat: https://research-explorer.ista.ac.at/record/655
DOI: 10.7554/eLife.23136

Möller, Barbara, et al. “Auxin Response Cell Autonomously Controls Ground Tissue Initiation in the Early Arabidopsis Embryo.”10.1073/pnas.1616493114__PNAS, vol. 114, no. 12, National Academy of Sciences, 2017, pp. 33–39, doi: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.”10.3389/fnbot.2017.00008__Frontiers in Neurorobotics, vol. 11, no. MAR, 00008, Frontiers Research Foundation, 2017, doi:10.3389/fnbot.2017.00008.
LibreCat: https://research-explorer.ista.ac.at/record/658
DOI: 10.3389/fnbot.2017.00008

Kage, Frieda, et al. “FMNL Formins Boost Lamellipodial Force Generation.”10.1038/ncomms14832__Nature Communications, vol. 8, 14832, Nature Publishing Group, 2017, doi:10.1038/ncomms14832.
LibreCat: https://research-explorer.ista.ac.at/record/659
DOI: 10.1038/ncomms14832

Rickman, Jamie, et al. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.”10.1073/pnas.1620274114__PNAS, vol. 114, no. 13, National Academy of Sciences, 2017, pp. 3427–32, doi:10.1073/pnas.1620274114.
LibreCat: https://research-explorer.ista.ac.at/record/660
DOI: 10.1073/pnas.1620274114
PMID: 28280102

Shi, Liang, et al. “Hydrodynamic Turbulence in Quasi Keplerian Rotating Flows.”10.1063/1.4981525__Physics of Fluids, vol. 29, no. 4, 044107, American Institute of Physics, 2017, doi:10.1063/1.4981525.
LibreCat: https://research-explorer.ista.ac.at/record/662
DOI: 10.1063/1.4981525

Kong, Hui, et al. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.”10.1145/3049797.3049814__Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–72, doi:10.1145/3049797.3049814.
LibreCat: https://research-explorer.ista.ac.at/record/663
DOI: 10.1145/3049797.3049814

Horsthemke, Markus, et al. “Multiple Roles of Filopodial Dynamics in Particle Capture and Phagocytosis and Phenotypes of Cd and Myo10 Deletion.”10.1074/jbc.M116.766923__Journal of Biological Chemistry, vol. 292, no. 17, American Society for Biochemistry and Molecular Biology, 2017, pp. 7258–73, doi:10.1074/jbc.M116.766923.
LibreCat: https://research-explorer.ista.ac.at/record/668
DOI: 10.1074/jbc.M116.766923

Synek, Lukás, et al. “EXO70 Is a Key Regulatory Factor for Optimal Tip Growth of Pollen.”10.1104/pp.16.01282__Plant Physiology, vol. 174, no. 1, American Society of Plant Biologists, 2017, pp. 223–40, doi:10.1104/pp.16.01282.
LibreCat: https://research-explorer.ista.ac.at/record/669
DOI: 10.1104/pp.16.01282
PMID: 28356503

Hilbe, Christian, et al. “Memory-n Strategies of Direct Reciprocity.”10.1073/pnas.1621239114__PNAS, vol. 114, no. 18, National Academy of Sciences, 2017, pp. 4715–20, doi:10.1073/pnas.1621239114.
LibreCat: https://research-explorer.ista.ac.at/record/671
DOI: 10.1073/pnas.1621239114
PMID: 28420786

Schreck, Camille, et al. “Interactive Paper Tearing.”10.1111/cgf.13110__Computer Graphics Forum, vol. 36, no. 2, Wiley, 2017, pp. 95–106, doi:10.1111/cgf.13110.
LibreCat: https://research-explorer.ista.ac.at/record/670
DOI: 10.1111/cgf.13110

Vaahtomeri, Kari, et al. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.”10.1016/j.celrep.2017.04.027__Cell Reports, vol. 19, no. 5, Cell Press, 2017, pp. 902–09, doi: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, et al. “The INO80 Complex Removes A.Z to Promote Presynaptic Filament Formation during Homologous Recombination.”10.1016/j.celrep.2017.04.051__Cell Reports, vol. 19, no. 7, Cell Press, 2017, pp. 1294–303, doi: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, et al. “Doomsday Equilibria for Omega-Regular Games.”10.1016/j.ic.2016.10.012__Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi: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.” 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.”10.1017/jsl.2016.71__Journal of Symbolic Logic, vol. 82, no. 2, Cambridge University Press, 2017, pp. 420–52, doi: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.’”10.1016/j.mod.2017.03.005__Mechanisms of Development, vol. 145, Elsevier, 2017, pp. 26–31, doi: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. Vol. 77, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916, doi: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.”10.1093/qmath/haw053__Quarterly Journal of Mathematics, vol. 68, no. 2, Oxford University Press, 2017, pp. 635–703, doi:10.1093/qmath/haw053.
LibreCat: https://research-explorer.ista.ac.at/record/687
DOI: 10.1093/qmath/haw053

Miki, Takafumi, et al. “Numbers of Presynaptic C+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.”10.1073/pnas.1704470114__PNAS, vol. 114, no. 26, National Academy of Sciences, 2017, pp. 46–55, doi:10.1073/pnas.1704470114.
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047