Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
8018 Publications
2017 | Journal Article | IST-REx-ID: 1030 | 
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Univ.-Bibliothek Heidelberg, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 103 |
S. M. Albrecht et al., “Transport signatures of quasiparticle poisoning in a majorana island,” APS Physics, Physical Review Letters, vol. 118, no. 13. American Physical Society, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 10370 |
S. C. J. Helle et al., “Mechanical force induces mitochondrial fission,” eLife, vol. 6. eLife Sciences Publications, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 10369 |
M. Simunovic, A. Šarić, J. M. Henderson, K. Y. C. Lee, and G. A. Voth, “Long-range organization of membrane-curving proteins,” ACS Central Science, vol. 3, no. 12. American Chemical Society, pp. 1246–1253, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 10373 |
P. Wirnsberger, D. Fijan, R. A. Lightwood, A. Šarić, C. Dellago, and D. Frenkel, “Numerical evidence for thermally induced monopoles,” Proceedings of the National Academy of Sciences, vol. 114, no. 19. National Academy of Sciences, pp. 4911–4914, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 10374 |
G. Meisl et al., “Scaling behaviour and rate-determining steps in filamentous self-assembly,” Chemical Science, vol. 8, no. 10. Royal Society of Chemistry, pp. 7087–7097, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 10375 |
A. Vahid, A. Šarić, 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.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 10418 |
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.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1061 |
V. Veetil, A. Angermayr, and K. Hellingwerf, “Ethylene production with engineered Synechocystis sp PCC 6803 strains,” Microbial Cell Factories, vol. 16, no. 1. BioMed Central, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1062
L. Guarina, D. H. Vandael, V. Carabelli, and E. Carbone, “Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells,” Journal of Physiology, vol. 595, no. 8. Wiley-Blackwell, pp. 2587–2609, 2017.
View
| DOI
2017 | Journal Article | IST-REx-ID: 1063 |
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1065 |
K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 10663 |
H. Polshyn, “Magnetic force microscopy studies of mesoscopic superconducting structures,” University of Illinois at Urbana-Champaign, 2017.
View
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1067 |
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1072 |
U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1073 |
M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 10745 |
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.
View
| Download Published Version (ext.)
2017 | Book Chapter | IST-REx-ID: 1075 |
B. Wenzl, “An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier",” 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.
View
| Files available
2017 | Journal Article | IST-REx-ID: 1076 |
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, and C. Keitel, “Strong-field ionization via a high-order Coulomb-corrected strong-field approximation,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1079 |
P. Nam and H. Van Den Bosch, “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges,” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2. Springer, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1080 |
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1085 |
A. Wright et al., “Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1086 |
M. Di Giglio et al., “Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide,” Scientific Reports, vol. 7. Nature Publishing Group, p. 41002, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1087 |
B. Song, D. Barkley, B. Hof, and M. Avila, “Speed and structure of turbulent fronts in pipe flow,” Journal of Fluid Mechanics, vol. 813. Cambridge University Press, pp. 1045–1059, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1089 |
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, and P. Zwiernik, “Total positivity in Markov structures,” Annals of Statistics, vol. 45, no. 3. Institute of Mathematical Statistics, pp. 1152–1184, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1104 |
S. Deny et al., “Multiplexed computations in retinal ganglion cells of a single type,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1107 |
M. Breuss, A. H. Hansen, L. Landler, and D. Keays, “Brain specific knockin of the pathogenic Tubb5 E401K allele causes defects in motor coordination and prepulse inhibition,” Behavioural Brain Research, vol. 323. Elsevier, pp. 47–55, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 11066 |
T. M. Franks, A. McCloskey, M. N. Shokhirev, C. Benner, A. Rathore, and M. Hetzer, “Nup98 recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate H3K4 trimethylation in hematopoietic progenitor cells,” Genes & Development, vol. 31, no. 22. Cold Spring Harbor Laboratory, pp. 2222–2234, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 11067 |
T. Toda et al., “Nup153 interacts with Sox2 to enable bimodal gene regulation and maintenance of neural progenitor cells,” Cell Stem Cell, vol. 21, no. 5. Elsevier, p. 618–634.e7, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 11065 |
A. Buchwalter and M. Hetzer, “Nucleolar expansion and elevated protein translation in premature aging,” Nature Communications, vol. 8. Springer Nature, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1108 |
A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,” presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 213–222.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1109 |
B. Shepperson et al., “Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free,” Physical Review Letters, vol. 118, no. 20. American Physical Society, 2017.
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 1110 |
B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1111 |
J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to adaptive walks on correlated landscapes,” Genetics, vol. 205, no. 2. Genetics Society of America, pp. 803–825, 2017.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1114 |
J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation of the photon blockade breakdown phase transition,” Physical Review X, vol. 7, no. 1. American Physical Society, 2017.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1116 |
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1118 |
J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1119 |
M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” Physical Review Letters, vol. 118, no. 9. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1132 |
J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” Science, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1133 |
E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” Physical Review Letters, vol. 118, no. 8. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 11518 |
J. J. Matthee et al., “ALMA reveals metals yet no dust within multiple components in CR7,” The Astrophysical Journal, vol. 851, no. 2. IOP Publishing, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1152 |
E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 11562 |
D. Sobral et al., “The CALYMHA survey: Lyα luminosity function and global escape fraction of Lyα photons at z = 2.23,” Monthly Notices of the Royal Astronomical Society, vol. 466, no. 1. Oxford University Press, pp. 1242–1258, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11566 |
A. Stroe, D. Sobral, J. J. Matthee, J. Calhau, and I. Oteo, “A 1.4 deg2 blind survey for C II], C III] and C IV at z ∼ 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11564 |
J. J. Matthee et al., “The production and escape of Lyman-Continuum radiation from star-forming galaxies at z ∼ 2 and their redshift evolution,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 3. Oxford University Press, pp. 3637–3655, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11567 |
A. Stroe, D. Sobral, J. J. Matthee, J. Calhau, and I. Oteo, “A 1.4 deg2 blind survey for C II], C III] and C IV at z ∼ 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11565 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11561 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11572 |
J. J. Matthee et al., “Spectroscopic properties of luminous Ly α 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11573 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1159 |
W. Steenackers et al., “Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation,” Plant Physiology, vol. 173, no. 1. American Society of Plant Biologists, pp. 552–565, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1160 |
S. Altmeyer, Y. Do, and Y. Lai, “Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1162 |
J. Spałek, M. Zegrodnik, and J. Kaczmarczyk, “Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment,” Physical Review B - Condensed Matter and Materials Physics, vol. 95, no. 2. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Preprint | IST-REx-ID: 11633 |
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. .
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11651 |
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.
View
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11665 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11676 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1168 |
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1169 |
S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1173 |
H. Edelsbrunner, A. Glazyrin, O. Musin, and A. Nikitenko, “The Voronoi functional is maximized by the Delaunay triangulation in the plane,” Combinatorica, vol. 37, no. 5. Springer, pp. 887–910, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1174 |
M. Skórski, “Lower bounds on key derivation for square-friendly applications,” presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 2017, vol. 66.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1175 |
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.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1176 |
J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1178 |
M. Skórski, “Simulating auxiliary inputs, revisited,” presented at the TCC: Theory of Cryptography Conference, 2017, vol. 9985, pp. 159–179.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1180 |
A. Akopyan, I. Bárány, and S. Robins, “Algebraic vertices of non-convex polyhedra,” Advances in Mathematics, vol. 308. Academic Press, pp. 627–644, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 11829 |
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.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11833 |
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.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11832 |
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.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11874 |
S. Bhattacharya, M. H. Henzinger, and D. Nanongkai, “Fully dynamic approximate maximum matching and minimum vertex cover in o(log3 n) worst case update time,” in 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 2017, vol. 0, pp. 470–489.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11873 |
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.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 11831 |
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.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 11903 |
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.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1191 |
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.
View
| DOI
| Download Preprint (ext.)
2017 | Conference Paper | IST-REx-ID: 1194 |
K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 11961
M. B. Plutschack, B. Pieber, K. Gilmore, and P. H. Seeberger, “The Hitchhiker’s Guide to flow chemistry,” Chemical Reviews, vol. 117, no. 18. American Chemical Society, pp. 11796–11893, 2017.
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 11976 |
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.
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1207 |
Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1208 |
P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1211 |
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.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 12193 |
J. Walker et al., “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Springer Science and Business Media LLC, pp. 130–137, 2017.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1228 |
U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 123 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 12571 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1336 |
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1337 |
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1367 |
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1433 |
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1010 |
J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 1528 |
Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1113 |
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.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 1407 |
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv