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.
7668 Publications
2021 |
Published |
Journal Article |
IST-REx-ID: 10184 |
Alderighi, Thomas, Luigi Malomo, Bernd Bickel, Paolo Cignoni, and Nico Pietroni. “Volume Decomposition for Two-Piece Rigid Casting.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/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, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10202 |
Pradhan, Saurabh J., Puli Chandramouli Reddy, Michael Smutny, Ankita Sharma, Keisuke Sako, Meghana S. Oak, Rini Shah, et al. “Satb2 Acts as a Gatekeeper for Major Developmental Transitions during Early Vertebrate Embryogenesis.” Nature Communications. Springer Nature, 2021. https://doi.org/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, Panaiot G. Zotev, Catherine L. Phillips, Alistair J. Brash, Javier Cambiasso, Elena Marensi, A. Mark Fox, Stefan A. Maier, Riccardo Sapienza, and Alexander I. Tartakovskii. “Bright Single Photon Emitters with Enhanced Quantum Efficiency in a Two-Dimensional Semiconductor Coupled with Dielectric Nano-Antennas.” Nature Communications. Springer Nature, 2021. https://doi.org/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, Herbert Edelsbrunner, and Mohammad Saadatfar. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” Soft Matter. Royal Society of Chemistry , 2021. https://doi.org/10.1039/d1sm00774b.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Conference Paper |
IST-REx-ID: 10206 |
Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.” In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021. https://doi.org/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, Sathya Peri, and Muktikanta Sa. “Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds.” In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.DISC.2021.52.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10217 |
Alistarh, Dan-Adrian, Rati Gelashvili, and Giorgi Nadiradze. “Lower Bounds for Shared-Memory Leader Election under Bounded Write Contention.” In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.DISC.2021.4.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10218 |
Alistarh, Dan-Adrian, Rati Gelashvili, and Joel Rybicki. “Brief Announcement: Fast Graphical Population Protocols.” In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.DISC.2021.43.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10219 |
Korhonen, Janne, Ami Paz, Joel Rybicki, Stefan Schmid, and Jukka Suomela. “Brief Announcement: Sinkless Orientation Is Hard Also in the Supported LOCAL Model.” In 35th International Symposium on Distributed Computing, Vol. 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.DISC.2021.58.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10220 |
Avvakumov, Sergey, Isaac Mabillard, Arkadiy B. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections. III. Codimension 2.” Israel Journal of Mathematics. Springer Nature, 2021. https://doi.org/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, László Erdös, and Dominik J Schröder. “Eigenstate Thermalization Hypothesis for Wigner Matrices.” Communications in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s00220-021-04239-z.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10222 |
Akopyan, Arseniy, Herbert Edelsbrunner, and Anton Nikitenko. “The Beauty of Random Polytopes Inscribed in the 2-Sphere.” Experimental Mathematics. Taylor and Francis, 2021. https://doi.org/10.1080/10586458.2021.1980459.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10223 |
Li, Lanxin, Inge Verstraeten, Mark Roosjen, Koji Takahashi, Lesia Rodriguez Solovey, Jack Merrin, Jian Chen, et al. “Cell Surface and Intracellular Auxin Signalling for H+ Fluxes in Root Growth.” Nature. Springer Nature, 2021. https://doi.org/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. Springer Nature, 2021. https://doi.org/10.1007/s00205-021-01715-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10270 |
Marconi, Marco, Marçal Gallemi, Eva Benková, and Krzysztof Wabnik. “A Coupled Mechano-Biochemical Model for Cell Polarity Guided Anisotropic Root Growth.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/elife.72132.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10271 |
Qi, Qin, S. Andreas Angermayr, and Mark Tobias Bollenbach. “Uncovering Key Metabolic Determinants of the Drug Interactions Between Trimethoprim and Erythromycin in Escherichia Coli.” Frontiers in Microbiology. Frontiers, 2021. https://doi.org/10.3389/fmicb.2021.760017.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10280 |
Aubret, Antoine, Quentin Martinet, and Jérémie A Palacci. “Metamachines of Pluripotent Colloids.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-26699-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Journal Article |
IST-REx-ID: 10281 |
Vasic, Verica, Mattson S.O. Jones, Denise Haslinger, Lisa Knaus, Michael J. Schmeisser, Gaia Novarino, and Andreas G. Chiocchetti. “Translating the Role of Mtor-and Ras-Associated Signalopathies in Autism Spectrum Disorder: Models, Mechanisms and Treatment.” Genes. MDPI, 2021. https://doi.org/10.3390/genes12111746.
[Published Version]
View
| Files available
| DOI
| WoS