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
2021 | Published | Thesis | IST-REx-ID: 10199 | 
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10202 |
Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10203 |
Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10204 |
Topological signatures and stability of hexagonal close packing and Barlow stackings
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 | Published | Journal Article | IST-REx-ID: 10211 |
Optimal combination of linear and spectral estimators for generalized linear models
M. Mondelli, C. Thrampoulidis, R. Venkataramanan, Foundations of Computational Mathematics (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mondelli, C. Thrampoulidis, R. Venkataramanan, Foundations of Computational Mathematics (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10216 |
Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10217 |
Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 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: 10219 |
Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10220 |
Eliminating higher-multiplicity intersections. III. Codimension 2
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
2021 | Published | Journal Article | IST-REx-ID: 10221 |
Eigenstate thermalization hypothesis for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
2021 | Published | Journal Article | IST-REx-ID: 10222 |
The beauty of random polytopes inscribed in the 2-sphere
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
2021 | Published | Journal Article | IST-REx-ID: 10224 |
The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
2021 | Published | Book Chapter | IST-REx-ID: 10267
Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
View
| DOI
| PubMed | Europe PMC
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
2021 | Published | Book Chapter | IST-REx-ID: 10268
Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
View
| DOI
| PubMed | Europe PMC
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
2021 | Published | Journal Article | IST-REx-ID: 10270 |
A coupled mechano-biochemical model for cell polarity guided anisotropic root growth
M. Marconi, M. Gallemi, E. Benková, K. Wabnik, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Marconi, M. Gallemi, E. Benková, K. Wabnik, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10280 |
Metamachines of pluripotent colloids
A. Aubret, Q. Martinet, J.A. Palacci, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Aubret, Q. Martinet, J.A. Palacci, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10281 |
Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment
V. Vasic, M.S.O. Jones, D. Haslinger, L. Knaus, M.J. Schmeisser, G. Novarino, A.G. Chiocchetti, Genes 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
V. Vasic, M.S.O. Jones, D. Haslinger, L. Knaus, M.J. Schmeisser, G. Novarino, A.G. Chiocchetti, Genes 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10282 |
Mutually opposing activity of PIN7 splicing isoforms is required for auxin-mediated tropic responses in Arabidopsis thaliana
I. Kashkan, M. Hrtyan, K. Retzer, J. Humpolíčková, A. Jayasree, R. Filepová, Z. Vondráková, S. Simon, D. Rombaut, T.B. Jacobs, M.J. Frilander, J. Hejátko, J. Friml, J. Petrášek, K. Růžička, New Phytologist 233 (2021) 329–343.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
I. Kashkan, M. Hrtyan, K. Retzer, J. Humpolíčková, A. Jayasree, R. Filepová, Z. Vondráková, S. Simon, D. Rombaut, T.B. Jacobs, M.J. Frilander, J. Hejátko, J. Friml, J. Petrášek, K. Růžička, New Phytologist 233 (2021) 329–343.