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.

6158 Publications


2018 | Published | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, K., Goharshady, A. K., & Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89884-1_26
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, A. K., Behrouz, A., & Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE. https://doi.org/10.1109/Cybermatics_2018.2018.00231
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery. https://doi.org/10.1145/3210257
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, K., Fu, H., Goharshady, A. K., & Okati, N. (2018). Computational approaches for stochastic shortest path on succinct MDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/653
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 442 | OA
Li, L., Krens, G., Fendrych, M., & Friml, J. (2018). Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-Protocol. Bio-protocol. https://doi.org/10.21769/BioProtoc.2685
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., & Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12941
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1084
Fang, C., Nagy-Staron, A. A., Grafe, M., Heermann, R., Jung, K., Gebhard, S., & Mascher, T. (2017). Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.13597
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1086 | OA
Di Giglio, M., Muttenthaler, M., Harpsøe, K., Liutkeviciute, Z., Keov, P., Eder, T., … Gruber, C. (2017). Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep41002
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1112
Paixao, T., & Pérez Heredia, J. (2017). An application of stochastic differential equations to evolutionary algorithms. In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms (pp. 3–11). Copenhagen, Denmark: ACM. https://doi.org/10.1145/3040718.3040729
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
Perrone, E., Rappold, A., & Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications. Springer. https://doi.org/10.1007/s10260-016-0375-6
[Submitted Version] View | Files available | DOI | WoS
 

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

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

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

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, D., Jug, F., Rother, C., & Meyers, G. (2017). Graph matching problems for annotating C. Elegans. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:57
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
Lukacisin, M. (2017). 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. https://doi.org/10.15479/AT:ISTA:64
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner, A. F. (2017). Immunological synapse DC-Tcells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:71
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild, R. (2017). Forward migration indexes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:75
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/ejn.13418
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2017 | Published | Journal Article | IST-REx-ID: 737
Virk, Z., & Zastrow, A. (2017). A new topology on the universal path space. Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2017.09.015
View | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed