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.
9071 Publications
2019 | Thesis | IST-REx-ID: 6947 | 
Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6947.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6351 |
Marhavá, Petra, et al. “Re-Activation of Stem Cell Pathways for Pattern Restoration in Plant Wound Healing.” Cell, vol. 177, no. 4, Elsevier, 2019, p. 957–969.e13, doi:10.1016/j.cell.2019.04.015.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6943 |
Hörmayer, Lukas, and Jiří Friml. “Targeted Cell Ablation-Based Insights into Wound Healing and Restorative Patterning.” Current Opinion in Plant Biology, vol. 52, Elsevier, 2019, pp. 124–30, doi:10.1016/j.pbi.2019.08.006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7391 |
Tabata, Shigekazu, et al. “Electron Microscopic Detection of Single Membrane Proteins by a Specific Chemical Labeling.” IScience, vol. 22, no. 12, Elsevier, 2019, pp. 256–68, doi:10.1016/j.isci.2019.11.025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6848 |
Kampjut, Domen, and Leonid A. Sazanov. “Structure and Mechanism of Mitochondrial Proton-Translocating Transhydrogenase.” Nature, vol. 573, no. 7773, Springer Nature, 2019, pp. 291–295, doi:10.1038/s41586-019-1519-2.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | 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 | Thesis | IST-REx-ID: 7132 |
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission. Institute of Science and Technology Austria, 2019, doi:10.15479/at:ista:7132.
[Published Version]
View
| Files available
| DOI
2019 | 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
2019 | Preprint | IST-REx-ID: 10065 |
Hofmann, Andrea C., et al. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.” ArXiv, 1910.05841, doi:10.48550/arXiv.1910.05841.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6187 |
Valosková, Katarina, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife, vol. 8, e41801, eLife Sciences Publications, 2019, doi:10.7554/elife.41801.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Thesis | IST-REx-ID: 6546 |
Valosková, Katarina. The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6546.
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
Espinoza Martinez, Claudia. Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6363.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6780 |
Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , vol. 3, 129, ACM, 2019, doi:10.1145/3360555.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6380 |
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6056 |
Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” IEEE International Conference on Blockchain and Cryptocurrency, 8751326, IEEE, 2019, doi:10.1109/BLOC.2019.8751326.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6378 |
Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 6175 |
Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.” PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–20, doi:10.1145/3314221.3314581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 6490 |
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7158 |
Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7014 |
Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv