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.
4210 Publications
2018 | Research Data | IST-REx-ID: 5585 |
Igler, Claudia, et al. Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:108.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 5914 |
Rangel Guerrero, Dámaris K., et al. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the Contribution of Hippocampal SWR Events to Learning.” ENeuro, vol. 5, no. 4, e0087, Society of Neuroscience, 2018, doi:10.1523/ENEURO.0087-18.2018.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1013 |
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1175 |
Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi:10.4230/LIPIcs.ITCS.2017.38.
[Published Version]
View
| Files available
| DOI