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.
2030 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 20189 |
Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
[Published Version]
View
| Files available
| DOI
| WoS
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
2025 |
Published |
Journal Article |
IST-REx-ID: 20192 |
| 
|
21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations
H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20203 |
Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators : Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20212
Unraveling the role of Pten in cortical stem cell lineage progression using MADM
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20225 |
Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20260 |
|
|
Burning or collapsing the medial axis is unstable
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica 4 (2025) 811–828.
[Published Version]
View
| Files available
| DOI
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica 4 (2025) 811–828.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Design and control of deformable structures: From PCB lighting displays to elastomer robots
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 20407 |
|
|
LieDetect: Detection of representation orbits of compact Lie groups from point clouds
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20431 |
Single-cell migration along and against confined haptotactic gradients
I.C. Fortunato, D. Brückner, S. Grosser, R. Nautiyal, L. Rossetti, M. Bosch-Padrós, J. Trebicka, P. Roca-Cusachs, R. Sunyer, E.B. Hannezo, X. Trepat, Nature Physics 21 (2025) 1638–1647.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
I.C. Fortunato, D. Brückner, S. Grosser, R. Nautiyal, L. Rossetti, M. Bosch-Padrós, J. Trebicka, P. Roca-Cusachs, R. Sunyer, E.B. Hannezo, X. Trepat, Nature Physics 21 (2025) 1638–1647.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20441 |
Keratins act as global coordinators of tissue spreading through mechanosensitive feedback
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 20478 |
|
|
Decorrelation transition in the Wigner minor process
Z. Bao, G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Probability Theory and Related Fields (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
Z. Bao, G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Probability Theory and Related Fields (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20485
Dissecting gap junction biology using the C. elegans nervous system
M. Misova, Dissecting Gap Junction Biology Using the C. Elegans Nervous System, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Misova, Dissecting Gap Junction Biology Using the C. Elegans Nervous System, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20493 |
|
|
Triples as links between binary Black Hole mergers, their electromagnetic counterparts, and galactic Black Holes
S. Naoz, Z. Haiman, E. Quataert, L. Holzknecht, The Astrophysical Journal Letters 992 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Naoz, Z. Haiman, E. Quataert, L. Holzknecht, The Astrophysical Journal Letters 992 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20494 |
|
|
GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole
Marshall MA, Yue M, Eilers AC, Scholtz J, Perna M, Willott CJ, Maiolino R, Übler H, Arribas S, Bunker AJ, Charlot S, Rodríguez Del Pino B, Böker T, Carniani S, Circosta C, Cresci G, D’Eugenio F, Jones GC, Venturi G, Bordoloi R, Kashino D, Mackenzie R, Matthee JJ, Naidu R, Simcoe RA. 2025. GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole. Astronomy & Astrophysics. 702, A50.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Marshall MA, Yue M, Eilers AC, Scholtz J, Perna M, Willott CJ, Maiolino R, Übler H, Arribas S, Bunker AJ, Charlot S, Rodríguez Del Pino B, Böker T, Carniani S, Circosta C, Cresci G, D’Eugenio F, Jones GC, Venturi G, Bordoloi R, Kashino D, Mackenzie R, Matthee JJ, Naidu R, Simcoe RA. 2025. GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole. Astronomy & Astrophysics. 702, A50.
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 20495 |
Radiative corrections to the dynamics of a tracer particle coupled to a Bose ccalar field
E. Cárdenas, D.J. Mitrouskas, Annales Henri Poincare (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Cárdenas, D.J. Mitrouskas, Annales Henri Poincare (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 20528
Formation of metallocene single-molecule junctions via metal–metal bonds
W. Lee, C.R. Prindle, W. Shi, S. Louie, M.L. Steigerwald, L. Venkataraman, Nano Letters 25 (2025) 3316–3322.
View
| DOI
| PubMed | Europe PMC
W. Lee, C.R. Prindle, W. Shi, S. Louie, M.L. Steigerwald, L. Venkataraman, Nano Letters 25 (2025) 3316–3322.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20551 |
Symplectic-prequantum structures and dynamics on the codimension-2 shape space
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.