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.
6141 Publications
2018 | Published | Journal Article | IST-REx-ID: 6009 | 
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery, 2018, doi:10.1145/3210257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5977 |
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07, doi:10.24963/ijcai.2018/653.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 442 |
Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol, vol. 8, no. 1, Bio-protocol, 2018, doi:10.21769/BioProtoc.2685.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1367 |
Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1084
Fang, Chong, et al. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology, vol. 104, no. 1, Wiley-Blackwell, 2017, pp. 16–31, doi:10.1111/mmi.13597.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1086 |
Di Giglio, Maria, et al. “Development of a Human Vasopressin V1a-Receptor Antagonist from an Evolutionary-Related Insect Neuropeptide.” Scientific Reports, vol. 7, Nature Publishing Group, 2017, p. 41002, doi:10.1038/srep41002.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1112
Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11, doi:10.1145/3040718.3040729.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1168 |
Perrone, Elisa, et al. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications, vol. 26, no. 3, Springer, 2017, pp. 403–18, doi:10.1007/s10260-016-0375-6.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1176 |
Alwen, Joel F., and Jeremiah Blocki. Towards Practical Attacks on Argon2i and Balloon Hashing. 7961977, IEEE, 2017, doi:10.1109/EuroSP.2017.47.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:10.1039/9781788010405-00025.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 459 |
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.
[Published Version]
View
| Files available
2017 | Research Data | IST-REx-ID: 5561 |
Kainmueller, Dagmar, et al. Graph Matching Problems for Annotating C. Elegans. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:57.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin, Martin. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:64.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
Leithner, Alexander F. Immunological Synapse DC-Tcells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:71.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |
Hauschild, Robert. Forward Migration Indexes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:75.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1228 |
Sauerzopf, Ulrich, et al. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience, vol. 45, no. 1, Wiley-Blackwell, 2017, pp. 45–57, doi:10.1111/ejn.13418.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Conference Abstract | IST-REx-ID: 12905 |
Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 737
Virk, Ziga, and Andreas Zastrow. “A New Topology on the Universal Path Space.” Topology and Its Applications, vol. 231, Elsevier, 2017, pp. 186–96, doi:10.1016/j.topol.2017.09.015.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 747 |
Brǎiloiu, Eugen, et al. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience, vol. 365, Elsevier, 2017, pp. 23–32, doi:10.1016/j.neuroscience.2017.09.034.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC