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.
5373 Publications
2021 | Published | Thesis | IST-REx-ID: 10199 | 
V. Toman, “Improved verification techniques for concurrent systems,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10202 |
S. J. Pradhan et al., “Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10203 |
L. Sortino et al., “Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas,” Nature Communications, vol. 12. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10204 |
G. F. Osang, H. Edelsbrunner, and M. Saadatfar, “Topological signatures and stability of hexagonal close packing and Barlow stackings,” Soft Matter, vol. 17, no. 40. Royal Society of Chemistry , pp. 9107–9115, 2021.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10216 |
B. Chatterjee, S. Peri, and M. Sa, “Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10217 |
D.-A. Alistarh, R. Gelashvili, and G. Nadiradze, “Lower bounds for shared-memory leader election under bounded write contention,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10218 |
D.-A. Alistarh, R. Gelashvili, and J. Rybicki, “Brief announcement: Fast graphical population protocols,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10219 |
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, and J. Suomela, “Brief announcement: Sinkless orientation is hard also in the supported LOCAL model,” in 35th International Symposium on Distributed Computing, Freiburg, Germany, 2021, vol. 209.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10220 |
S. Avvakumov, I. Mabillard, A. B. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections. III. Codimension 2,” Israel Journal of Mathematics, vol. 245. Springer Nature, pp. 501–534, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10221 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Eigenstate thermalization hypothesis for Wigner matrices,” Communications in Mathematical Physics, vol. 388, no. 2. Springer Nature, pp. 1005–1048, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10222 |
A. Akopyan, H. Edelsbrunner, and A. Nikitenko, “The beauty of random polytopes inscribed in the 2-sphere,” Experimental Mathematics. Taylor and Francis, pp. 1–15, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10223 |
L. Li et al., “Cell surface and intracellular auxin signalling for H+ fluxes in root growth,” Nature, vol. 599, no. 7884. Springer Nature, pp. 273–277, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10224 |
D. Feliciangeli and R. Seiringer, “The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics,” Archive for Rational Mechanics and Analysis, vol. 242, no. 3. Springer Nature, pp. 1835–1906, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Book Chapter | IST-REx-ID: 10267
Y. Zhang, L. Li, and J. Friml, “Evaluation of gravitropism in non-seed plants,” in Plant Gravitropism, vol. 2368, E. B. Blancaflor, Ed. Springer Nature, 2021, pp. 43–51.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 10268
L. Hörmayer, J. Friml, and M. Glanc, “Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy,” in Plant Cell Division, vol. 2382, Humana Press, 2021, pp. 105–114.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10270 |
M. Marconi, M. Gallemi, E. Benková, and K. Wabnik, “A coupled mechano-biochemical model for cell polarity guided anisotropic root growth,” eLife, vol. 10. eLife Sciences Publications, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10280 |
A. Aubret, Q. Martinet, and J. A. Palacci, “Metamachines of pluripotent colloids,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10281 |
V. Vasic et al., “Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment,” Genes, vol. 12, no. 11. MDPI, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10285 |
G. Dubach, “On eigenvector statistics in the spherical and truncated unitary ensembles,” Electronic Journal of Probability, vol. 26. Institute of Mathematical Statistics, 2021.
[Published Version]
View
| Files available
| DOI