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.

1606 Publications


2024 | Journal Article | IST-REx-ID: 15311 | OA
Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z., … Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-46799-3
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Browning, T. D., & Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2024.02.013
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15348
Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., & Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier. https://doi.org/10.1016/j.matlet.2024.136483
View | DOI
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12720
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
View | DOI | PubMed | Europe PMC
 

2023 | 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 | 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
 

2023 | 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
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI
 

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

2023 | Journal Article | IST-REx-ID: 12737
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
View | DOI | WoS | PubMed | Europe PMC
 

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

2023 | 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 | Journal Article | IST-REx-ID: 13129 | OA
Clozeau, N., Josien, M., Otto, F., & Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-023-09613-y
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 12964
Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12964
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13970 | OA
Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., & Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose. Organic Syntheses. Organic Syntheses. https://doi.org/10.15227/orgsyn.100.0271
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885
[Published Version] View | Files available | DOI
 

2023 | 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
 

2023 | Journal Article | IST-REx-ID: 12106 | OA
Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., & Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-022-01560-3
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12183 | OA
Boccato, C., & Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-022-01252-3
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13989 | OA
Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., & Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38540-3
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Thesis | IST-REx-ID: 13175 | OA
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12900
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12205 | OA
Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12459-3
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_2
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14317 | OA
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 10770 | OA
Graham, T., Kleshnina, M., & Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-022-00425-3
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
Wagner, B., Šlipogor, V., Oh, J., Varga, M., & Hoeschele, M. (2023). A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. Wiley. https://doi.org/10.1111/desc.13395
View | DOI | PubMed | Europe PMC
 

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

2023 | 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 | Conference Paper | IST-REx-ID: 14410
Tomaszewska, P., & Lampert, C. (2023). On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In International Workshop on Reproducible Research in Pattern Recognition (Vol. 14068, pp. 67–73). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-40773-4_6
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14428 | OA
Dodis, Y., Ferguson, N., Goldin, E., Hall, P., & Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-38545-2_17
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Journal Article | IST-REx-ID: 13200 | OA
Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., & Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. Nature Research. https://doi.org/10.1038/s41467-023-39493-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | 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 | Journal Article | IST-REx-ID: 8682 | OA
Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14457 | OA
Hoffmann, C., & Simkin, M. (2023). Stronger lower bounds for leakage-resilient secret sharing. In 8th International Conference on Cryptology and Information Security in Latin America (Vol. 14168, pp. 215–228). Quito, Ecuador: Springer Nature. https://doi.org/10.1007/978-3-031-44469-2_11
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14441 | OA
Brooks, M., & Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04841-3
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14488 | OA
Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H., … Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-023-01899-3
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14516 | OA
Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K., … Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.AFT.2023.7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13119 | OA
Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06018-3
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya, S., Henzinger, M. H., Nanongkai, D., & Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1428649
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17
View | DOI
 

2023 | 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
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications