A. Vahid, A. Sari, and T. Idema, “Curvature variation controls particle aggregation on fluid vesicles,” Soft Matter, vol. 13, no. 28. Royal Society of Chemistry, pp. 4924–4930, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/10375
DOI: 10.1039/c7sm00433h
PMID: 28677712
arXiv: 1703.00776

A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

H. Polshyn, “Magnetic force microscopy studies of mesoscopic superconducting structures,” University of Illinois at Urbana-Champaign, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/10663

H. Polshyn, T. Naibert, and R. Budakian, “Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures,” in APS March Meeting 2017, New Orleans, LA, United States, 2017, vol. 62, no. 4.
LibreCat: https://research-explorer.ista.ac.at/record/10745

B. Wenzl, “An American in Allied-occupied Austria: John Dos Passos Reports on &;quot;The Vienna Frontier&;quot;,” in Austria and America: 20th-Century Cross-Cultural Encounters, vol. 15, J. Parker and R. Poole, Eds. LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
LibreCat: https://research-explorer.ista.ac.at/record/1075

T. M. Franks, A. McCloskey, M. N. Shokhirev, C. Benner, A. Rathore, and M. Hetzer, “Nu recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate K4 trimethylation in hematopoietic progenitor cells,” Genes &; Development, vol. 31, no. 22. Cold Spring Harbor Laboratory, pp. 2222–2234, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11066
DOI: 10.1101/gad.306753.117
PMID: 29269482

T. Toda et al., “Nu3 interacts with So to enable bimodal gene regulation and maintenance of neural progenitor cells,” Cell Stem Cell, vol. 21, no. 5. Elsevier, p. 618–634.e7, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11067
DOI: 10.1016/j.stem.2017.08.012
PMID: 28919367

A. Buchwalter and M. Hetzer, “Nucleolar expansion and elevated protein translation in premature aging,” Nature Communications, vol. 8. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11065
DOI: 10.1038/s41467-017-00322-z
PMID: 28855503

J. J. Matthee et al., “ALMA reveals metals yet no dust within multiple components in C,” The Astrophysical Journal, vol. 851, no. 2. IOP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11518
DOI: 10.3847/1538-4357/aa9931
arXiv: 1709.06569

D. Sobral et al., “The CALYMHA survey: Ly;1 luminosity function and global escape fraction of Ly;1 photons at z = 2.23,” Monthly Notices of the Royal Astronomical Society, vol. 466, no. 1. Oxford University Press, pp. 1242–1258, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11562
DOI: 10.1093/mnras/stw3090
arXiv: 1609.05897

A. Stroe, D. Sobral, J. J. Matthee, J. Calhau, and I. Oteo, “A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – I. Nature, morphologies and equivalent widths ,” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 3. Oxford University Press, pp. 2558–2574, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11566
DOI: 10.1093/mnras/stx1712
arXiv: 1703.10169

J. J. Matthee et al., “The production and escape of Lyman-Continuum radiation from star-forming galaxies at z c 2 and their redshift evolution,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 3. Oxford University Press, pp. 3637–3655, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11564
DOI: 10.1093/mnras/stw2973
arXiv: 1605.08782

A. Stroe, D. Sobral, J. J. Matthee, J. Calhau, and I. Oteo, “A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – II. Luminosity functions and cosmic average line ratios,” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 3. Oxford University Press, pp. 2575–2586, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11567
DOI: 10.1093/mnras/stx1713
arXiv: 1703.10169

J. J. Matthee, J. Schaye, R. A. Crain, M. Schaller, R. Bower, and T. Theuns, “The origin of scatter in the stellar mass–halo mass relation of central galaxies in the EAGLE simulation,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 2. Oxford University Press, pp. 2381–2396, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11565
DOI: 10.1093/mnras/stw2884
arXiv: 1608.08218

J. J. Matthee et al., “Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7,” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 1. Oxford University Press, pp. 629–649, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11561
DOI: 10.1093/mnras/stx1569
arXiv: 1702.04721

