Please note that IST 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.

3454 Publications


2021 | Journal Article | IST-REx-ID: 9629
Yang, Qiutan, Shi-lei Xue, Chii Jou Chan, Markus Rempfler, Dario Vischi, Francisca Maurer-Gutierrez, Takashi Hiiragi, Edouard B Hannezo, and Prisca Liberali. “Cell Fate Coordinates Mechano-Osmotic Forces in Intestinal Crypt Formation.” Nature Cell Biology. Springer Nature, 2021. https://doi.org/10.1038/s41556-021-00700-2.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9641 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9679 | OA
Huber, David, Oleksandr V. Marchukov, Hans Werner Hammer, and Artem Volosniev. “Morphology of Three-Body Quantum States from Machine Learning.” New Journal of Physics. IOP Publishing, 2021. https://doi.org/10.1088/1367-2630/ac0576.
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9657 | OA
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell., koab18.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9656
Han, Huibin, Maciek Adamowski, Linlin Qi, SS Alotaibi, and Jiří Friml. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” New Phytologist. Wiley, 2021. https://doi.org/10.1111/nph.17617.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9627 | OA
Lenz, Daniel, Timon Weinmann, and Melchior Wirth. “Self-Adjoint Extensions of Bipartite Hamiltonians.” Proceedings of the Edinburgh Mathematical Society. Cambridge University Press, 2021. https://doi.org/10.1017/S0013091521000080.
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin C Guet. “Long Lived Transients in Gene Regulation.” Theoretical Computer Science. Elsevier, n.d. https://doi.org/10.1016/j.tcs.2021.05.023.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang, Jinyi, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1171–86. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454102.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9645 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics . Springer Nature, 2021. https://doi.org/10.1007/s10208-021-09520-0.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9678 | OA
Brandt, Sebastian, Barbara Keller, Joel Rybicki, Jukka Suomela, and Jara Uitto. “Efficient Load-Balancing through Distributed Token Dropping.” In Annual ACM Symposium on Parallelism in Algorithms and Architectures, 129–39, 2021. https://doi.org/10.1145/3409964.3461785.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat, Jean-Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” In 37th International Symposium on Computational Geometry (SoCG 2021), 189:17:1-17:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.17.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
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.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2102.12734. Association for Computing Machinery, n.d. https://doi.org/10.1145/3447928.3456704.
View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner, Herbert, Teresa Heiss, Vitaliy Kurlin , Philip Smith, and Mathijs Wintraecken. “The Density Fingerprint of a Periodic Point Set.” In 37th International Symposium on Computational Geometry (SoCG 2021), 189:32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.32.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.” In 15th International Conference on Algorithms and Computation, 12635:221–33. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-68211-8_18.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | 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.
View | DOI
 

2021 | Conference Paper | IST-REx-ID: 9210
Volhejn, Vaclav, and Christoph Lampert. “Does SGD Implicitly Optimize for Smoothness?” In 42nd German Conference on Pattern Recognition , 12544 LNCS:246–59. Springer, 2021. https://doi.org/10.1007/978-3-030-71278-5_18.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Fast and Strong Amplifiers of Natural Selection.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-24271-w.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications