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.
10763 Publications
2019 | Research Data | IST-REx-ID: 7154 | 
Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of self-actuated shells’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:7154.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6747 |
Mondelli M, Montanari A. 2019. On the connection between learning two-layers neural networks and tensor decomposition. Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. AISTATS: Artificial Intelligence and Statistics vol. 89, 1051–1060.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Draft | Preprint | IST-REx-ID: 7524 |
Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. arXiv, 1910.03372.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Submitted | Preprint | IST-REx-ID: 8314 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv, 1905.11360.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Submitted | Preprint | IST-REx-ID: 8315 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv, 1910.10434.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6759 |
Jelínek V, Töpfer M. 2019. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 26(3), P3.17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6989 |
Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2019. Folding polyominoes with holes into a cube. Proceedings of the 31st Canadian Conference on Computational Geometry. CCCG: Canadian Conference in Computational Geometry, 164–170.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7035 |
Geher GP, Titkos T, Virosztek D. 2019. Dirac masses and isometric rigidity. Kyoto RIMS Kôkyûroku. Research on isometries as preserver problems and related topics vol. 2125, 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6659 |
Zenmyo N, Tokumaru H, Uchinomiya S, Fuchida H, Tabata S, Hamachi I, Shigemoto R, Ojida A. 2019. Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. 92(5), 995–1000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Conference Paper | IST-REx-ID: 5948 |
Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs. International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388, 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Book Chapter | IST-REx-ID: 6726 |
Walter M. 2019.Sampling the integers with low relative error. In: Progress in Cryptology – AFRICACRYPT 2019. vol. 11627, 157–180.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Published | Thesis | IST-REx-ID: 6179 |
Schröder DJ. 2019. From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 175 |
Browning TD, Loughran D. 2019. Sieving rational points on varieties. Transactions of the American Mathematical Society. 371(8), 5757–5785.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 19473 |
Perry RJ, Resch JM, Douglass AM, Madara JC, Rabin-Court A, Kucukdereli H, Wu C, Song JD, Lowell BB, Shulman GI. 2019. Leptin’s hunger-suppressing effects are mediated by the hypothalamic–pituitary–adrenocortical axis in rodents. Proceedings of the National Academy of Sciences. 116(27), 13670–13679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 19493 |
Chan S, Hanselman J, Li W. 2019. Ranks, 2-Selmer groups, and Tamagawa numbers of elliptic curves with ℤ∕2ℤ × ℤ∕8ℤ-torsion. The Open Book Series. 2, 173–189.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Published | Journal Article | IST-REx-ID: 7093 |
Huszár K, Spreer J, Wagner U. 2019. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 10(2), 70–98.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9839 |
Polechova J. 2019. Data from: Is the sky the limit? On the expansion threshold of a species’ range, Dryad, 10.5061/dryad.5vv37.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 5857 |
Fulek R, Pach J. 2019. Thrackles: An improved upper bound. Discrete Applied Mathematics. 259(4), 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9805 |
Barton NH. 2019. Data from: The consequences of an introgression event, Dryad, 10.5061/dryad.2kb6fh4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)