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.
6313 Publications
2021 |
Published |
Conference Paper |
IST-REx-ID: 9356 |
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9359 |
Homological stability and densities of generalized configuration spaces
Q.P. Ho, Geometry & Topology 25 (2021) 813–912.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
Q.P. Ho, Geometry & Topology 25 (2021) 813–912.
2021 |
Published |
Journal Article |
IST-REx-ID: 9368 |
mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth
W. Kong, S. Tan, Q. Zhao, D. Lin, Z. Xu, J. Friml, H. Xue, Plant Physiology 186 (2021) 2003–2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
W. Kong, S. Tan, Q. Zhao, D. Lin, Z. Xu, J. Friml, H. Xue, Plant Physiology 186 (2021) 2003–2020.
2021 |
Published |
Journal Article |
IST-REx-ID: 9374 |
Homage to Felsenstein 1981, or why are there so few/many species?
R.K. Butlin, M.R. Servedio, C.M. Smadja, C. Bank, N.H. Barton, S.M. Flaxman, T. Giraud, R. Hopkins, E.L. Larson, M.E. Maan, J. Meier, R. Merrill, M.A.F. Noor, D. Ortiz‐Barrientos, A. Qvarnström, Evolution 75 (2021) 978–988.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
R.K. Butlin, M.R. Servedio, C.M. Smadja, C. Bank, N.H. Barton, S.M. Flaxman, T. Giraud, R. Hopkins, E.L. Larson, M.E. Maan, J. Meier, R. Merrill, M.A.F. Noor, D. Ortiz‐Barrientos, A. Qvarnström, Evolution 75 (2021) 978–988.
2021 |
Published |
Journal Article |
IST-REx-ID: 9375 |
Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9376 |
Computational design of planar multistable compliant structures
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9379 |
The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse
M. Bolger-Munro, K. Choi, F. Cheung, Y.T. Liu, M. Dang-Lawson, N. Deretic, C. Keane, M.R. Gold, Frontiers in Cell and Developmental Biology 9 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Bolger-Munro, K. Choi, F. Cheung, Y.T. Liu, M. Dang-Lawson, N. Deretic, C. Keane, M.R. Gold, Frontiers in Cell and Developmental Biology 9 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9380 |
High rates of genome rearrangements and pathogenicity of Shigella spp
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9381 |
Mistakes can stabilise the dynamics of rock-paper-scissors games
M. Kleshnina, S.S. Streipert, J.A. Filar, K. Chatterjee, PLoS Computational Biology 17 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Kleshnina, S.S. Streipert, J.A. Filar, K. Chatterjee, PLoS Computational Biology 17 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9383 |
Defining the speciation continuum
S. Stankowski, M. Ravinet, Evolution 75 (2021) 1256–1273.
[Published Version]
View
| Files available
| DOI
| WoS
S. Stankowski, M. Ravinet, Evolution 75 (2021) 1256–1273.
2021 |
Research Data |
IST-REx-ID: 9389 |
Research data for "Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states"
M. Valentini, (2021).
[Published Version]
View
| Files available
| DOI
M. Valentini, (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9393 |
Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
2021 |
Published |
Journal Article |
IST-REx-ID: 9394 |
Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis
E.L. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, Evolution Letters 5 (2021) 196–213.
[Published Version]
View
| Files available
| DOI
| WoS
E.L. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, Evolution Letters 5 (2021) 196–213.
2021 |
Book Chapter |
IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 |
Published |
Journal Article |
IST-REx-ID: 9408 |
Computational design of skinned Quad-Robots
X. Feng, J. Liu, H. Wang, Y. Yang, H. Bao, B. Bickel, W. Xu, IEEE Transactions on Visualization and Computer Graphics 27 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
X. Feng, J. Liu, H. Wang, Y. Yang, H. Bao, B. Bickel, W. Xu, IEEE Transactions on Visualization and Computer Graphics 27 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9411 |
Regimes of motion of magnetocapillary swimmers
A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 9414 |
Spatial variation of microtubule depolymerization in large asters
K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
2021 |
Published |
Conference Paper |
IST-REx-ID: 9416 |
The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9418 |
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9431 |
Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).