Please note that IST 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.
2801 Publications
2020 | Preprint | IST-REx-ID: 7800 | 
Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, (n.d.).
View
| Files available
| Download Preprint (ext.)
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, (n.d.).
2020 | Conference Paper | IST-REx-ID: 7802 |
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, n.d.
View
| Download Preprint (ext.)
| arXiv
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, n.d.
2020 | Conference Paper | IST-REx-ID: 7803
Simple, deterministic, constant-round coloring in the congested clique
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (PODC 2020), Association for Computing Machinery, n.d.
View
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (PODC 2020), Association for Computing Machinery, n.d.
2020 | Journal Article | IST-REx-ID: 7804 |
MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
View
| Files available
| DOI
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 7805
Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance
A. Hurny, C. Cuesta, N. Cavallari, K. Ötvös, J. Duclercq, L. Dokládal, J.C. Montesinos López, M. Gallemi, H. Semeradova, T. Rauter, I. Stenzel, G. Persiau, F. Benade, R. Bhalearo, E. Sýkorová, A. Gorzsás, J. Sechet, G. Mouille, I. Heilmann, G. De Jaeger, J. Ludwig-Müller, E. Benková, Nature Communications 11 (2020) 2170.
View
| DOI
| PubMed | Europe PMC
A. Hurny, C. Cuesta, N. Cavallari, K. Ötvös, J. Duclercq, L. Dokládal, J.C. Montesinos López, M. Gallemi, H. Semeradova, T. Rauter, I. Stenzel, G. Persiau, F. Benade, R. Bhalearo, E. Sýkorová, A. Gorzsás, J. Sechet, G. Mouille, I. Heilmann, G. De Jaeger, J. Ludwig-Müller, E. Benková, Nature Communications 11 (2020) 2170.
2020 | Conference Paper | IST-REx-ID: 7806 |
Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
View
| DOI
| Download Published Version (ext.)
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
2020 | Conference Paper | IST-REx-ID: 7807 |
Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
2020 | Conference Paper | IST-REx-ID: 7808 |
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
2020 | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Journal Article | IST-REx-ID: 7814 |
SCOPES: Sparking curiosity through Open-Source platforms in education and science
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
View
| Files available
| DOI
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).