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 | Published | Conference Paper | IST-REx-ID: 6889 | 
Chatterjee, Krishnendu, and Nir Piterman. Combinations of Qualitative Winning for Stochastic Parity Games. Vol. 140, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.6.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6896
Oliveira, Bárbara, et al. “Modeling Cell-Cell Interactions in the Brain Using Cerebral Organoids.” Brain Research, vol. 1724, 146458, Elsevier, 2019, doi:10.1016/j.brainres.2019.146458.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6920
Artner, Christina, and Eva Benková. “Ethylene and Cytokinin - Partners in Root Growth Regulation.” Molecular Plant, vol. 12, no. 10, Cell Press, 2019, pp. 1312–14, doi:10.1016/j.molp.2019.09.003.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 7201 |
Renggli, Cedric, et al. “SparCML: High-Performance Sparse Communication for Machine Learning.” International Conference for High Performance Computing, Networking, Storage and Analysis, SC, a11, ACM, 2019, doi:10.1145/3295500.3356222.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7181 |
Garriga, Edgar, et al. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology, vol. 37, no. 12, Springer Nature, 2019, pp. 1466–70, doi:10.1038/s41587-019-0333-6.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7226 |
Jaksic, Vojkan, and Robert Seiringer. “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018.” Journal of Mathematical Physics, vol. 60, no. 12, 123504, AIP Publishing, 2019, doi:10.1063/1.5138135.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Research Data Reference | IST-REx-ID: 13067 |
Johannesson, Kerstin, et al. Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes? Dryad, 2019, doi:10.5061/DRYAD.TB2RBNZWK.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Conference Paper | IST-REx-ID: 7411 |
Abusalah, Hamza M., et al. “Reversible Proofs of Sequential Work.” Advances in Cryptology – EUROCRYPT 2019, vol. 11477, Springer International Publishing, 2019, pp. 277–91, doi:10.1007/978-3-030-17656-3_10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7402 |
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13, doi:10.1109/lics.2019.8785706.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7479 |
Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” IEEE International Conference on Computer Vision, vol. 2019–October, IEEE, 2019, pp. 1355–64, doi:10.1109/ICCV.2019.00144.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7468 |
Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, vol. 2019–June, 11138–11147, IEEE, 2019, doi:10.1109/CVPR.2019.01140.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Thesis | IST-REx-ID: 6071 |
Prizak, Roshan. Coevolution of Transcription Factors and Their Binding Sites in Sequence Space. Institute of Science and Technology Austria, 2019, doi:10.15479/at:ista:th6071.
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6681 |
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6681.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6189 |
Agrawal, Nishchal, et al. “Transition to Turbulence in Particle Laden Flows.” Physical Review Letters, vol. 122, no. 11, 114502, American Physical Society, 2019, doi:10.1103/PhysRevLett.122.114502.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6194 |
Boccara, Charlotte N., et al. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science, vol. 363, no. 6434, American Association for the Advancement of Science, 2019, pp. 1443–47, doi:10.1126/science.aav4837.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 7117 |
Hafner, Christian, et al. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” ACM Transactions on Graphics, vol. 38, no. 6, 157, ACM, 2019, doi:10.1145/3355089.3356576.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Thesis | IST-REx-ID: 6825 |
Käfer, Karola. The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6825.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 5949 |
Käfer, Karola, et al. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus, vol. 29, no. 9, Wiley, 2019, pp. 802–16, doi:10.1002/hipo.23076.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Thesis | IST-REx-ID: 6371 |
Igler, Claudia. On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6371.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6713 |
Castro, João Pl, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife, vol. 8, e42014, eLife Sciences Publications, 2019, doi:10.7554/eLife.42014.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC