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 | OA
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3. Association for Computing Machinery, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5977 | OA
K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4700–4707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 442 | OA
L. Li, G. Krens, M. Fendrych, and J. Friml, “Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls,” Bio-protocol, vol. 8, no. 1. Bio-protocol, 2018.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1084
C. Fang 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, pp. 16–31, 2017.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1086 | OA
M. Di Giglio et al., “Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide,” Scientific Reports, vol. 7. Nature Publishing Group, p. 41002, 2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1112
T. Paixao and J. Pérez Heredia, “An application of stochastic differential equations to evolutionary algorithms,” in Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Copenhagen, Denmark, 2017, pp. 3–11.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1176 | OA
J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Book Chapter | IST-REx-ID: 444
L. A. Sazanov, “Structure of respiratory complex I: ‘Minimal’ bacterial and ‘de luxe’ mammalian versions,” in Mechanisms of primary energy transduction in biology , M. Wikström, Ed. Royal Society of Chemistry, 2017, pp. 25–59.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 459 | OA
S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” Rundgespräche Forum Ökologie, vol. 46. Verlag Dr. Friedrich Pfeil, pp. 105–116, 2017.
[Published Version] View | Files available
 

2017 | Research Data | IST-REx-ID: 5561 | OA
D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
M. Lukacisin, “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.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
A. F. Leithner, “Immunological synapse DC-Tcells.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
R. Hauschild, “Forward migration indexes.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1228 | OA
U. Sauerzopf 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, pp. 45–57, 2017.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Conference Abstract | IST-REx-ID: 12905 | OA
A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHPC17 – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
[Published Version] View | Files available | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 737
Z. Virk and A. Zastrow, “A new topology on the universal path space,” Topology and its Applications, vol. 231. Elsevier, pp. 186–196, 2017.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 743
G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” Formal Methods in System Design, vol. 51, no. 2. Springer, pp. 267–269, 2017.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 747 | OA
E. Brǎiloiu et al., “Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus,” Neuroscience, vol. 365. Elsevier, pp. 23–32, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed