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.
5870 Publications
2021 | Published | Journal Article | IST-REx-ID: 9910 | 
The limits of normal approximation for adult height
Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021
2021 | Published | Journal Article | IST-REx-ID: 10606 |
Combined effect of cell geometry and polarity domains determines the orientation of unequal division
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10218 |
Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Published | Journal Article | IST-REx-ID: 9259 |
Shape and function of interstitial chemokine CCL21 gradients are independent of heparan sulfates produced by lymphatic endothelium
K. Vaahtomeri, C. Moussion, R. Hauschild, M.K. Sixt, Frontiers in Immunology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Vaahtomeri, C. Moussion, R. Hauschild, M.K. Sixt, Frontiers in Immunology 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10365 |
Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation
M. Luciano, S. Xue, W.H. De Vos, L. Redondo-Morata, M. Surin, F. Lafont, E.B. Hannezo, S. Gabriele, Nature Physics 17 (2021) 1382–1390.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Luciano, S. Xue, W.H. De Vos, L. Redondo-Morata, M. Surin, F. Lafont, E.B. Hannezo, S. Gabriele, Nature Physics 17 (2021) 1382–1390.
2021 | Published | Journal Article | IST-REx-ID: 9629 |
Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
2021 | Published | Journal Article | IST-REx-ID: 9244 |
DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome
S. Hankeova, J. Salplachta, T. Zikmund, M. Kavkova, N. Van Hul, A. Brinek, V. Smekalova, J. Laznovsky, F. Dawit, J. Jaros, V. Bryja, U. Lendahl, E. Ellis, A. Nemeth, B. Fischler, E.B. Hannezo, J. Kaiser, E.R. Andersson, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Hankeova, J. Salplachta, T. Zikmund, M. Kavkova, N. Van Hul, A. Brinek, V. Smekalova, J. Laznovsky, F. Dawit, J. Jaros, V. Bryja, U. Lendahl, E. Ellis, A. Nemeth, B. Fischler, E.B. Hannezo, J. Kaiser, E.R. Andersson, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
View
| DOI
| WoS
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021
2021 | Published | Conference Paper | IST-REx-ID: 10854 |
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
2021 | Published | Journal Article | IST-REx-ID: 10855 |
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
2021 | Research Data Reference | IST-REx-ID: 13061 |
Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 12767 |
On satisficing in quantitative games
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
2021 | Research Data Reference | IST-REx-ID: 15284 |
RevTerm
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Stochastic processes with expected stopping time
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10847 |
Solving partially observable stochastic shortest-path games
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).