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.
4863 Publications
2018 |
Published |
Conference Paper |
IST-REx-ID: 11 |
Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270, 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 12 |
Nakashima K, Auzinger T, Iarussi E, Zhang R, Igarashi T, Bickel B. 2018. CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics. 37(4), 135.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 12193 |
Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 1228 |
Sauerzopf U, Sacco R, Novarino G, Niello M, Weidenauer A, Praschak Rieder N, Sitte H, Willeit M. 2017. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 45(1), 45–57.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |
Published |
Conference Abstract |
IST-REx-ID: 12905 |
Schlögl A, Kiss J. 2017. Scientific Computing at IST Austria. AHPC17 – Austrian HPC Meeting 2017. AHPC: Austrian HPC Meeting, 28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2017 |
Published |
Journal Article |
IST-REx-ID: 1294 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2017. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 84, 144–170.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 13160 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 820 |
Jesse F. 2017. The lac operon in the wild. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 821 |
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Journal Article |
IST-REx-ID: 822 |
de Vos M, Zagórski MP, Mcnally A, Bollenbach MT. 2017. Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS. 114(40), 10666–10671.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 823 |
Colabrese S, De Martino D, Leuzzi L, Marinari E. 2017. Phase transitions in integer linear problems. Journal of Statistical Mechanics: Theory and Experiment. 2017(9), 093404.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 824 |
Budanur NB, Hof B. 2017. Heteroclinic path to spatially localized chaos in pipe flow. Journal of Fluid Mechanics. 827, R1.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 825 |
Petritsch B. 2017. Metadata for research data in practice. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 70(2), 200–207.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Conference Paper |
IST-REx-ID: 833 |
Heiss T, Wagner H. 2017. Streaming algorithm for Euler characteristic curves of multidimensional images. CAIP: Computer Analysis of Images and Patterns, LNCS, vol. 10424, 397–409.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 834 |
Serbyn M, Zlatko P, Abanin D. 2017. Thouless energy and multifractality across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 96(10), 104201.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 837 |
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 838 |
Rybar M. 2017. (The exact security of) Message authentication codes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 839 |
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI