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.
5995 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.
View
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14744
Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. 2023. Divide & Scale: Formalization and roadmap to robust sharding. 30th International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 13892, 199–245.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14739 |
Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. 2023. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 45(12), 14069–14080.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14743 |
Tennage P, Basescu C, Kokoris Kogias E, Syta E, Jovanovic P, Estrada-Galinanes V, Ford B. 2023. QuePaxa: Escaping the tyranny of timeouts in consensus. Proceedings of the 29th Symposium on Operating Systems Principles. SOSP: Symposium on Operating Systems Principles, 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14742 |
Lucek K, Giménez MD, Joron M, Rafajlović M, Searle JB, Walden N, Westram AM, Faria R. 2023. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 15(11), a041447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Del Bianco M, Friml J, Strader L, Kepinski S. 2023. Auxin research: Creating tools for a greener future. Journal of Experimental Botany. 74(22), 6889–6892.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14752 |
Fildier B, Muller CJ, Pincus R, Fueglistaler S. 2023. How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. 4(3), e2023AV000880.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14754 |
Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. 2023. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions of the Royal Society A. 381(2246), 0112.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14753 |
Faccioli P, Krätschmer I, Lourenço C. 2023. Low-pT quarkonium polarization measurements: Challenges and opportunities. Physics Letters B. 840, 137871.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14750 |
Ding X, Ji HC. 2023. Local laws for multiplication of random matrices. The Annals of Applied Probability. 33(4), 2981–3009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14756 |
Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology. 14(3), 467–532.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14751 |
Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14755 |
Moser M. 2023. Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. Asymptotic Analysis. 131(3–4), 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14749 |
Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. 2023. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 48(15), 3973–3976.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14799 |
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14798 |
Chen B, Jindal A, Piovarci M, Wang C, Seidel HP, Didyk P, Myszkowski K, Serrano A, Mantiuk RK. 2023. The effect of display capabilities on the gloss consistency between real and virtual objects. Proceedings of the SIGGRAPH Asia 2023 Conference. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 90.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Cohen-Addad V, Saulpic D, Schwiegelshohn C. 2023. Deterministic clustering in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14827
Schwayer C, Brückner D. 2023. Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. 136(24), jcs. 261515.
View
| DOI
| WoS
| PubMed | Europe PMC