Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5373 Publications
2018 | Published | Journal Article | IST-REx-ID: 6006 | 
Avni G, Guha S, Kupferman O. 2018. An abstraction-refinement methodology for reasoning about network games. Games. 9(3), 39.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 63 |
Gammerdinger WJ, Kocher T. 2018. Unusual diversity of sex chromosomes in African cichlid fishes. Genes. 9(10), 480.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 34 |
Chatterjee K, Chemlík M, Topcu U. 2018. Sensor synthesis for POMDPs with reachability objectives. 28th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 2018, 47–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 133 |
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 5816 |
Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 89(11), 114701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 2 |
Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. 2018. Indirect reciprocity with private, noisy, and incomplete information. PNAS. 115(48), 12241–12246.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Thesis | IST-REx-ID: 539 |
Hurny A. 2018. Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 3 |
Deliu E, Arecco N, Morandell J, Dotter C, Contreras X, Girardot C, Käsper E, Kozlova A, Kishi K, Chiaradia I, Noh K, Novarino G. 2018. Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition. Nature Neuroscience. 21(12), 1717–1727.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 395 |
Tarlungeanu D-C. 2018. The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 28
Contreras X, Hippenmeyer S. 2018. Incorrect trafficking route leads to autism. Brain a journal of neurology. 141(9), 2542–2544.
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 323 |
Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 449 |
Prat T, Hajny J, Grunewald W, Vasileva MK, Molnar G, Tejos R, Schmid M, Sauer M, Friml J. 2018. WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. 14(1).
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 191 |
Grones P, Abas MF, Hajny J, Jones A, Waidmann S, Kleine Vehn J, Friml J. 2018. PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. 8(1), 10279.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 51 |
Case MJ. 2018. From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 48 |
Gridchyn I. 2018. Reactivation content is important for consolidation of spatial memory. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 50 |
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.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 26 |
Steinrück M. 2018. The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 6263 |
Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 9 |
Belyaeva V. 2018. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 6266 |
Mckenzie C. 2018. Design and characterization of methods and biological components to realize synthetic neurotransmission . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI