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.
5384 Publications
2023 | Research Data Reference | IST-REx-ID: 13122 | 
Entangling microwaves with light
R. Sahu, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Sahu, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12697 |
Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
2023 | Published | Journal Article | IST-REx-ID: 14334 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12562
Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512.
View
| DOI
| WoS
| PubMed | Europe PMC
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512.
2023 | Published | Journal Article | IST-REx-ID: 12406 |
Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
2023 | Published | Journal Article | IST-REx-ID: 13443 |
Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
2023 | Published | Thesis | IST-REx-ID: 14374 |
Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14339 |
Antigravitropic PIN polarization maintains non-vertical growth in lateral roots
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.
2023 | Published | Journal Article | IST-REx-ID: 14737 |
Functional John and Löwner conditions for pairs of log-concave functions
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 | Published | Journal Article | IST-REx-ID: 14650 |
Non-equilibrium dynamics of dipolar polarons
A. Volosniev, G. Bighin, L. Santos, L.A. Peña Ardila, SciPost Physics 15 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Volosniev, G. Bighin, L. Santos, L.A. Peña Ardila, SciPost Physics 15 (2023).
2023 | Published | Journal Article | IST-REx-ID: 8682 |
The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
2023 | Published | Journal Article | IST-REx-ID: 13049 |
PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Published | Journal Article | IST-REx-ID: 14779 |
The decaying near‐surface boundary layer of a retreating alpine glacier
T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, Á. Ayala, F. Pellicciotti, Geophysical Research Letters 50 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, Á. Ayala, F. Pellicciotti, Geophysical Research Letters 50 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View
| DOI
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.