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.

9828 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14317 | OA
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14318 | OA
Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14319 | OA
Anastos, Michael, et al. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics, vol. 30, no. 3, P3.10, Electronic Journal of Combinatorics, 2023, doi:10.37236/11714.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14320 | OA
Henderson, Paul M., et al. “Deep Learning Extraction of Band Structure Parameters from Density of States: A Case Study on Trilayer Graphene.” Physical Review B, vol. 108, no. 12, 125411, American Physical Society, 2023, doi:10.1103/physrevb.108.125411.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14321 | OA
Al Hyder, Ragheed, et al. “Achiral Dipoles on a Ferromagnet Can Affect Its Magnetization Direction.” The Journal of Chemical Physics, vol. 159, no. 10, 104103, AIP Publishing, 2023, doi:10.1063/5.0165806.
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14342 | OA
Lorenc, Dusan, and Zhanybek Alpichshev. “Mid-Infrared Kerr Index Evaluation via Cross-Phase Modulation with a near-Infrared Probe Beam.” Applied Physics Letters, vol. 123, no. 9, 091104, AIP Publishing, 2023, doi:10.1063/5.0161713.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14343 | OA
Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma, vol. 11, e74, Cambridge University Press, 2023, doi:10.1017/fms.2023.70.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14344 | OA
Anastos, Michael. “Fast Algorithms for Solving the Hamilton Cycle Problem with High Probability.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2023, Society for Industrial and Applied Mathematics, 2023, pp. 2286–323, doi:10.1137/1.9781611977554.ch88.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14360 | OA
Sitarska, Ewa, et al. “Sensing Their Plasma Membrane Curvature Allows Migrating Cells to Circumvent Obstacles.” Nature Communications, vol. 14, 5644, Springer Nature, 2023, doi:10.1038/s41467-023-41173-1.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14362 | OA
Castellano, Ilaria, et al. “Weakly Weighted Generalised Quasi-Metric Spaces and Semilattices.” Theoretical Computer Science, vol. 977, 114129, Elsevier, 2023, doi:10.1016/j.tcs.2023.114129.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14363 | OA
Maes, Margaret E., et al. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” IScience, vol. 26, no. 10, 107780, Elsevier, 2023, doi:10.1016/j.isci.2023.107780.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14364 | OA
Alistarh, Dan-Adrian, et al. “Why Extension-Based Proofs Fail.” SIAM Journal on Computing, vol. 52, no. 4, Society for Industrial and Applied Mathematics, 2023, pp. 913–44, doi:10.1137/20M1375851.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14368 | OA
Accogli A, Lin S-J, Severino M, Kim S-H, Huang K, Rocca C, Landsverk M, Zaki MS, Al-Maawali A, Srinivasan VM, Al-Thihli K, Schaefer GB, Davis M, Tonduti D, Doneda C, Marten LM, Mühlhausen C, Gomez M, Lamantea E, Mena R, Nizon M, Procaccio V, Begtrup A, Telegrafi A, Cui H, Schulz HL, Mohr J, Biskup S, Loos MA, Aráoz HV, Salpietro V, Keppen LD, Chitre M, Petree C, Raymond L, Vogt J, Sawyer LB, Basinger AA, Pedersen SV, Pearson TS, Grange DK, Lingappa L, McDunnah P, Horvath R, Cognè B, Isidor B, Hahn A, Gripp KW, Jafarnejad SM, Østergaard E, Prada CE, Ghezzi D, Gowda VK, Taylor RW, Sonenberg N, Houlden H, Sissler M, Varshney GK, Maroofian R. 2023. Clinical, neuroradiological, and molecular characterization of mitochondrial threonyl-tRNA-synthetase (TARS2)-related disorder. Genetics in Medicine. 25(11), 100938.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14377 | OA
Andersen, Benjamin H., et al. “Symmetry-Restoring Crossover from Defect-Free to Defect-Laden Turbulence in Polar Active Matter.” Physical Review Fluids, vol. 8, no. 6, 063101, American Physical Society, 2023, doi:10.1103/physrevfluids.8.063101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14378 | OA
Ucar, Mehmet C., et al. “Self-Organized and Directed Branching Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” Nature Communications, vol. 14, 5878, Springer Nature, 2023, doi:10.1038/s41467-023-41456-7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14379
Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
View | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 14401 | OA
Maes, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration, vol. 18, 67, Springer Nature, 2023, doi:10.1186/s13024-023-00659-8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14402 | OA
Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” Cell Reports, vol. 42, no. 10, 113162, Elsevier, 2023, doi:10.1016/j.celrep.2023.113162.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14404
Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” Science, vol. 381, no. 6665, AAAS, 2023, pp. 1413–14, doi:10.1126/science.adk3070.
View | DOI | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
Bartocci, Ezio, et al. “Hypernode Automata.” 34th International Conference on Concurrency Theory, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.21.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed