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
Stefo, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14736 | OA
Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 18190 | OA
Leonard, J., Kim, S., Rispoli, M., Lukin, A., Schittko, R., Kwan, J., … Greiner, M. (2023). Probing the onset of quantum avalanches in a many-body localized system. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-022-01887-3
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 18218 | OA
Nemcovsky, Y., Jacoby, M., Bronstein, A. M., & Baskin, C. (2023). Physical passive patch adversarial attacks on visual odometry systems. In 16th Asian Conference on Computer Vision (Vol. 13847, pp. 518–534). Macao, China: Springer Nature. https://doi.org/10.1007/978-3-031-26293-7_31
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 18294 | OA
Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12331 | OA
Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12334 | OA
Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A., … Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12487 | OA
Scarpetta, S., Morrisi, N., Mutti, C., Azzi, N., Trippi, I., Ciliento, R., … Vaudano, A. E. (2023). Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. IScience. Elsevier. https://doi.org/10.1016/j.isci.2023.107840
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12683 | OA
Dubach, G., & Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP516
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12709 | OA
Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2023). Computing the multicover bifiltration. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00476-8
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Book Chapter | IST-REx-ID: 12720 | OA
Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12737 | OA
García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., & Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. American Chemical Society. https://doi.org/10.1021/acs.inorgchem.3c00057
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12763 | OA
Boissonnat, J. D., & Wintraecken, M. (2023). The reach of subsets of manifolds. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-023-00116-x
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12788 | OA
Karle, V., Ghazaryan, A., & Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.130.103202
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12833 | OA
Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences. https://doi.org/10.46298/DMTCS.8383
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12839 | OA
Ljubotina, M., Desaules, J. Y., Serbyn, M., & Papić, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.13.011033
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed