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.




4929 Publications

2019 | Conference Paper | IST-REx-ID: 7122
Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference on Decision and Control, 8619625.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 7146
Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology & Evolution. 3(12), 1632–1641.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 7143 | OA
Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture. Cell Research. 29, 965–966.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7156 | OA
Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 5, 108.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 7165 | OA
Guerrero P, Perez-Carrasco R, Zagórski MP, Page D, Kicheva A, Briscoe J, Page KM. 2019. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 146(23), dev176297.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.
View | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. 2019. Deciding fast termination for probabilistic VASS with nondeterminism. International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated TEchnology for Verification and Analysis, LNCS, vol. 11781, 462–478.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 7182 | OA
Alcântara A, Bosch J, Nazari F, Hoffmann G, Gallei MC, Uhse S, Darino MA, Olukayode T, Reumann D, Baggaley L, Djamei A. 2019. Systematic Y2H screening reveals extensive effector-complex formation. Frontiers in Plant Science. 10(11), 1437.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7180 | OA
Retzer K, Akhmanova M, Konstantinova N, Malínská K, Leitner J, Petrášek J, Luschnig C. 2019. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 10, 5516.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7181 | OA
Garriga E, Di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2019. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 37(12), 1466–1470.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications