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.




5255 Publications

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain, 1343–1348.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 544 | OA
György A, Roblek M, Ratheesh A, Valosková K, Belyaeva V, Wachner S, Matsubayashi Y, Sanchez Sanchez B, Stramer B, Siekhaus DE. 2018. Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. G3: Genes, Genomes, Genetics. 8(3), 845–857.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 21 | OA
Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. 2018. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. 9(1), 4605.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 612 | OA
Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 223(3), 1565–1587.
[Published Version] View | Files available | DOI | WoS
 
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
 
2017 | Published | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for natural image modeling. 34th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 70, 1905–1914.
[Submitted Version] View | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 1002 | OA
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 81.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1004 | OA
Ötvös K, Benková E. 2017. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 45, 82–89.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1006 | OA
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1010 | OA
Alt J, Erdös L, Krüger TH. 2017. Local law for random Gram matrices. Electronic Journal of Probability. 22, 25.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1013 | OA
Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics. 10(32).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1015 | OA
Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 7, 45702.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1016
Breuss M, Nguyen T, Srivatsan A, Leca I, Tian G, Fritz T, Hansen AH, Musaev D, Mcevoy Venneri J, Kiely J, Rosti R, Scott E, Tan U, Kolodner R, Cowan N, Keays D, Gleeson J. 2017. Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. 26(2), 258–269.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1017 | OA
Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 84, 58–67.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R, Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 174(1), 387–404.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1019
Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 119(1), 27–34.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed