Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10763 Publications
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 | 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 | 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: 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).
2021 | Published | Journal Article | IST-REx-ID: 10404 |
Interactive analysis of CNN robustness
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
2021 | Published | Journal Article | IST-REx-ID: 9647 |
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
[Published Version]
View
| Files available
| DOI
| WoS
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Published | Journal Article | IST-REx-ID: 8912 |
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
[Submitted Version]
View
| Files available
| DOI
| WoS
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).