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: 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 | Conference Paper | IST-REx-ID: 7183 | 
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 | Journal Article | IST-REx-ID: 7182 |
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 | Journal Article | IST-REx-ID: 7180 |
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 | Journal Article | IST-REx-ID: 7181 |
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 | Journal Article | IST-REx-ID: 7202 |
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 | Journal Article | IST-REx-ID: 7179 |
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 | Conference Paper | IST-REx-ID: 7201 |
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 |
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 | Journal Article | IST-REx-ID: 7214 |
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 | 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
2019 | Conference Paper | IST-REx-ID: 7216
Osang, Georg F, James Cook, Alex Fabrikant, and Marco Gruteser. “LiveTraVeL: Real-Time Matching of Transit Vehicle Trajectories to Transit Routes at Scale.” In 2019 IEEE Intelligent Transportation Systems Conference. IEEE, 2019. https://doi.org/10.1109/ITSC.2019.8917514.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7231 |
Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7340 |
Amin-Wetzel, Niko Paresh, Lisa Neidhardt, Yahui Yan, Matthias P. Mayer, and David Ron. “Unstructured Regions in IRE1α Specify BiP-Mediated Destabilisation of the Luminal Domain Dimer and Repression of the UPR.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.50793.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7422 |
Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.” The Journal of Chemical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5064867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7230 |
Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.” In 27th International Symposium on Graph Drawing and Network Visualization, 11904:230–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-35802-0_18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_4.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7420 |
Sahgal, Pranshu, Jonna H Alanko, Jaroslav Icha, Ilkka Paatero, Hellyeh Hamidi, Antti Arjonen, Mika Pietilä, Anne Rokka, and Johanna Ivaska. “GGA2 and RAB13 Promote Activity-Dependent Β1-Integrin Recycling.” Journal of Cell Science. The Company of Biologists, 2019. https://doi.org/10.1242/jcs.233387.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7423 |
Akemann, Gernot, Tomasz Checinski, Dangzheng Liu, and Eugene Strahov. “Finite Rank Perturbations in Products of Coupled Random Matrices: From One Correlated to Two Wishart Ensembles.” Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. Institute of Mathematical Statistics, 2019. https://doi.org/10.1214/18-aihp888.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7421
Toups, Melissa A, Nicolas Rodrigues, Nicolas Perrin, and Mark Kirkpatrick. “A Reciprocal Translocation Radically Reshapes Sex‐linked Inheritance in the Common Frog.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.14990.
View
| DOI
| WoS
| PubMed | Europe PMC