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.
9626 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 | 
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 |
Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Cremer, C. Pull, Trends in Parasitology (2024).
2024 |Published| Journal Article | IST-REx-ID: 17475 |
Exponentially many graphs are determined by their spectrum
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
[Published Version]
View
| Files available
| DOI
| arXiv
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
2024 | Research Data | IST-REx-ID: 17488 |
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 |Published| Journal Article | IST-REx-ID: 17495 |
RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
2024 |Published| Journal Article | IST-REx-ID: 17497 |
Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
2024 |Published| Book Chapter | IST-REx-ID: 18052
Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning
D. Kleindienst, T. Costanzo, R. Shigemoto, in:, J.H.R. Lübke, A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain, 1st ed., Springer Nature, New York, 2024, pp. 123–137.
View
| DOI
D. Kleindienst, T. Costanzo, R. Shigemoto, in:, J.H.R. Lübke, A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain, 1st ed., Springer Nature, New York, 2024, pp. 123–137.
2024 |Published| Journal Article | IST-REx-ID: 17517 |
NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17897
Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery
R. He, S. Wang, L. Yang, S. Horta, Y. Ding, C. Di, X. Zhang, Y. Xu, M. Ibáñez, Y. Zhou, S. Mebs, H. Dau, J.N. Hausmann, W. Huo, P.W. Menezes, A. Cabot, Energy and Environmental Science (2024).
View
| DOI
R. He, S. Wang, L. Yang, S. Horta, Y. Ding, C. Di, X. Zhang, Y. Xu, M. Ibáñez, Y. Zhou, S. Mebs, H. Dau, J.N. Hausmann, W. Huo, P.W. Menezes, A. Cabot, Energy and Environmental Science (2024).
2024 |Submitted| Preprint | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17896
Decipher the wavelength and intensity using photothermoelectric detectors
J. Zhou, S. Xu, Y. Shuai, Q. Sun, H. Ma, C. Wang, H. Wu, S. Tan, Z. Wang, L. Yang, ACS Applied Materials and Interfaces (2024).
View
| DOI
| PubMed | Europe PMC
J. Zhou, S. Xu, Y. Shuai, Q. Sun, H. Ma, C. Wang, H. Wu, S. Tan, Z. Wang, L. Yang, ACS Applied Materials and Interfaces (2024).
2024 |Published| Journal Article | IST-REx-ID: 17889 |
Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17888 |
Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
[Published Version]
View
| Files available
| DOI
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17892 |
Field theory of enzyme-substrate systems with restricted long-range interactions
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
[Published Version]
View
| Files available
| DOI
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17898
Overparametrization helps offline-to-online generalization of closed-loop control from pixels
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.
View
| DOI
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.
2024 |Published| Conference Paper | IST-REx-ID: 17893 |
Properties of the strong data processing constant for Rényi divergence
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
2024 | Research Data | IST-REx-ID: 17362 |
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, B. Vicoso, (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17895
Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–1591.
View
| DOI
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–1591.
2024 |Published| Conference Paper | IST-REx-ID: 17894
Variational characterizations of Sibson's α-mutual information
A.R. Esposito, M. Gastpar, I. Issa, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–2115.
View
| DOI
A.R. Esposito, M. Gastpar, I. Issa, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–2115.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 |
Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome
M.N. Elkrewi, B. Vicoso, PLoS Genetics (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M.N. Elkrewi, B. Vicoso, PLoS Genetics (2024).