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.

7158 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 | 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 | Thesis | IST-REx-ID: 395 | OA
Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_992
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 3 | OA
Deliu, E., Arecco, N., Morandell, J., Dotter, C., Contreras, X., Girardot, C., … Novarino, G. (2018). Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/s41593-018-0266-2
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 412 | OA
Adamowski, M., Narasimhan, M., Kania, U., Glanc, M., De Jaeger, G., & Friml, J. (2018). A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.17.00785
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Thesis | IST-REx-ID: 6266 | OA
Mckenzie, C. (2018). Design and characterization of methods and biological components to realize synthetic neurotransmission . Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:th_1055
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 539 | OA
Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_930
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 542 | OA
Kelemen, R. K., & Vicoso, B. (2018). Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.117.300513
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Thesis | IST-REx-ID: 50 | OA
Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 51 | OA
Case, M. J. (2018). From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1032
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 26 | OA
Steinrück, M. (2018). The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1059
[Published Version] View | Files available | DOI
 

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 | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54577-5_26
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 13381 | OA
Udayabhaskararao, T., Altantzis, T., Houben, L., Coronado-Puchau, M., Langer, J., Popovitz-Biro, R., … Klajn, R. (2017). Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aan6046
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 13382 | OA
van Esch, J. H., Klajn, R., & Otto, S. (2017). Chemical systems out of equilibrium. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c7cs90088k
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 13476 | OA
Götberg, Y. L. L., de Mink, S. E., & Groh, J. H. (2017). Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201730472
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 13477 | OA
Zapartas, E., de Mink, S. E., Izzard, R. G., Yoon, S.-C., Badenes, C., Götberg, Y. L. L., … Shrotriya, T. S. (2017). Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201629685
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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: 14004 | OA
Baykusheva, D. R., Brennecke, S., Lein, M., & Wörner, H. J. (2017). Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.119.203201
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed