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.
5755 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17328 | 
Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. Fully automated selfish mining analysis in efficient proof systems blockchains. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2024:268-278. doi:10.1145/3662158.3662769
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17329 |
Alistarh D-A, Chatterjee K, Karrabi M, Lazarsfeld JM. Game dynamics and equilibrium computation in the population protocol model. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2024:40-49. doi:10.1145/3662158.3662768
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17162 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. 2024;8(OOPSLA1). doi:10.1145/3649824
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17283 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. 2024;8. doi:10.1145/3656462
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14820 |
Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14933. Springer Nature; 2024:600-619. doi:10.1007/978-3-031-71162-6_31
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. Value-positivity for matrix games. Mathematics of Operations Research. 2024. doi:10.1287/moor.2022.0332
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Avni G, Goharshady EK, Henzinger TA, Mallik K. Bidding games with charging. In: 35th International Conference on Concurrency Theory. Vol 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.CONCUR.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12738 |
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. Stochastic games with lexicographic objectives. Formal Methods in System Design. 2024;63:40-80. doi:10.1007/s10703-023-00411-4
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 15339 |
González M, Hausel T. Hitchin map on even very stable upward flows. International Journal of Mathematics. 2024;35(09). doi:10.1142/S0129167X2441009X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18900 |
Wirth M. Modular completely Dirichlet forms as squares of derivations. International Mathematics Research Notices. 2024;2024(14):10597-10614. doi:10.1093/imrn/rnae092
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18925
Ceylan E, Chatterjee K, Schmid S, Svoboda J. Congestion-free rerouting of network flows: Hardness and an FPT algorithm. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. IEEE; 2024. doi:10.1109/noms59830.2024.10575579
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15357 |
Liu Y, Lee S, Fiedler C, et al. Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals. Chemical Engineering Journal. 2024;490. doi:10.1016/j.cej.2024.151405
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, et al. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. 2024;8(8). doi:10.1002/smtd.202301377
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15182 |
Kleinhanns T, Milillo F, Calcabrini M, et al. A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials. 2024;14(22). doi:10.1002/aenm.202400408
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14435
Zeng G, Sun Q, Horta S, et al. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. 2024;36(1). doi:10.1002/adma.202305128
View
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 13093 |
Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. 2024;6(5):2807-215. doi:10.1021/acsaelm.3c00055
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Book Chapter | IST-REx-ID: 18052
Kleindienst D, Costanzo T, Shigemoto R. Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning. In: Lübke JHR, Rollenhagen A, eds. New Aspects in Analyzing the Synaptic Organization of the Brain. 1st ed. New York: Springer Nature; 2024:123-137. doi:10.1007/978-1-0716-4019-7_8
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14834 |
Radler P, Loose M. A dynamic duo: Understanding the roles of FtsZ and FtsA for Escherichia coli cell division through in vitro approaches. European Journal of Cell Biology. 2024;103(1). doi:10.1016/j.ejcb.2023.151380
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15018 |
Shimura Y, Godfrin C, Hikavyy A, et al. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 2024;174(5). doi:10.1016/j.mssp.2024.108231
[Published Version]
View
| Files available
| DOI
| WoS