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.
5288 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14317 | 
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Anastos, Michael, David Fabian, Alp Müyesser, and Tibor Szabó. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2023. https://doi.org/10.37236/11714.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14320 |
Henderson, Paul M, Areg Ghazaryan, Alexander A. Zibrov, Andrea F. Young, and Maksym Serbyn. “Deep Learning Extraction of Band Structure Parameters from Density of States: A Case Study on Trilayer Graphene.” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/physrevb.108.125411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14321 |
Al Hyder, Ragheed, Alberto Cappellaro, Mikhail Lemeshko, and Artem Volosniev. “Achiral Dipoles on a Ferromagnet Can Affect Its Magnetization Direction.” The Journal of Chemical Physics. AIP Publishing, 2023. https://doi.org/10.1063/5.0165806.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14342 |
Lorenc, Dusan, and Zhanybek Alpichshev. “Mid-Infrared Kerr Index Evaluation via Cross-Phase Modulation with a near-Infrared Probe Beam.” Applied Physics Letters. AIP Publishing, 2023. https://doi.org/10.1063/5.0161713.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14343 |
Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.70.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14344 |
Anastos, Michael. “Fast Algorithms for Solving the Hamilton Cycle Problem with High Probability.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2023:2286–2323. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977554.ch88.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14360 |
Sitarska, Ewa, Silvia Dias Almeida, Marianne Sandvold Beckwith, Julian A Stopp, Jakub Czuchnowski, Marc Siggel, Rita Roessner, et al. “Sensing Their Plasma Membrane Curvature Allows Migrating Cells to Circumvent Obstacles.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41173-1.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14362 |
Castellano, Ilaria, Anna Giordano Bruno, and Nicolò Zava. “Weakly Weighted Generalised Quasi-Metric Spaces and Semilattices.” Theoretical Computer Science. Elsevier, 2023. https://doi.org/10.1016/j.tcs.2023.114129.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14363 |
Maes, Margaret E, Gloria Colombo, Florianne E Schoot Uiterkamp, Felix Sternberg, Alessandro Venturino, Elena E. Pohl, and Sandra Siegert. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” IScience. Elsevier, 2023. https://doi.org/10.1016/j.isci.2023.107780.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14364 |
Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. “Why Extension-Based Proofs Fail.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/20M1375851.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14378 |
Ucar, Mehmet C, Edouard B Hannezo, Emmi Tiilikainen, Inam Liaqat, Emma Jakobsson, Harri Nurmi, and Kari Vaahtomeri. “Self-Organized and Directed Branching Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” Nature Communications. Springer Nature, 2023. https://doi.org/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, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals. Elsevier, 2023. https://doi.org/10.1016/j.synthmet.2023.117463.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14401 |
Maes, Margaret E, Ryan J. Donahue, Cassandra L. Schlamp, Olivia J. Marola, Richard T. Libby, and Robert W. Nickells. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration. Springer Nature, 2023. https://doi.org/10.1186/s13024-023-00659-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14402 |
Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz, Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla De Arcangelis, and Oren Shriki. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” Cell Reports. Elsevier, 2023. https://doi.org/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. AAAS, 2023. https://doi.org/10.1126/science.adk3070.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Hypernode Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14406 |
Babkin, Serafim, Jonas F. Karcher, Igor S. Burmistrov, and Alexander D. Mirlin. “Generalized Surface Multifractality in Two-Dimensional Disordered Systems.” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.108.104205.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14409 |
Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer Complex.” European Journal of Organic Chemistry. Wiley, 2023. https://doi.org/10.1002/ejoc.202300769.
[Published Version]
View
| Files available
| DOI
| WoS