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.

4950 Publications


2024 | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” In Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_20.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15311 | OA
Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-46799-3.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Browning, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.” Journal of Number Theory. Elsevier, 2024. https://doi.org/10.1016/j.jnt.2024.02.013.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Thesis | IST-REx-ID: 15101 | OA
Chen, JingJing. “Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15101.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14843
Chen, JingJing, Walter Kaufmann, Chong Chen, itaru Arai, Olena Kim, Ryuichi Shigemoto, and Peter M Jonas. “Developmental Transformation of Ca2+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.” Neuron. Elsevier, n.d. https://doi.org/10.1016/j.neuron.2023.12.002.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications