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.
5128 Publications
2019 |Published| Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3286976.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7147
Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” In 2019 IEEE International Symposium on Information Theory. IEEE, 2019. https://doi.org/10.1109/isit.2019.8849240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7122
Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.” In 2018 IEEE Conference on Decision and Control. IEEE, 2019. https://doi.org/10.1109/cdc.2018.8619625.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7146
Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution. Springer Nature, 2019. https://doi.org/10.1038/s41559-019-1050-8.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research. Springer Nature, 2019. https://doi.org/10.1038/s41422-019-0254-4.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7156 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information. Springer Nature, 2019. https://doi.org/10.1038/s41534-019-0220-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7165 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.176297.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alcântara, André, Jason Bosch, Fahimeh Nazari, Gesa Hoffmann, Michelle C Gallei, Simon Uhse, Martin A. Darino, et al. “Systematic Y2H Screening Reveals Extensive Effector-Complex Formation.” Frontiers in Plant Science. Frontiers, 2019. https://doi.org/10.3389/fpls.2019.01437.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateřina Malínská, Johannes Leitner, Jan Petrášek, and Christian Luschnig. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-13543-1.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garriga, Edgar, Paolo Di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41587-019-0333-6.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7202 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong Kuan Wong, Giovanni Diana, Eleni Serafeimidou-Pouliou, Marian Fernández-Otero, et al. “A Stochastic Framework of Neurogenesis Underlies the Assembly of Neocortical Cytoarchitecture.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.51381.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klotz, Lisa, Olaf Wendler, Renato Frischknecht, Ryuichi Shigemoto, Holger Schulze, and Ralf Enz. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.” FASEB Journal. FASEB, 2019. https://doi.org/10.1096/fj.201901543R.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7201 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Renggli, Cedric, Saleh Ashkboos, Mehdi Aghagolzadeh, Dan-Adrian Alistarh, and Torsten Hoefler. “SparCML: High-Performance Sparse Communication for Machine Learning.” In International Conference for High Performance Computing, Networking, Storage and Analysis, SC. ACM, 2019. https://doi.org/10.1145/3295500.3356222.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data Reference | IST-REx-ID: 13067 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger Butlin. “Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes?” Dryad, 2019. https://doi.org/10.5061/DRYAD.TB2RBNZWK.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aganezov, Sergey, Ilya Zban, Vitalii Aksenov, Nikita Alexeev, and Michael C. Schatz. “Recovering Rearranged Cancer Chromosomes from Karyotype Graphs.” BMC Bioinformatics. BMC, 2019. https://doi.org/10.1186/s12859-019-3208-4.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7228
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” In 25th Anniversary of Euro-Par, 11725:317–33. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29400-7_23.
View
| DOI
| WoS