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.
10763 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18155 | 
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| DOI
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 12738 |
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design 63 (2024) 40–80.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design 63 (2024) 40–80.
2024 | Published | Journal Article | IST-REx-ID: 15339 |
Hitchin map on even very stable upward flows
M. González, T. Hausel, International Journal of Mathematics 35 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. González, T. Hausel, International Journal of Mathematics 35 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18900 |
Modular completely Dirichlet forms as squares of derivations
M. Wirth, International Mathematics Research Notices 2024 (2024) 10597–10614.
[Published Version]
View
| Files available
| DOI
M. Wirth, International Mathematics Research Notices 2024 (2024) 10597–10614.
2024 | Published | Conference Paper | IST-REx-ID: 18925
Congestion-free rerouting of network flows: Hardness and an FPT algorithm
E. Ceylan, K. Chatterjee, S. Schmid, J. Svoboda, in:, NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE, 2024.
View
| DOI
E. Ceylan, K. Chatterjee, S. Schmid, J. Svoboda, in:, NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15357 |
Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals
Y. Liu, S. Lee, C. Fiedler, M.C. Spadaro, C. Chang, M. Li, M. Hong, J. Arbiol, M. Ibáñez, Chemical Engineering Journal 490 (2024).
[Published Version]
View
| Files available
| DOI
Y. Liu, S. Lee, C. Fiedler, M.C. Spadaro, C. Chang, M. Li, M. Hong, J. Arbiol, M. Ibáñez, Chemical Engineering Journal 490 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods 8 (2024).
View
| DOI
| PubMed | Europe PMC
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods 8 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15182 |
A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se
T. Kleinhanns, F. Milillo, M. Calcabrini, C. Fiedler, S. Horta, D. Balazs, M.J. Strumolo, R. Hasler, J. Llorca, M. Tkadletz, R.L. Brutchey, M. Ibáñez, Advanced Energy Materials 14 (2024).
[Published Version]
View
| Files available
| DOI
T. Kleinhanns, F. Milillo, M. Calcabrini, C. Fiedler, S. Horta, D. Balazs, M.J. Strumolo, R. Hasler, J. Llorca, M. Tkadletz, R.L. Brutchey, M. Ibáñez, Advanced Energy Materials 14 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14435
A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials 36 (2024).
View
| DOI
| WoS
| PubMed | Europe PMC
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials 36 (2024).
2024 | Published | Journal Article | IST-REx-ID: 13093 |
Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials 6 (2024) 2807–215.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials 6 (2024) 2807–215.
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: 14834 |
A dynamic duo: Understanding the roles of FtsZ and FtsA for Escherichia coli cell division through in vitro approaches
P. Radler, M. Loose, European Journal of Cell Biology 103 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
P. Radler, M. Loose, European Journal of Cell Biology 103 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15018 |
Compressively strained epitaxial Ge layers for quantum computing applications
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15118
Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
View
| DOI
| PubMed | Europe PMC
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
2024 | Published | Journal Article | IST-REx-ID: 18653 |
Automated long-range compensation of an rf quantum dot sensor
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
[Published Version]
View
| Files available
| DOI
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.