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, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. 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, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. 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, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems. Association for Computing Machinery, 2018. 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, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. 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, Lanxin, Gabriel Krens, Matyas Fendrych, and Jiří Friml. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol. Bio-protocol, 2018. https://doi.org/10.21769/BioProtoc.2685.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum. Wiley-Blackwell, 2017. https://doi.org/10.1111/cgf.12941.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1084
Fang, Chong, Anna A Nagy-Staron, Martin Grafe, Ralf Heermann, Kirsten Jung, Susanne Gebhard, and Thorsten Mascher. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology. Wiley-Blackwell, 2017. https://doi.org/10.1111/mmi.13597.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1086 | OA
Di Giglio, Maria, Markus Muttenthaler, Kasper Harpsøe, Zita Liutkeviciute, Peter Keov, Thomas Eder, Thomas Rattei, et al. “Development of a Human Vasopressin V1a-Receptor Antagonist from an Evolutionary-Related Insect Neuropeptide.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/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.” In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 3–11. ACM, 2017. https://doi.org/10.1145/3040718.3040729.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications. Springer, 2017. 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, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. 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, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017. https://doi.org/10.1039/9781788010405-00025.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie. Verlag Dr. Friedrich Pfeil, 2017.
[Published Version] View | Files available
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, Florian Jug, Carsten Rother, and Gene Meyers. “Graph Matching Problems for Annotating C. Elegans.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

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

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

2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild, Robert. “Forward Migration Indexes.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:75.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “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, 2017. 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, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHPC17 – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
[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. Elsevier, 2017. 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: Chicago

Export / Embed