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.
5183 Publications
2019 |Published| 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 |Published| Conference Paper | IST-REx-ID: 7183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 7182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 7180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 7181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2019 |Published| Journal Article | IST-REx-ID: 7202 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou-Pouliou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. 2019. A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture. eLife. 8, e51381.
[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 L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. 2019. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 33(12), 13734–13746.
[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 C, Ashkboos S, Aghagolzadeh M, Alistarh D-A, Hoefler T. 2019. SparCML: High-performance sparse communication for machine learning. International Conference for High Performance Computing, Networking, Storage and Analysis, SC. SC: Conference for High Performance Computing, Networking, Storage and Analysis, a11.
[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 K, Zagrodzka Z, Faria R, Westram AM, Butlin R. 2019. Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?, Dryad, 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 S, Zban I, Aksenov V, Alexeev N, Schatz MC. 2019. Recovering rearranged cancer chromosomes from karyotype graphs. BMC Bioinformatics. 20, 641.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7225 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Merrin J. 2019. Frontiers in microfluidics, a teaching resource review. Bioengineering. 6(4), 109.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. 2019. Scalable FIFO channels for programming via communicating sequential processes. 25th Anniversary of Euro-Par. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11725, 317–333.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7216
Osang GF, Cook J, Fabrikant A, Gruteser M. 2019. LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. 2019 IEEE Intelligent Transportation Systems Conference. ITSC: Intelligent Transportation Systems Conference, 8917514.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kong H, Bartocci E, Jiang Y, Henzinger TA. 2019. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11750, 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. 2019. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 8, e50793.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7422 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sokolowski TR, Paijmans J, Bossen L, Miedema T, Wehrens M, Becker NB, Kaizu K, Takahashi K, Dogterom M, ten Wolde PR. 2019. eGFRD in all dimensions. The Journal of Chemical Physics. 150(5), 054108.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara AM, Derka M, Parada I. 2019. Extending simple drawings. 27th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LNCS, vol. 11904, 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750, 59–75.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7420 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sahgal P, Alanko JH, Icha J, Paatero I, Hamidi H, Arjonen A, Pietilä M, Rokka A, Ivaska J. 2019. GGA2 and RAB13 promote activity-dependent β1-integrin recycling. Journal of Cell Science. 132(11), jcs233387.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7423 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akemann G, Checinski T, Liu D, Strahov E. 2019. 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. 55(1), 441–479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv