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.

634 Publications


2021 | Published | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. Collecting coupons is faster with friends. In: Structural Information and Communication Complexity. Vol 12810. Springer Nature; 2021:3-12. doi:10.1007/978-3-030-79527-6_1
[Preprint] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9623 | OA
Caballero Mancebo S. Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. 2021. doi:10.15479/at:ista:9623
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9626
Su L, Hong T, Wang D, et al. Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. Materials Today Physics. 2021;20. doi:10.1016/j.mtphys.2021.100452
View | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9627 | OA
Lenz D, Weinmann T, Wirth M. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society. 2021;64(3):443-447. doi:10.1017/S0013091521000080
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9629 | OA
Yang Q, Xue S, Chan CJ, et al. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology. 2021;23:733–744. doi:10.1038/s41556-021-00700-2
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2021 | Research Data | IST-REx-ID: 9636 | OA
Higginbotham AP. Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.” 2021.
[Submitted Version] View | Files available
 

2021 | Published | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Fast and strong amplifiers of natural selection. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-24271-w
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9641 | OA
Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 2021;183. doi:10.1016/j.nlm.2021.107486
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9642 | OA
Venturino A, Schulz R, De Jesús-Cortés H, et al. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. 2021;36(1). doi:10.1016/j.celrep.2021.109313
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. Proving non-termination by program reversal. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1033-1048. doi:10.1145/3453483.3454093
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9645 | OA
Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:772-787. doi:10.1145/3453483.3454076
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Published | Conference Paper | IST-REx-ID: 9646 | OA
Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1171-1186. doi:10.1145/3453483.3454102
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9647 | OA
Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science. 2021;893:1-16. doi:10.1016/j.tcs.2021.05.023
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9656 | OA
Han H, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. 2021;232(2):510-522. doi:10.1111/nph.17617
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | 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. 33(9), 2981–3003.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9669 | OA
Reinhardt A, Cheng B. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 2021;12(1). doi:10.1038/s41467-020-20821-w
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9678 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ; 2021:129-139. doi:10.1145/3409964.3461785
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9679 | OA
Huber D, Marchukov OV, Hammer HW, Volosniev A. Morphology of three-body quantum states from machine learning. New Journal of Physics. 2021;23(6). doi:10.1088/1367-2630/ac0576
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10000 | OA
Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 2021;62(10). doi:10.1167/IOVS.62.10.14
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

year=2021

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed