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.

12143 Publications


2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18121 | OA
Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. SPADE: Sparsity-guided debugging for deep neural networks. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:45955-45987.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1012008
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
Svoboda J, Chatterjee K. Density amplifiers of cooperation for spatial games. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(50). doi:10.1073/pnas.2405605121
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18689 | OA
Gallei MC, Truckenbrodt SM, Kreuzinger C, et al. Super-resolution expansion microscopy in plant roots. bioRxiv. doi:10.1101/2024.02.21.581330
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18688 | OA
Watson JF, Vargas-Barroso V, Morse-Mora RJ, et al. Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory. bioRxiv. doi:10.1101/2024.05.02.592169
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18681
Tavakoli M. Developing molecular and structural tools for studying brain architecture with super resolution expansion microscopy. LICONN: Molecularly-informed connectomics reconstruction with light microscopy. 2024. doi:10.15479/at:ista:18681
[Published Version] View | Files available | DOI
 

earlier version | 2024 | Draft | Preprint | IST-REx-ID: 18677 | OA
Tavakoli M, Lyudchik J, Januszewski M, et al. Light-microscopy based dense connectomic reconstruction of mammalian brain tissue. bioRxiv. doi:10.1101/2024.03.01.582884
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 14793 | OA
Valentini M, Sagi O, Baghumyan L, et al. Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium. Nature Communications. 2024;15. doi:10.1038/s41467-023-44114-0
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 12312 | OA
Lombardo D, Verzobio M. On the local-global principle for isogenies of abelian surfaces. Selecta Mathematica. 2024;30(2). doi:10.1007/s00029-023-00908-0
[Published Version] View | Files available | DOI | WoS | arXiv
 

earlier version | 2024 | Draft | Preprint | IST-REx-ID: 19425 | OA
Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. Anomalous multi-gap topological phases in periodically driven quantum  rotors. arXiv. doi:10.48550/arXiv.2408.16848
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17127 | OA
Wang V, Xu MW. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. 2024;56(8):2718-2726. doi:10.1112/blms.13095
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 15338 | OA
Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024;23(6):2859-2912. doi:10.1017/S1474748024000161
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 15337 | OA
Bonolis D, Browning TD, Huang Z. Density of rational points on some quadric bundle threefolds. Mathematische Annalen. 2024;390:4123-4207. doi:10.1007/s00208-024-02854-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18930 | OA | PlanS
Elsholtz C, Wurzinger L. Sumsets in the set of squares. The Quarterly Journal of Mathematics. 2024;75(4):1243-1254. doi:10.1093/qmath/haae044
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 15312 | OA
Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 19051 | OA
Browning TD. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2024;2024(13):10165-10168. doi:10.1093/imrn/rnae066
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 10018 | OA
Derenthal U, Wilsch FA. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. 2024;23(3):1259-1294. doi:10.1017/S1474748022000482
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17447 | OA
Wang V. Special cubic zeros and the dual variety. Journal of the London Mathematical Society. 2024;110(3). doi:10.1112/jlms.12975
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17323 | OA
Browning TD, Verzobio M. Strong divisibility sequences and sieve methods. Mathematika. 2024;70(4). doi:10.1112/mtk.12269
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed