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 |

Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics, vol. 74, no. 4, Oxford University Press, 2023, pp. 1253–94, doi:10.1093/qmath/haad008.

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

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

Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.

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

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

Mollania, Hamid, et al. “Nanostructured Li₂S Cathodes for Silicon-Sulfur Batteries.” ACS Applied Materials and Interfaces, vol. 15, no. 50, American Chemical Society, 2023, pp. 58462–58475, doi:10.1021/acsami.3c14072.

View | DOI | WoS | PubMed | Europe PMC

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

Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv, doi:10.1101/2023.12.02.569702.

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

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

Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:10.1007/978-3-031-47754-6_1.

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

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

Bastankhah, Mahsa, et al. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.

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

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

Ivanov, Grigory, and Márton Naszódi. “Functional John and Löwner Conditions for Pairs of Log-Concave Functions.” International Mathematics Research Notices, vol. 2023, no. 23, Oxford University Press, 2023, pp. 20613–69, doi:10.1093/imrn/rnad210.

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

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

Ali, Dashti, et al. “A Survey of Vectorization Methods in Topological Data Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 45, no. 12, IEEE, 2023, pp. 14069–80, doi:10.1109/tpami.2023.3308391.

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

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

Lucek, Kay, et al. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” Cold Spring Harbor Perspectives in Biology, vol. 15, no. 11, a041447, Cold Spring Harbor Laboratory Press, 2023, doi:10.1101/cshperspect.a041447.

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

Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.

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

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

Li, Liang, et al. “Radical Single-Molecule Junctions.” Journal of the American Chemical Society, vol. 145, no. 33, American Chemical Society, 2023, pp. 18182–204, doi:10.1021/jacs.3c04487.