ISTA Research Explorer

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.

11357 Publications

2023 | Published | Journal Article | IST-REx-ID: 14717 |

Equidistribution of primitive lattices in ℝn
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 14718 |

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14719

Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.

View | DOI | WoS | PubMed | Europe PMC

2023 | Draft | Preprint | IST-REx-ID: 14732 |

Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2023 | Published | Conference Paper | IST-REx-ID: 14735 |

Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.

[Preprint] View | DOI | Download Preprint (ext.) | WoS

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.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

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 | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14739 |

A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14742 |

The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).

2023 | Published | Conference Paper | IST-REx-ID: 14743 |

QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2023 | Published | Journal Article | IST-REx-ID: 17860

Radical single-molecule junctions
L. Li, C.R. Prindle, W. Shi, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 145 (2023) 18182–18204.