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.
4957 Publications
2019 | Published | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View
| DOI
| WoS
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7117 | 
X-CAD: Optimizing CAD Models with Extended Finite Elements
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 7122
Gradient compression for communication-limited convex optimization
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
View
| DOI
| WoS
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
2019 | Published | Thesis | IST-REx-ID: 7132 |
Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 7136 |
Strong chain rules for min-entropy under few bits spoiled
M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.
2019 | Published | Journal Article | IST-REx-ID: 7143 |
Defying gravity: a plant's quest for moisture
S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
2019 | Published | Journal Article | IST-REx-ID: 7145 |
End-to-end correlated subgap states in hybrid nanowires
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7146
Molecular and evolutionary dynamics of animal sex-chromosome turnover
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
View
| DOI
| WoS
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
2019 | Published | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
| WoS
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 | Research Data | IST-REx-ID: 7154 |
Supplementary data for "Programming temporal morphing of self-actuated shells"
R. Guseinov, (2019).
[Published Version]
View
| Files available
| DOI
R. Guseinov, (2019).
2019 | Published | Journal Article | IST-REx-ID: 7156 |
Electro-optic entanglement source for microwave to telecom quantum state transfer
A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7158 |
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
| WoS
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 | Published | Journal Article | IST-REx-ID: 7165 |
Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
2019 | Published | Book (Editor) | IST-REx-ID: 7171
Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
View
| Files available
| DOI
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
2019 | Published | Thesis | IST-REx-ID: 7172 |
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
2019 | Published | Journal Article | IST-REx-ID: 7179 |
Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
2019 | Published | Journal Article | IST-REx-ID: 7180 |
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7181 |
Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
2019 | Published | Journal Article | IST-REx-ID: 7182 |
Systematic Y2H screening reveals extensive effector-complex formation
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).