Plutschack MB, Pieber B, Gilmore K, Seeberger PH. The Hitchhiker’s Guide to flow chemistry. Chemical Reviews. 2017;117(18):11796-11893. doi:10.1021/acs.chemrev.7b00183
LibreCat: https://research-explorer.ista.ac.at/record/11961
DOI: 10.1021/acs.chemrev.7b00183
PMID: 28570059

Pieber B, Gilmore K, Seeberger PH. Integrated flow processing - challenges in continuous multistep synthesis. Journal of Flow Chemistry. 2017;7(3-4):129-136. doi:10.1556/1846.2017.00016
LibreCat: https://research-explorer.ista.ac.at/record/11976
DOI: 10.1556/1846.2017.00016

Budanur NB, Cvitanovi P. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 2017;167(3-4):636-655. doi:10.1007/s10955-016-1672-z
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 2017;13(11):1095-1099. doi:10.1038/nphys4194
LibreCat: https://research-explorer.ista.ac.at/record/123
DOI: 10.1038/nphys4194
arXiv: 1705.03530

Bhattacharya S, Chakrabarty D, Henzinger MH. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. In: 19th International Conference on Integer Programming and Combinatorial Optimization. Vol 10328. Springer Nature; 2017:86-98. doi:10.1007/978-3-319-59250-3_8
LibreCat: https://research-explorer.ista.ac.at/record/12571
DOI: 10.1007/978-3-319-59250-3_8
arXiv: 1611.00198

Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 2017;21(1):135-154. doi:10.7155/jgaa.00408
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

Browning TD, Kumaraswamy V, Steiner R. Twisted Linnik implies optimal covering exponent for . International Mathematics Research Notices. 2017. doi:10.1093/imrn/rnx116
LibreCat: https://research-explorer.ista.ac.at/record/169
DOI: 10.1093/imrn/rnx116
arXiv: 1609.06097

Browning TD, Schindler D. Strong approximation and a conjecture of Harpaz and Wittenberg. International Mathematics Research Notices. 2017. doi:10.1093/imrn/rnx252
LibreCat: https://research-explorer.ista.ac.at/record/172
DOI: 10.1093/imrn/rnx252
arXiv: 1509.07744

Xu Y, Chiu J, Miao L, et al. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 2017;8. doi:10.1038/ncomms14081
LibreCat: https://research-explorer.ista.ac.at/record/391
DOI: 10.1038/ncomms14081

Alpichshev Z, Sie E, Mahmood F, Cao G, Gedik N. Origin of the exciton mass in the frustrated Mott insulator NIrO3. Physical Review B. 2017;96(23). doi:10.1103/PhysRevB.96.235141
LibreCat: https://research-explorer.ista.ac.at/record/393
DOI: 10.1103/PhysRevB.96.235141

Vishik I, Mahmood F, Alpichshev Z, Gedik N, Higgins J, Greene R. Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate L xCexCuO4±;4. Physical Review B. 2017;95(11). doi:10.1103/PhysRevB.95.115125
LibreCat: https://research-explorer.ista.ac.at/record/392
DOI: 10.1103/PhysRevB.95.115125

Hardie R, Van Dam E, Cowley M, et al. Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer &; Metabolism. 2017;5(2). doi:10.1186/s40170-017-0164-1
LibreCat: https://research-explorer.ista.ac.at/record/443
DOI: 10.1186/s40170-017-0164-1

Sazanov LA. Structure of respiratory complex I: “Minimal”10.1039/9781788010405-00025__bacterial and luxe”10.1039/9781788010405-00025__mammalian versions. In: Wikström M, ed. Mechanisms of Primary Energy Transduction in Biology . Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry; 2017:25-59. doi:10.1039/9781788010405-00025
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

Serbyn M, Abanin D. Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. 2017;96(1). doi:10.1103/PhysRevB.96.014202
LibreCat: https://research-explorer.ista.ac.at/record/445
DOI: 10.1103/PhysRevB.96.014202

Bächer M, Bickel B, Whiting E, Sorkine Hornung O. Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. 2017;60(8):92-99. doi:10.1145/3068766
LibreCat: https://research-explorer.ista.ac.at/record/452
DOI: 10.1145/3068766

Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 2017;113(9):2055-2067. 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 K, Henzinger MH, Loitzenbauer V. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 2017;13(3). 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 S, Wojtan C. Water wave packets. ACM Transactions on Graphics. 2017;36(4). doi:10.1145/3072959.3073678
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Eguchi K, Taoufiq Z, Thorn Seshold O, Trauner D, Hasegawa M, Takahashi T. Wild-type monomeric ;1-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held. European Journal of Neuroscience. 2017;37(25):6043-6052. doi:10.1523/JNEUROSCI.0179-17.2017
LibreCat: https://research-explorer.ista.ac.at/record/472
DOI: 10.1523/JNEUROSCI.0179-17.2017

Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229. doi:10.1142/S0218195916600050
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 2017;21(3):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 P, Erdös L, Yau H, Yin J. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 2017;21(3):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

Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies. ACM; 2017:2-14. doi:10.1145/3143361.3143367
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 10.1145/3143361.3143367

Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 2017;8. doi:10.1038/ncomms16032
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

Letts JA, Sazanov LA. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 2017;24(10):800-808. doi:10.1038/nsmb.3460
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2017;2(4). doi:10.1103/PhysRevFluids.2.043904
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

Du W, Angermayr A, Jongbloets J, et al. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. P. ACS Synthetic Biology. 2017;6(3):395-401. doi:10.1021/acssynbio.6b00235
LibreCat: https://research-explorer.ista.ac.at/record/520
DOI: 10.1021/acssynbio.6b00235
PMID: 27936615

Austin K, Virk Z. Higson compactification and dimension raising. Topology and its Applications. 2017;215: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 D, Goh T, Dietrich D, Bennett M. Plant biology: Building barriers in roots. Current Biology. 2017;27(5):2-4. 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

Gherghina F, Tica A, Deliu E, Abood M, Brailoiu G, Breiloiu E. Effects of VPA activation in nucleus ambiguus neurons. Brain Research. 2017;1657:297-303. doi: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 B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. Discrete &; Computational Geometry. 2017;58(4):871-888. 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 S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 2017;129(16):4679-4682. doi:10.1002/ange.201611998
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina K, Lercher A, Caldera M, et al. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 2017;13(12). doi:10.1371/journal.ppat.1006758
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

Chatterjee K, Ketínská Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 2017;13(2). 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 K, Henzinger TA, Otop J. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 2017;18(4). doi:10.1145/3152769
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. Logical Methods in Computer Science. 2017;13(3). 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 A, Tkadlec J, Chatterjee K, Nowak M. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 2017;7(1). doi:10.1038/s41598-017-00107-w
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158118
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee K, Choudhary B, Pavlogiannis A. 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 B. Implementing the Institutional Data Repository IST DataRep. IST Austria; 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158119
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 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 K, Ibsen-Jensen R, Nowak M. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In: Leibniz International Proceedings in Informatics. Vol 83. 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 K, Henzinger MH, Svozil A. Faster algorithms for mean-payoff parity games. In: Leibniz International Proceedings in Informatics. Vol 83. 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 K, Hansen K, Ibsen-Jensen R. Strategy complexity of concurrent safety games. In: Leibniz International Proceedings in Informatics. Vol 83. 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 M, Jentzen A, Salimova D. On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2017;473(2207). doi:10.1098/rspa.2017.0104
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Erdös L, Yau H. A Dynamical Approach to Random Matrix Theory. Vol 28. American Mathematical Society; 2017. doi:10.1090/cln/028
LibreCat: https://research-explorer.ista.ac.at/record/567
DOI: 10.1090/cln/028

Franek P, Krcál M. Persistence of zero sets. Homology, Homotopy and Applications. 2017;19(2):313-342. 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 M, Sarikas S, Acar H, Bollback JP, Guet CC. Regulatory network structure determines patterns of intermolecular epistasis. eLife. 2017;6. doi:10.7554/eLife.28921
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921