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.
6978 Publications
2019 |Published| Journal Article | IST-REx-ID: 6189 | 
Transition to turbulence in particle laden flows
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
2019 |Published| Journal Article | IST-REx-ID: 5949 |
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
[Published Version]
View
| Files available
| DOI
| WoS
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
2019 |Published| Thesis | IST-REx-ID: 6825 |
The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
2018 |Published| Conference Paper | IST-REx-ID: 10883 |
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
2018 |Published| Journal Article | IST-REx-ID: 1092 |
Generalized permutohedra from probabilistic graphical models
F. Mohammadi, C. Uhler, C. Wang, J. Yu, SIAM Journal on Discrete Mathematics 32 (2018) 64–93.
[Preprint]
View
| DOI
| Download Preprint (ext.)
F. Mohammadi, C. Uhler, C. Wang, J. Yu, SIAM Journal on Discrete Mathematics 32 (2018) 64–93.
2018 |Published| Conference Paper | IST-REx-ID: 11 |
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
2018 |Published| Journal Article | IST-REx-ID: 1215 |
Infinite-dimensional calculus under weak spatial regularity of the processes
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
[Published Version]
View
| Files available
| DOI
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
2018 |Published| Journal Article | IST-REx-ID: 124
The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
View
| DOI
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
2018 |Published| Journal Article | IST-REx-ID: 125
A high-speed tracking algorithm for dense granular media
M. Cerda, S.R. Waitukaitis, C. Navarro, J. Silva, N. Mujica, N. Hitschfeld, Computer Physics Communications 227 (2018) 8–16.
View
| DOI
M. Cerda, S.R. Waitukaitis, C. Navarro, J. Silva, N. Mujica, N. Hitschfeld, Computer Physics Communications 227 (2018) 8–16.
2018 |Published| Journal Article | IST-REx-ID: 126
From bouncing to floating: the Leidenfrost effect with hydrogel spheres
S.R. Waitukaitis, K. Harth, M. Van Hecke, Physical Review Letters 121 (2018).
View
| DOI
S.R. Waitukaitis, K. Harth, M. Van Hecke, Physical Review Letters 121 (2018).
2018 |Published| Journal Article | IST-REx-ID: 127
Clicks for doughnuts
S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
View
| DOI
S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
2018 |Published| Conference Paper | IST-REx-ID: 174
How often does the Hasse principle hold?
T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.
View
| DOI
T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.
2018 |Published| Journal Article | IST-REx-ID: 176 |
Averages of arithmetic functions over principal ideals
T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.
2018 |Published| Journal Article | IST-REx-ID: 178 |
Counting rational points on quadric surfaces
T.D. Browning, R. Heath-Brown, Discrete Analysis 15 (2018) 1–29.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath-Brown, Discrete Analysis 15 (2018) 1–29.
2018 |Published| Conference Paper | IST-REx-ID: 185 |
Hanani-Tutte for approximating maps of graphs
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |Published| Conference Paper | IST-REx-ID: 188 |
Smallest enclosing spheres and Chernoff points in Bregman geometry
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
2018 |Published| Journal Article | IST-REx-ID: 2015 |
Learning directed acyclic graphs based on sparsest permutations
G. Raskutti, C. Uhler, STAT 7 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Raskutti, C. Uhler, STAT 7 (2018).
2018 |Published| Journal Article | IST-REx-ID: 306 |
An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
[Published Version]
View
| Files available
| DOI
A. De Martino, D. De Martino, Heliyon 4 (2018).
2018 |Published| Book | IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 |Published| Book Chapter | IST-REx-ID: 37 |
Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
[Submitted Version]
View
| Files available
| DOI
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.