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.
6105 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9604 | 
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Counting Cells of Order-k Voronoi Tessellations in ℝ3 with Morse Theory.” In Leibniz International Proceedings in Informatics, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.16.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 9605 |
Corbet, René, Michael Kerber, Michael Lesnick, and Georg F Osang. “Computing the Multicover Bifiltration.” In Leibniz International Proceedings in Informatics, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.27.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9606 |
Tononi, A., Alberto Cappellaro, Giacomo Bighin, and L. Salasnich. “Propagation of First and Second Sound in a Two-Dimensional Fermi Superfluid.” Physical Review A. American Physical Society, 2021. https://doi.org/10.1103/PhysRevA.103.L061303.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9822 |
Zisis, Themistoklis, Jan Schwarz, Miriam Balles, Maibritt Kretschmer, Maria Nemethova, Remy P Chait, Robert Hauschild, et al. “Sequential and Switchable Patterning for Studying Cellular Processes under Spatiotemporal Control.” ACS Applied Materials and Interfaces. American Chemical Society, 2021. https://doi.org/10.1021/acsami.1c09850.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9641 |
Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells in Novelty Detection.” Neurobiology of Learning and Memory. Elsevier, 2021. https://doi.org/10.1016/j.nlm.2021.107486.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 9645 |
Asadi, Ali, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi. “Polynomial Reachability Witnesses via Stellensätze.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 772–87. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454076.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9829 |
Baranov, Dmitry, Tara Šverko, Taylor Moot, Helena R. Keller, Megan D. Klein, E. K. Vishnu, Daniel Balazs, and Katherine E. Shulenberger. “News in Nanocrystals Seminar: Self-Assembly of Early Career Researchers toward Globally Accessible Nanoscience.” ACS Nano. American Chemical Society, 2021. https://doi.org/10.1021/acsnano.1c03276.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9759 |
Bartlett, Michael John, Feyza N Arslan, Adriana Bankston, and Sarvenaz Sarabipour. “Ten Simple Rules to Improve Academic Work- Life Balance.” PLoS Computational Biology. Public Library of Science, 2021. https://doi.org/10.1371/journal.pcbi.1009124.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9907 |
Labajová, Naďa, Natalia S. Baranova, Miroslav Jurásek, Robert Vácha, Martin Loose, and Imrich Barák. “Cardiolipin-Containing Lipid Membranes Attract the Bacterial Cell Division Protein Diviva.” International Journal of Molecular Sciences. MDPI, 2021. https://doi.org/10.3390/ijms22158350.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9910 |
Slavskii, Sergei A., Ivan A. Kuznetsov, Tatiana I. Shashkova, Georgii A. Bazykin, Tatiana I. Axenovich, Fyodor Kondrashov, and Yurii S. Aulchenko. “The Limits of Normal Approximation for Adult Height.” European Journal of Human Genetics. Springer Nature, 2021. https://doi.org/10.1038/s41431-021-00836-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9952 |
Chaigne, Agathe, Matthew B. Smith, R. L. Cavestany, Edouard B Hannezo, Kevin J. Chalut, and Ewa K. Paluch. “Three-Dimensional Geometry Controls Division Symmetry in Stem Cell Colonies.” Journal of Cell Science. The Company of Biologists, 2021. https://doi.org/10.1242/jcs.255018.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 12767 |
Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.” In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-72016-2_2.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10552 |
Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” In 38th International Conference on Machine Learning, 2021.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9356 |
Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8544 |
Takeo, Yukari H., S. Andrew Shuster, Linnie Jiang, Miley Hu, David J. Luginbuhl, Thomas Rülicke, Ximena Contreras, et al. “GluD2- and Cbln1-Mediated Competitive Synaptogenesis Shapes the Dendritic Arbors of Cerebellar Purkinje Cells.” Neuron. Elsevier, 2021. https://doi.org/10.1016/j.neuron.2020.11.028.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Draft | Preprint | IST-REx-ID: 12077 |
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9620 |
Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” In Structural Information and Communication Complexity, 12810:3–12. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-79527-6_1.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 9466 |
Walter, Michael. “The Convergence of Slide-Type Reductions.” In Public-Key Cryptography – PKC 2021, 12710:45–67. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-75245-3_3.
[Published Version]
View
| Files available
| DOI
| WoS