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.
5507 Publications
2021 | Published | Journal Article | IST-REx-ID: 10179 | 
Bajaj, Sunanjay, et al. “Neurotransmitter Signaling Regulates Distinct Phases of Multimodal Human Interneuron Migration.” EMBO Journal, vol. 40, no. 23, e108714, Embo Press, 2021, doi:10.15252/embj.2021108714.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10180 |
Hoefler, Torsten, et al. “Sparsity in Deep Learning: Pruning and Growth for Efficient Inference and Training in Neural Networks.” Journal of Machine Learning Research, vol. 22, no. 241, Journal of Machine Learning Research, 2021, pp. 1–124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10184 |
Alderighi, Thomas, et al. “Volume Decomposition for Two-Piece Rigid Casting.” ACM Transactions on Graphics, vol. 40, no. 6, 272, Association for Computing Machinery, 2021, doi:10.1145/3478513.3480555.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10202 |
Pradhan, Saurabh J., et al. “Satb2 Acts as a Gatekeeper for Major Developmental Transitions during Early Vertebrate Embryogenesis.” Nature Communications, vol. 12, no. 1, 6094, Springer Nature, 2021, doi:10.1038/s41467-021-26234-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10203 |
Sortino, Luca, et al. “Bright Single Photon Emitters with Enhanced Quantum Efficiency in a Two-Dimensional Semiconductor Coupled with Dielectric Nano-Antennas.” Nature Communications, vol. 12, 6063, Springer Nature, 2021, doi:10.1038/s41467-021-26262-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10204 |
Osang, Georg F., et al. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” Soft Matter, vol. 17, no. 40, Royal Society of Chemistry , 2021, pp. 9107–15, doi:10.1039/d1sm00774b.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina, Anna, et al. “Into the Unknown: Active Monitoring of Neural Networks.” 21st International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 42–61, doi:10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10216 |
Chatterjee, Bapi, et al. “Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds.” 35th International Symposium on Distributed Computing, vol. 209, 52, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.52.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10217 |
Alistarh, Dan-Adrian, et al. “Lower Bounds for Shared-Memory Leader Election under Bounded Write Contention.” 35th International Symposium on Distributed Computing, vol. 209, 4, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.4.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10218 |
Alistarh, Dan-Adrian, et al. “Brief Announcement: Fast Graphical Population Protocols.” 35th International Symposium on Distributed Computing, vol. 209, 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.43.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10219 |
Korhonen, Janne, et al. “Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model.” 35th International Symposium on Distributed Computing, vol. 209, 58, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.58.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10220 |
Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections. III. Codimension 2.” Israel Journal of Mathematics, vol. 245, Springer Nature, 2021, pp. 501–534, doi:10.1007/s11856-021-2216-z.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10221 |
Cipolloni, Giorgio, et al. “Eigenstate Thermalization Hypothesis for Wigner Matrices.” Communications in Mathematical Physics, vol. 388, no. 2, Springer Nature, 2021, pp. 1005–1048, doi:10.1007/s00220-021-04239-z.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10222 |
Akopyan, Arseniy, et al. “The Beauty of Random Polytopes Inscribed in the 2-Sphere.” Experimental Mathematics, Taylor and Francis, 2021, pp. 1–15, doi:10.1080/10586458.2021.1980459.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10223 |
Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H+ Fluxes in Root Growth.” Nature, vol. 599, no. 7884, Springer Nature, 2021, pp. 273–77, doi:10.1038/s41586-021-04037-6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10224 |
Feliciangeli, Dario, and Robert 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, 2021, pp. 1835–1906, doi:10.1007/s00205-021-01715-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Book Chapter | IST-REx-ID: 10267
Zhang, Yuzhou, et al. “Evaluation of Gravitropism in Non-Seed Plants.” Plant Gravitropism, edited by Elison B Blancaflor, vol. 2368, Springer Nature, 2021, pp. 43–51, doi:10.1007/978-1-0716-1677-2_2.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 10268
Hörmayer, Lukas, et al. “Automated Time-Lapse Imaging and Manipulation of Cell Divisions in Arabidopsis Roots by Vertical-Stage Confocal Microscopy.” Plant Cell Division, vol. 2382, Humana Press, 2021, pp. 105–14, doi:10.1007/978-1-0716-1744-1_6.
View
| DOI
| PubMed | Europe PMC