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.

2033 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14735 | OA
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14736 | OA
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 18190 | OA
J. Leonard et al., “Probing the onset of quantum avalanches in a many-body localized system,” Nature Physics, vol. 19, no. 4. Springer Nature, pp. 481–485, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 18218 | OA
Y. Nemcovsky, M. Jacoby, A. M. Bronstein, and C. Baskin, “Physical passive patch adversarial attacks on visual odometry systems,” in 16th Asian Conference on Computer Vision, Macao, China, 2023, vol. 13847, pp. 518–534.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 18294 | OA
J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12331 | OA
S. Wang et al., “Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials, vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12334 | OA
F. Fäßler et al., “ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12487 | OA
S. Scarpetta et al., “Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture,” iScience, vol. 26, no. 10. Elsevier, p. 107840, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12683 | OA
G. Dubach and L. Erdös, “Dynamics of a rank-one perturbation of a Hermitian matrix,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–13, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12709 | OA
R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” Discrete and Computational Geometry, vol. 70. Springer Nature, pp. 376–405, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Book Chapter | IST-REx-ID: 12720 | OA
S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Conference Poster | IST-REx-ID: 12736 | OA
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12737 | OA
Á. García-Romero et al., “Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals,” Inorganic Chemistry, vol. 62, no. 11. American Chemical Society, pp. 4625–4636, 2023.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12763 | OA
J. D. Boissonnat and M. Wintraecken, “The reach of subsets of manifolds,” Journal of Applied and Computational Topology, vol. 7. Springer Nature, pp. 619–641, 2023.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12788 | OA
V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically kicked molecules,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12833 | OA
A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12839 | OA
M. Ljubotina, J. Y. Desaules, M. Serbyn, and Z. Papić, “Superdiffusive energy transport in kinetically constrained models,” Physical Review X, vol. 13, no. 1. American Physical Society, 2023.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 12854 | OA
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed