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.
3982 Publications
2017 | Conference Paper | IST-REx-ID: 1176 |

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
2017 | Conference Paper | IST-REx-ID: 1178 |

Simulating auxiliary inputs, revisited
M. Skórski, in:, Springer, 2017, pp. 159–179.
View
| DOI
| Download Submitted Version (ext.)
M. Skórski, in:, Springer, 2017, pp. 159–179.
2017 | Journal Article | IST-REx-ID: 1180 |

Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
View
| DOI
| Download Submitted Version (ext.)
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
2017 | Journal Article | IST-REx-ID: 1187 |

Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
2017 | Journal Article | IST-REx-ID: 1191 |

Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
View
| DOI
| Download Preprint (ext.)
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
2017 | Conference Paper | IST-REx-ID: 1192 |

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
View
| Files available
| DOI
| Download Submitted Version (ext.)
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
2017 | Conference Paper | IST-REx-ID: 1194 |

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 | Journal Article | IST-REx-ID: 1198 |

Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
View
| Files available
| DOI
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
2017 | Journal Article | IST-REx-ID: 1199 |

How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
View
| Files available
| DOI
| Download Submitted Version (ext.)
N.H. Barton, Heredity 118 (2017) 96–109.
2017 | Journal Article | IST-REx-ID: 1207 |

Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
View
| Files available
| DOI
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
2017 | Journal Article | IST-REx-ID: 1208 |

Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
View
| DOI
| Download Submitted Version (ext.)
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
2017 | Journal Article | IST-REx-ID: 1211 |

Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
View
| Files available
| DOI
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 | Journal Article | IST-REx-ID: 1228 |

Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
View
| Files available
| DOI
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
2017 | Journal Article | IST-REx-ID: 123 |

Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing
S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature Physics 13 (2017) 1095–1099.
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature Physics 13 (2017) 1095–1099.
2017 | Journal Article | IST-REx-ID: 1294 |

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

Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
View
| Files available
| DOI
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | Journal Article | IST-REx-ID: 1337 |

Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 | Journal Article | IST-REx-ID: 1338 |

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
View
| Files available
| DOI
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
2017 | Journal Article | IST-REx-ID: 1351 |

Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
View
| Files available
| DOI
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
2017 | Journal Article | IST-REx-ID: 1367 |

Adaptive physically based models in computer graphics
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
View
| Files available
| DOI
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
2017 | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Journal Article | IST-REx-ID: 1528 |

Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
View
| Files available
| DOI
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
2017 | Conference Paper | IST-REx-ID: 1000 |

PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| arXiv
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
2017 | Conference Paper | IST-REx-ID: 1001 |

CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1002 |

Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1003 |

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
2017 | Journal Article | IST-REx-ID: 1004 |

Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
2017 | Journal Article | IST-REx-ID: 1006 |

Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
View
| Files available
| DOI
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
2017 | Journal Article | IST-REx-ID: 1007 |

Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View
| Files available
| DOI
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
2017 | Conference Paper | IST-REx-ID: 1009 |

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
View
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
2017 | Journal Article | IST-REx-ID: 1010 |

Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
View
| Files available
| DOI
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
2017 | Conference Paper | IST-REx-ID: 1011 |

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
2017 | Journal Article | IST-REx-ID: 10126 |

Curvature mediated interactions in highly curved membranes
A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).
View
| DOI
| Download Published Version (ext.)
A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).
2017 | Journal Article | IST-REx-ID: 1013 |

Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
View
| Files available
| DOI
J.M. Fink, Physics 10 (2017).
2017 | Journal Article | IST-REx-ID: 1014 |

Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space
J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.
View
| DOI
| Download Submitted Version (ext.)
J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.
2017 | Journal Article | IST-REx-ID: 1015 |

Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
View
| Files available
| DOI
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 1017 |

Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
View
| Files available
| DOI
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
2017 | Journal Article | IST-REx-ID: 10175 |

Homogenization of nonconvex unbounded singular integrals
O. Anza Hafsa, N. Clozeau, J.-P. Mandallena, Annales Mathématiques Blaise Pascal 24 (2017) 135–193.
View
| Files available
| DOI
O. Anza Hafsa, N. Clozeau, J.-P. Mandallena, Annales Mathématiques Blaise Pascal 24 (2017) 135–193.
2017 | Journal Article | IST-REx-ID: 1020 |

Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
View
| DOI
| Download Submitted Version (ext.)
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
2017 | Journal Article | IST-REx-ID: 1021 |

Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
View
| DOI
| Download Submitted Version (ext.)
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
2017 | Journal Article | IST-REx-ID: 1022 |

The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
View
| DOI
| Download Submitted Version (ext.)
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
2017 | Journal Article | IST-REx-ID: 1023 |

Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).
View
| Files available
| DOI
Y. Nemish, Electronic Journal of Probability 22 (2017).
2017 | Journal Article | IST-REx-ID: 103 |

Transport signatures of quasiparticle poisoning in a majorana island
S.M. Albrecht, E. Hansen, A.P. Higginbotham, F. Kuemmeth, T. Jespersen, J. Nygård, P. Krogstrup, J. Danon, K. Flensberg, C. Marcus, APS Physics, Physical Review Letters 118 (2017).
View
| DOI
| Download Preprint (ext.)
| arXiv
S.M. Albrecht, E. Hansen, A.P. Higginbotham, F. Kuemmeth, T. Jespersen, J. Nygård, P. Krogstrup, J. Danon, K. Flensberg, C. Marcus, APS Physics, Physical Review Letters 118 (2017).
2017 | Journal Article | IST-REx-ID: 1030 |

Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
View
| Files available
| DOI
M. Villányi, Informationspraxis 3 (2017).
2017 | Journal Article | IST-REx-ID: 10369 |

Long-range organization of membrane-curving proteins
M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.
2017 | Journal Article | IST-REx-ID: 10370 |

Mechanical force induces mitochondrial fission
S.C.J. Helle, Q. Feng, M.J. Aebersold, L. Hirt, R.R. Grüter, A. Vahid, A. Sirianni, S. Mostowy, J.G. Snedeker, A. Šarić, T. Idema, T. Zambelli, B. Kornmann, ELife 6 (2017).
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.C.J. Helle, Q. Feng, M.J. Aebersold, L. Hirt, R.R. Grüter, A. Vahid, A. Sirianni, S. Mostowy, J.G. Snedeker, A. Šarić, T. Idema, T. Zambelli, B. Kornmann, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 10373 |

Numerical evidence for thermally induced monopoles
P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.
2017 | Journal Article | IST-REx-ID: 10374 |

Scaling behaviour and rate-determining steps in filamentous self-assembly
G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.
2017 | Journal Article | IST-REx-ID: 10375 |

Curvature variation controls particle aggregation on fluid vesicles
A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.
2017 | Journal Article | IST-REx-ID: 10416 |

Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
View
| Files available
| DOI
| arXiv
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).