Please note that IST 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.

6122 Publications


2017 | Journal Article | IST-REx-ID: 1213
N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” Methods in Cell Biology, vol. 137. Academic Press, pp. 355–370, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
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
 

2017 | Journal Article | IST-REx-ID: 123 | OA
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 | Journal Article | IST-REx-ID: 1336 | OA
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 | OA
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 | OA
P. Manteaux, C. J. 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 | DOI
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
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 | OA
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 | OA
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: 169 | OA
T. D. Browning, V. Kumaraswamy, and R. Steiner, “Twisted Linnik implies optimal covering exponent for S3,” International Mathematics Research Notices. Oxford University Press, 2017.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 172 | OA
T. D. Browning and D. Schindler, “Strong approximation and a conjecture of Harpaz and Wittenberg,” International Mathematics Research Notices. Oxford University Press, 2017.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
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
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1074 | OA
H. Ringbauer, G. Coop, and N. H. Barton, “Inferring recent demography from isolation by distance of long shared sequence blocks,” Genetics, vol. 205, no. 3. Genetics Society of America, pp. 1335–1351, 2017.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” Journal of Computer and System Sciences, vol. 84. Elsevier, pp. 144–170, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 265
T. D. Browning and P. Vishe, “Rational curves on smooth hypersurfaces of low degree,” Geometric Methods in Algebra and Number Theory, vol. 11, no. 7. Mathematical Sciences Publishers, pp. 1657–1675, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
T. D. Browning and R. Heath Brown, “Forms in many variables and differing degrees,” Journal of the European Mathematical Society, vol. 19, no. 2. European Mathematical Society Publishing House, pp. 357–394, 2017.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
T. D. Browning, “Many cubic surfaces contain rational points,” Mathematika, vol. 63, no. 3. Cambridge University Press, pp. 818–839, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
T. D. Browning and S. Prendiville, “A transference approach to a Roth-type theorem in the squares,” International Mathematics Research Notices, vol. 2017, no. 7. Oxford University Press, pp. 2219–2248, 2017.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
T. D. Browning and L. Matthiesen, “Norm forms for arbitrary number fields as products of linear polynomials,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 50, no. 6. Societe Mathematique de France, pp. 1383–1446, 2017.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 269 | OA
T. D. Browning and D. Loughran, “Varieties with too many rational points,” Mathematische Zeitschrift, vol. 285, no. 3–4. Springer, pp. 1249–1267, 2017.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
T. D. Browning and A. Gorodnik, “Power-free values of polynomials on symmetric varieties,” Proceedings of the London Mathematical Society, vol. 114, no. 6. Wiley Blackwell, pp. 1044–1080, 2017.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731. Walter de Gruyter, pp. 203–234, 2017.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 1187 | OA
E. Kiltz, K. Z. Pietrzak, D. Venturi, D. Cash, and A. Jain, “Efficient authentication from hard learning problems,” Journal of Cryptology, vol. 30, no. 4. Springer, pp. 1238–1275, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
C. Chen, itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse,” Cell Reports, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 463 | OA
S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” Chaos, vol. 27, no. 11. AIP, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 459 | OA
S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” Rundgespräche Forum Ökologie, vol. 46. Pfeil, pp. 105–116, 2017.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 464 | OA
K. Chatterjee, M. 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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 373
C. Coughlan, M. Ibáñez, O. Dobrozhan, A. Singh, A. Cabot, and K. Ryan, “Compound copper chalcogenide nanocrystals,” Chemical Reviews, vol. 117, no. 9. American Chemical Society, pp. 5865–6109, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 374
S. Ortega et al., “Bottom up engineering of thermoelectric nanomaterials and devices from solution processed nanoparticle building blocks,” Chemical Society Reviews, vol. 46, no. 12. Royal Society of Chemistry, pp. 3510–3528, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 375
T. Berestok et al., “Tuning branching in ceria nanocrystals,” Chemistry of Materials, vol. 29, no. 10. American Chemical Society, pp. 4418–4424, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 391
Y. Xu et al., “Disorder enabled band structure engineering of a topological insulator surface,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 392 | OA
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 La2 xCexCuO4±δ,” Physical Review B, vol. 95, no. 11. American Physical Society, 2017.
View | DOI | Download None (ext.)
 

2017 | Journal Article | IST-REx-ID: 393 | OA
Z. Alpichshev, E. Sie, F. Mahmood, G. Cao, and N. Gedik, “Origin of the exciton mass in the frustrated Mott insulator Na2IrO3,” Physical Review B, vol. 96, no. 23. American Physical Society, 2017.
View | DOI | Download None (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
View | Files available
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 443 | OA
R. Hardie et al., “Mitochondrial mutations and metabolic adaptation in pancreatic cancer,” Cancer & Metabolism, vol. 5, no. 2. BioMed Central, 2017.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 444
L. A. Sazanov, “Structure of respiratory complex I: ‘Minimal’ bacterial and ‘de luxe’ mammalian versions,” in Mechanisms of primary energy transduction in biology , M. Wikström, Ed. Royal Society of Chemistry, 2017, pp. 25–59.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 445 | OA
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.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 447 | OA
P. Ferrari and P. Nejjar, “Fluctuations of the competition interface in presence of shocks,” Revista Latino-Americana de Probabilidade e Estatística, vol. 9. ALEA Network, pp. 299–325, 2017.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 452
M. Bächer, B. Bickel, E. Whiting, and O. Sorkine Hornung, “Spin it: Optimizing moment of inertia for spinnable objects,” Communications of the ACM, vol. 60, no. 8. ACM, pp. 92–99, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 453 | OA
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.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127
T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” IST Austria, 2017.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 471 | OA
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.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 472
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, and T. Takahashi, “Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held,” European Journal of Neuroscience, vol. 37, no. 25. Wiley-Blackwell, pp. 6043–6052, 2017.
View | DOI
 

Search

Filter Publications