J. J. Matthee et al., “Spectroscopic properties of luminous Ly;1 emitters at z  6–7 and comparison to the Lyman-break population,” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1. Oxford University Press, pp. 772–787, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11572
DOI: 10.1093/mnras/stx2061
arXiv: 1706.06591

O. J. Turner et al., “The KMOS Deep Survey (KDS) – I. Dynamical measurements of typical star-forming galaxies at z  3.5,” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 2. Oxford University Press, pp. 1280–1320, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11573
DOI: 10.1093/mnras/stx1366
arXiv: 1704.06263

L. A. Bugnet, R. A. Garcia, G. R. Davies, S. Mathur, and E. Corsaro, “FliPer: Checking the reliability of global seismic parameters from automatic pipelines,” arXiv. .
LibreCat: https://research-explorer.ista.ac.at/record/11633
DOI: 10.48550/arXiv.1711.02890
arXiv: 1711.02890

D. Wang, K. Fountoulakis, M. H. Henzinger, M. W. Mahoney, and  Satish Rao , “Capacity releasing diffusion for speed and locality,” in Proceedings of the 34th International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 3598–3607.
LibreCat: https://research-explorer.ista.ac.at/record/11651
arXiv: 1706.05826

M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Sublinear-time maintenance of breadth-first spanning trees in partially dynamic networks,” ACM Transactions on Algorithms, vol. 13, no. 4. Association for Computing Machinery, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11665
DOI: 10.1145/3146550
arXiv: 1512.08147

W. Dvoák, M. H. Henzinger, and D. P. Williamson, “Maximizing a submodular function with viability constraints,” Algorithmica, vol. 77, no. 1. Springer Nature, pp. 152–172, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11676
DOI: 10.1007/s00453-015-0066-y
arXiv: 1611.05753

J. F. Alwen, S. De Rezende, J. Nordstrom, and M. Vinyals, “Cumulative space in black-white pebbling and resolution,” presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States, 2017, vol. 67, p. 38:1-38-21.
LibreCat: https://research-explorer.ista.ac.at/record/1175
DOI: 10.4230/LIPIcs.ITCS.2017.38

M. H. Henzinger, A. Lincoln, S. Neumann, and V. Vassilevska Williams, “Conditional hardness for sensitivity problems,” in 8th Innovations in Theoretical Computer Science Conference, Berkley, CA, United States, 2017, vol. 67.
LibreCat: https://research-explorer.ista.ac.at/record/11829
DOI: 10.4230/LIPICS.ITCS.2017.26
arXiv: 1703.01638

G. Goranci, M. H. Henzinger, and P. Peng, “The power of vertex sparsifiers in dynamic graph algorithms,” in 25th Annual European Symposium on Algorithms, Vienna, Austria, 2017, vol. 87.
LibreCat: https://research-explorer.ista.ac.at/record/11833
DOI: 10.4230/LIPICS.ESA.2017.45
arXiv: 1712.06473

M. H. Henzinger, D. Leniowski, and C. Mathieu, “Dynamic clustering to minimize the sum of radii,” in 25th Annual European Symposium on Algorithms, Vienna, Austria, 2017, vol. 87.
LibreCat: https://research-explorer.ista.ac.at/record/11832
DOI: 10.4230/LIPICS.ESA.2017.48
arXiv: 1707.02577

S. Bhattacharya, M. H. Henzinger, and D. Nanongkai, “Fully dynamic approximate maximum matching and minimum vertex cover in o(lo n) worst case update time,” in 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 2017, vol. 0, pp. 470–489.
LibreCat: https://research-explorer.ista.ac.at/record/11874
DOI: 10.1137/1.9781611974782.30
arXiv: 1704.02844

M. H. Henzinger, S. Rao, and D. Wang, “Local flow partitioning for faster edge connectivity,” in 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 2017, pp. 1919–1938.
LibreCat: https://research-explorer.ista.ac.at/record/11873
DOI: 10.1137/1.9781611974782.125
arXiv: 1704.01254

G. Goranci, M. H. Henzinger, and P. Peng, “Improved guarantees for vertex sparsification in planar graphs,” in 25th Annual European Symposium on Algorithms, Vienna, Austria, 2017, vol. 87.
LibreCat: https://research-explorer.ista.ac.at/record/11831
DOI: 10.4230/LIPICS.ESA.2017.44
arXiv: 1702.01136

S. Bhattacharya, W. Dvoák, M. H. Henzinger, and M. Starnberger, “Welfare maximization with friends-of-friends network externalities,” Theory of Computing Systems, vol. 61, no. 4. Springer Nature, pp. 948–986, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11903
DOI: 10.1007/s00224-017-9759-8

R. Kollár and S. Novak, “Existence of traveling waves for the generalized F–KPP equation,” Bulletin of Mathematical Biology, vol. 79, no. 3. Springer, pp. 525–559, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1191
DOI: 10.1007/s11538-016-0244-3

B. Pieber, K. Gilmore, and P. H. Seeberger, “Integrated flow processing - challenges in continuous multistep synthesis,” Journal of Flow Chemistry, vol. 7, no. 3–4. AKJournals, pp. 129–136, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/11976
DOI: 10.1556/1846.2017.00016

N. B. Budanur and P. Cvitanovi, “Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system,” Journal of Statistical Physics, vol. 167, no. 3–4. Springer, pp. 636–655, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

S. R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, and M. Van Hecke, “Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing,” Nature Physics, vol. 13, no. 11. Nature Publishing Group, pp. 1095–1099, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/123
DOI: 10.1038/nphys4194
arXiv: 1705.03530

S. Bhattacharya, D. Chakrabarty, and M. H. Henzinger, “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, Waterloo, ON, Canada, 2017, vol. 10328, pp. 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12571
DOI: 10.1007/978-3-319-59250-3_8
arXiv: 1611.00198

R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” Journal of Graph Algorithms and Applications, vol. 21, no. 1. Brown University, pp. 135–154, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

T. D. Browning, V. Kumaraswamy, and R. Steiner, “Twisted Linnik implies optimal covering exponent for ,” International Mathematics Research Notices. Oxford University Press, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/169
DOI: 10.1093/imrn/rnx116
arXiv: 1609.06097

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

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

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

R. Hardie et al., “Mitochondrial mutations and metabolic adaptation in pancreatic cancer,” Cancer &; Metabolism, vol. 5, no. 2. BioMed Central, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/443
DOI: 10.1186/s40170-017-0164-1

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

T. Fallesen, J. Roostalu, C. F. Düllberg, G. Pruessner, and T. Surrey, “Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement,” Biophysical Journal, vol. 113, no. 9. Biophysical Society, pp. 2055–2067, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/453
DOI: 10.1016/j.bpj.2017.09.006

K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/464
DOI: 10.23638/LMCS-13(3:26)2017
arXiv: 1410.0833

S. Jeschke and C. Wojtan, “Water wave packets,” ACM Transactions on Graphics, vol. 36, no. 4. ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

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

T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics of interacting bosons,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 683–738, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/484
DOI: 10.4310/ATMP.2017.v21.n3.a4

P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random band matrices,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 739–800, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5

J. Simonnet et al., “Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

J. A. Letts and L. A. Sazanov, “Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain,” Nature Structural and Molecular Biology, vol. 24, no. 10. Nature Publishing Group, pp. 800–808, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

L. Klotz, G. M. Lemoult, I. Frontczak, L. Tuckerman, and J. Wesfreid, “Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence,” Physical Review Fluids, vol. 2, no. 4. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

K. Austin and Z. Virk, “Higson compactification and dimension raising,” Topology and its Applications, vol. 215. Elsevier, pp. 45–57, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/521
DOI: 10.1016/j.topol.2016.10.005

D. von Wangenheim, T. Goh, D. Dietrich, and M. Bennett, “Plant biology: Building barriers in roots,” Current Biology, vol. 27, no. 5. Cell Press, pp. 2–4, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/525
DOI: 10.1016/j.cub.2017.01.060

B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-Manifolds,” Discrete &; Computational Geometry, vol. 58, no. 4. Springer, pp. 871–888, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/534
DOI: 10.1007/s00454-017-9900-0
arXiv: 1602.07907

S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen,” Angewandte Chemie, vol. 129, no. 16. Wiley, pp. 4679–4682, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

K. Khamina et al., “Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein,” PLoS Pathogens, vol. 13, no. 12. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

K. Chatterjee, Z. Ketínská, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes,” Logical Methods in Computer Science, vol. 13, no. 2. International Federation of Computational Logic, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/466
DOI: 10.23638/LMCS-13(2:15)2017

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4. ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 10.23638/LMCS-13(3:23)2017

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, “Amplification on undirected population structures: Comets beat stars,” Scientific Reports, vol. 7, no. 1. Nature Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

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

K. Chatterjee, B. Choudhary, and A. Pavlogiannis, Optimal Dyck reachability for data-dependence and alias analysis. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

B. Petritsch, Implementing the institutional data repository IST DataRep. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, Data-centric dynamic partial order reduction. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5456
DOI: 10.15479/AT:IST-2017-872-v1-1

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, “Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

K. Chatterjee, M. H. Henzinger, and A. Svozil, “Faster algorithms for mean-payoff parity games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

K. Chatterjee, K. Hansen, and R. Ibsen-Jensen, “Strategy complexity of concurrent safety games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

M. Gerencser, A. Jentzen, and D. Salimova, “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, vol. 473, no. 2207. Royal Society of London, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

P. Franek and M. Krcál, “Persistence of zero sets,” Homology, Homotopy and Applications, vol. 19, no. 2. International Press, pp. 313–342, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16

M. Lagator, S. Sarikas, H. Acar, J. P. Bollback, and C. C. Guet, “Regulatory network structure determines patterns of intermolecular epistasis,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

F. Spira et al., “Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867

D. Olatunji, D. Geelen, and I. Verstraeten, “Control of endogenous auxin levels in plant root development,” International Journal of Molecular Sciences, vol. 18, no. 12. MDPI, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

N. Camus et al., “Experimental evidence for Wigner’s tunneling time,” presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation, 2017, vol. 999, no. 1.
LibreCat: https://research-explorer.ista.ac.at/record/313
DOI: 10.1088/1742-6596/999/1/012004
arXiv: 1611.03701

Y. Xu et al., “Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/601
DOI: 10.1038/ncomms15741

N. Camus et al., “Experimental evidence for quantum tunneling time,” Physical Review Letters, vol. 119, no. 2. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6013
DOI: 10.1103/PhysRevLett.119.023201
arXiv: 1611.03701

J. Brody, S. Dziembowski, S. Faust, and K. Z. Pietrzak, “Position based cryptography and multiparty communication complexity,” presented at the TCC: Theory of Cryptography Conference, Baltimore, MD, United States, 2017, vol. 10677, pp. 56–81.
LibreCat: https://research-explorer.ista.ac.at/record/605
DOI: 10.1007/978-3-319-70500-2_3

M. Lemeshko and R. Schmidt, “Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets,” in Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , vol. 11, O. Dulieu and A. Osterwalder, Eds. The Royal Society of Chemistry, 2017, pp. 444–495.
LibreCat: https://research-explorer.ista.ac.at/record/604
DOI: 10.1039/9781782626800-00444

J. F. Alwen and B. Tackmann, “Moderately hard functions: Definition, instantiations, and applications,” presented at the TCC: Theory of Cryptography, Baltimore, MD, United States, 2017, vol. 10677, pp. 493–526.
LibreCat: https://research-explorer.ista.ac.at/record/609
DOI: 10.1007/978-3-319-70500-2_17

X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result,” Israel Journal of Mathematics, vol. 222, no. 2. Springer, pp. 841–866, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/610
DOI: 10.1007/s11856-017-1607-7

L. A. Fenk and M. de Bono, “Memory of recent oxygen experience switches pheromone valence inCaenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 114, no. 16. National Academy of Sciences, pp. 4195–4200, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6115
DOI: 10.1073/pnas.1618934114
PMID: 28373553

C. Chen et al., “IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses,” Nature, vol. 542, no. 7639. Springer Nature, pp. 43–48, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6117
DOI: 10.1038/nature20818
PMID:     28099418

S. Oda, Y. Toyoshima, and M. de Bono, “Modulation of sensory information processing by a neuroglobin in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 114, no. 23. National Academy of Sciences, pp. 58–65, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6113
DOI: 10.1073/pnas.1614596114
PMID: 28536200

R. P. Chait, J. Ruess, T. Bergmiller, G. Tkadik, and C. C. Guet, “Shaping bacterial population behavior through computer interfaced control of individual cells,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/613
DOI: 10.1038/s41467-017-01683-1

L. Erdös and K. Schnelli, “Universality for random matrix flows with time dependent density,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 53, no. 4. Institute of Mathematical Statistics, pp. 1606–1656, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/615
DOI: 10.1214/16-AIHP765

F. Franke, S. Armitage, M. Kutzer, J. Kurtz, and J. Scharsack, “Environmental temperature variation influences fitness trade-offs in a fish-tapeworm association ,” Parasites &; Vectors, vol. 10, no. 252. BioMed Central, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/618
DOI: 10.1186/s13071-017-2192-7

N. H. Barton, A. Etheridge, and A. Véber, “The infinitesimal model: Definition derivation and implications,” Theoretical Population Biology, vol. 118. Academic Press, pp. 50–73, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/626
DOI: 10.1016/j.tpb.2017.06.001

K. Chatterjee, L. Doyen, and T. A. Henzinger, “The cost of exactness in quantitative reachability,” in Models, Algorithms, Logics and Tools, vol. 10460, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, and R. Mardare, Eds. Springer, 2017, pp. 367–381.
LibreCat: https://research-explorer.ista.ac.at/record/625
DOI: 10.1007/978-3-319-63121-9_18

N. Nikolic, Z. Didara, and I. Moll, “MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations,” PeerJ, vol. 2017, no. 9. PeerJ, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/624
DOI: 10.7717/peerj.3830

K. Chatterjee, H. Fu, and A. Murhekar, “Automated recurrence analysis for almost linear expected runtime bounds,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 118–139.
LibreCat: https://research-explorer.ista.ac.at/record/628
DOI: 10.1007/978-3-319-63387-9_6

S. Sauermann et al., “Biosignals standards and FHIR: The way to go,” presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria, 2017, vol. 236, pp. 356–362.
LibreCat: https://research-explorer.ista.ac.at/record/630
DOI: 10.3233/978-1-61499-759-7-356

M. Lewin, P. Nam, and N. Rougerie, “A note on 2D focusing many boson systems,” Proceedings of the American Mathematical Society, vol. 145, no. 6. American Mathematical Society, pp. 2441–2454, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/632
DOI: 10.1090/proc/13468

J. F. Alwen, B. Chen, K. Z. Pietrzak, L. Reyzin, and S. Tessaro, “Scrypt is maximally memory hard,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 33–62.
LibreCat: https://research-explorer.ista.ac.at/record/635
DOI: 10.1007/978-3-319-56617-7_2

A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.
LibreCat: https://research-explorer.ista.ac.at/record/636
DOI: 10.1007/978-3-319-65765-3_11

J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Depth-robust graphs and their cumulative memory complexity,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 3–32.
LibreCat: https://research-explorer.ista.ac.at/record/640
DOI: 10.1007/978-3-319-56617-7_1

T. A. Henzinger, B. Kragl, and S. Qadeer, Synchronizing the asynchronous. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

M. Gerencser and I. Gyöngy, “Localization errors in solving stochastic partial differential equations in the whole space,” Mathematics of Computation, vol. 86, no. 307. American Mathematical Society, pp. 2373–2397, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/642
DOI: 10.1090/mcom/3201

P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, and T. Meggendorfer, “Value iteration for long run average reward in markov decision processes,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 201–221.
LibreCat: https://research-explorer.ista.ac.at/record/645
DOI: 10.1007/978-3-319-63387-9_10

V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” SIAM Journal on Computing, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

J. Kuske, P. Swoboda, and S. Petra, “A novel convex relaxation for non binary discrete tomography,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 235–246.
LibreCat: https://research-explorer.ista.ac.at/record/646
DOI: 10.1007/978-3-319-58771-4_19