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.
4950 Publications
2019 | Journal Article | IST-REx-ID: 6194 | 
Boccara, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science. American Association for the Advancement of Science, 2019. https://doi.org/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. https://doi.org/10.15479/at:ista:7132.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6713 |
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42014.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Preprint | IST-REx-ID: 10065 |
Hofmann, Andrea C, Daniel Jirovec, Maxim Borovkov, Ivan Prieto Gonzalez, Andrea Ballabio, Jacopo Frigerio, Daniel Chrastina, Giovanni Isella, and Georgios Katsaros. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1910.05841.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6187 |
Valosková, Katarina, Julia Bicher, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife. eLife Sciences Publications, 2019. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:6363.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6780 |
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019. https://doi.org/10.1145/3360555.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6380 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages. ACM, 2019. https://doi.org/10.1145/3290366.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6056 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv