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.
7388 Publications
2019 | Draft | Preprint | IST-REx-ID: 7524 | 
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Deuchert, S. Mayer, R. Seiringer, ArXiv (n.d.).
2019 | Submitted | Preprint | IST-REx-ID: 8314 |
Brick: Asynchronous payment channels
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
2019 | Submitted | Preprint | IST-REx-ID: 8315 |
Divide and scale: Formalization of distributed ledger sharding protocols
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
2019 | Published | Journal Article | IST-REx-ID: 6759 |
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 6989 |
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
2019 | Published | Conference Paper | IST-REx-ID: 7035 |
Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
2019 | Published | Conference Paper | IST-REx-ID: 5948 |
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
2019 | Published | Journal Article | IST-REx-ID: 175 |
Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
2019 | Published | Journal Article | IST-REx-ID: 19473 |
Leptin’s hunger-suppressing effects are mediated by the hypothalamic–pituitary–adrenocortical axis in rodents
R.J. Perry, J.M. Resch, A.M. Douglass, J.C. Madara, A. Rabin-Court, H. Kucukdereli, C. Wu, J.D. Song, B.B. Lowell, G.I. Shulman, Proceedings of the National Academy of Sciences 116 (2019) 13670–13679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.J. Perry, J.M. Resch, A.M. Douglass, J.C. Madara, A. Rabin-Court, H. Kucukdereli, C. Wu, J.D. Song, B.B. Lowell, G.I. Shulman, Proceedings of the National Academy of Sciences 116 (2019) 13670–13679.
2019 | Published | Journal Article | IST-REx-ID: 19493 |
Ranks, 2-Selmer groups, and Tamagawa numbers of elliptic curves with ℤ∕2ℤ × ℤ∕8ℤ-torsion
S. Chan, J. Hanselman, W. Li, The Open Book Series 2 (2019) 173–189.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Chan, J. Hanselman, W. Li, The Open Book Series 2 (2019) 173–189.
2019 | Published | Journal Article | IST-REx-ID: 7093 |
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, Journal of Computational Geometry 10 (2019) 70–98.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, Journal of Computational Geometry 10 (2019) 70–98.
2019 | Research Data Reference | IST-REx-ID: 9839 |
Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Polechova, (2019).
2019 | Published | Journal Article | IST-REx-ID: 5857 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
2019 | Research Data Reference | IST-REx-ID: 9805 |
Data from: The consequences of an introgression event
N.H. Barton, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N.H. Barton, (2019).
2019 | Published | Journal Article | IST-REx-ID: 5789 |
Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
2019 | Published | Journal Article | IST-REx-ID: 5856 |
Energy contribution of a point-interacting impurity in a Fermi gas
T. Moser, R. Seiringer, Annales Henri Poincare 20 (2019) 1325–1365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Moser, R. Seiringer, Annales Henri Poincare 20 (2019) 1325–1365.
2019 | Published | Journal Article | IST-REx-ID: 5828 |
Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.
2019 | Published | Conference Paper | IST-REx-ID: 6035 |
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
2019 | Published | Journal Article | IST-REx-ID: 5886 |
Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
[Published Version]
View
| Files available
| DOI
| WoS
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
2019 | Published | Journal Article | IST-REx-ID: 6105 |
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
[Published Version]
View
| Files available
| DOI
| WoS
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.