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, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
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 | OA
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 | Thesis | IST-REx-ID: 395 | OA
Tarlungeanu, Dora-Clara. The Branched Chain Amino Acids in Autism Spectrum Disorders . Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_992.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 3 | OA
Deliu, Elena, et al. “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.” Nature Neuroscience, vol. 21, no. 12, Nature Publishing Group, 2018, pp. 1717–27, doi:10.1038/s41593-018-0266-2.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 412 | OA
Adamowski, Maciek, et al. “A Functional Study of AUXILIN LIKE1 and 2 Two Putative Clathrin Uncoating Factors in Arabidopsis.” The Plant Cell, vol. 30, no. 3, American Society of Plant Biologists, 2018, pp. 700–16, doi:10.1105/tpc.17.00785.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Thesis | IST-REx-ID: 6266 | OA
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission . Institute of Science and Technology Austria, 2018, doi:10.15479/at:ista:th_1055.
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 539 | OA
Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_930.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 542 | OA
Kelemen, Réka K., and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” Genetics, vol. 208, no. 1, Genetics Society of America, 2018, pp. 365–75, doi:10.1534/genetics.117.300513.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Thesis | IST-REx-ID: 50 | OA
Capek, Daniel. Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1031.
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 51 | OA
Case, Matthew J. From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_1032.
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 26 | OA
Steinrück, Magdalena. The Influence of Sequence Context on the Evolution of Bacterial Gene Expression. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th1059.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 442 | OA
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 | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi: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, Thumu, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” Science, vol. 358, no. 6362, American Association for the Advancement of Science, 2017, pp. 514–18, doi: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, Jan H., et al. “Chemical Systems out of Equilibrium.” Chemical Society Reviews, vol. 46, no. 18, Royal Society of Chemistry, 2017, pp. 5474–75, doi: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, Ylva Louise Linsdotter, et al. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.” Astronomy & Astrophysics, vol. 608, A11, EDP Sciences, 2017, doi: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., et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” Astronomy & Astrophysics, vol. 601, no. A&A, A29, EDP Sciences, 2017, doi:10.1051/0004-6361/201629685.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
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: 14004 | OA
Baykusheva, Denitsa Rangelova, et al. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.” Physical Review Letters, vol. 119, no. 20, 203201, American Physical Society, 2017, doi: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: MLA

Export / Embed