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: 5993 | 
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2. Association for Computing Machinery, 2018.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6499 |
S. M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, and S. O. Rizzoli, “X10 expansion microscopy enables 25‐nm resolution on conventional microscopes,” EMBO reports, vol. 19, no. 9. Embo Press, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 399 |
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation,” EPL, vol. 121, no. 1. IOP Publishing, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 199 |
W. Ma et al., “Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes,” Genes, vol. 9, no. 6. MDPI, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6006 |
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3. MDPI, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 63 |
W. J. Gammerdinger and T. Kocher, “Unusual diversity of sex chromosomes in African cichlid fishes,” Genes, vol. 9, no. 10. MDPI, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 34 |
K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with reachability objectives,” in 28th International Conference on Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 133 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 5816 |
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” Review of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 2 |
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, and M. Nowak, “Indirect reciprocity with private, noisy, and incomplete information,” PNAS, vol. 115, no. 48. National Academy of Sciences, pp. 12241–12246, 2018.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Thesis | IST-REx-ID: 539 |
A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 3 |
E. Deliu et al., “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition,” Nature Neuroscience, vol. 21, no. 12. Nature Publishing Group, pp. 1717–1727, 2018.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 395 |
D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 323 |
A. F. Leithner, “Branched actin networks in dendritic cell biology,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 28
X. Contreras and S. Hippenmeyer, “Incorrect trafficking route leads to autism,” Brain a journal of neurology, vol. 141, no. 9. Oxford University Press, pp. 2542–2544, 2018.
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 449 |
T. Prat et al., “WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity,” PLoS Genetics, vol. 14, no. 1. Public Library of Science, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 191 |
P. Grones et al., “PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism,” Scientific Reports, vol. 8, no. 1. Springer, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 51 |
M. J. Case, “From the left to the right: A tale of asymmetries, environments, and hippocampal development,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 48 |
I. Gridchyn, “Reactivation content is important for consolidation of spatial memory,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI