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.

1832 Publications


2023 | Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica. Springer Nature, 2023. https://doi.org/10.1007/s00453-022-01027-6.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. 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, Álvaro, Jessica E. Waters, Rajesh B Jethwa, Andrew D. Bond, Annie L. Colebatch, Raúl García-Rodríguez, and Dominic S. Wright. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligands─studies with Coinage Metals.” Inorganic Chemistry. American Chemical Society, 2023. https://doi.org/10.1021/acs.inorgchem.3c00057.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12788 | OA
Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges of Periodically Kicked Molecules.” Physical Review Letters. American Physical Society, 2023. 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, Marko, Jean Yves Desaules, Maksym Serbyn, and Zlatko Papić. “Superdiffusive Energy Transport in Kinetically Constrained Models.” Physical Review X. American Physical Society, 2023. https://doi.org/10.1103/PhysRevX.13.011033.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13117 | OA
Redchenko, Elena, Alexander V. Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander N. Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair of Superconducting Qubits.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38761-6.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13129 | OA
Clozeau, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.” Foundations of Computational Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s10208-023-09613-y.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 13970 | OA
Madani, Amiera, Eric T. Sletten, Cristian Cavedon, Peter H. Seeberger, and Bartholomäus Pieber. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-α-D-Glucofuranose.” Organic Syntheses. Organic Syntheses, 2023. https://doi.org/10.15227/orgsyn.100.0271.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 9652 | OA
Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s11856-022-2448-6.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12331 | OA
Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials. American Chemical Society, 2023. https://doi.org/10.1021/acs.chemmater.2c03542.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12106 | OA
Yeung, Jake, Maria Florescu, Peter Zeller, Buys Anton De Barbanson, Max D. Wellenstein, and Alexander Van Oudenaarden. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.” Nature Biotechnology. Springer Nature, 2023. 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, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare. Springer Nature, 2023. https://doi.org/10.1007/s00023-022-01252-3.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12543 | OA
Stock, Miriam, Barbara Milutinovic, Michaela Hönigsberger, Anna V Grasse, Florian Wiesenhofer, Niklas Kampleitner, Madhumitha Narasimhan, Thomas Schmitt, and Sylvia Cremer. “Pathogen Evasion of Social Immunity.” Nature Ecology and Evolution. Springer Nature, 2023. https://doi.org/10.1038/s41559-023-01981-6.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13989 | OA
Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications. Springer Nature, 2023. 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, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12900
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. 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, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “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, 2023. https://doi.org/10.1245/s10434-022-12459-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14253 | OA
Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14319 | OA
Anastos, Michael, David Fabian, Alp Müyesser, and Tibor Szabó. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2023. https://doi.org/10.37236/11714.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. 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., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. 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, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. 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, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications. Springer Nature, 2023. https://doi.org/10.1007/s13235-022-00425-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
Wagner, Bernhard, Vedrana Šlipogor, Jinook Oh, Marion Varga, and Marisa Hoeschele. “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, 2023. https://doi.org/10.1111/desc.13395.
View | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12680 | OA
Ivanov, Grigory, and Seyda Köse. “Erdős-Ko-Rado and Hilton-Milner Theorems for Two-Forms.” Discrete Mathematics. Elsevier, 2023. https://doi.org/10.1016/j.disc.2023.113363.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12709 | OA
Corbet, René, Michael Kerber, Michael Lesnick, and Georg F Osang. “Computing the Multicover Bifiltration.” Discrete and Computational Geometry. Springer Nature, 2023. 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, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.” Journal of Applied and Computational Topology. Springer Nature, 2023. 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, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” In International Workshop on Reproducible Research in Pattern Recognition, 14068:67–73. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-40773-4_6.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14428 | OA
Dodis, Yevgeniy, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” In 43rd Annual International Cryptology Conference, 14082:514–46. Springer Nature, 2023. 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, Liu, Rishabh Sahu, William J Hease, Georg M Arnold, and Johannes M Fink. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” Nature Communications. Nature Research, 2023. 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, Guillaume, and László Erdös. “Dynamics of a Rank-One Perturbation of a Hermitian Matrix.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-ECP516.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 8682 | OA
Browning, Timothy D, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics. Princeton University, 2023. 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, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.” In 8th International Conference on Cryptology and Information Security in Latin America, 14168:215–28. Springer Nature, 2023. 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, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. 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, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.” Communications in Mathematical Physics. Springer Nature, 2023. 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, Pramod, B. R. Mallikarjun, Gereon Fox, Tim Weyrich, Bernd Bickel, Hanspeter Pfister, Wojciech Matusik, et al. “A Deeper Analysis of Volumetric Relightiable Faces.” International Journal of Computer Vision. Springer Nature, 2023. 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, Donald, Mahimna Kelkar, Kevin Lewi, Valeria Nikolaenko, Alberto Sonnino, Konstantinos Chalkias, Eleftherios Kokoris Kogias, Ladi De Naurois, and Arnab Roy. “STROBE: Streaming Threshold Random Beacons.” In 5th Conference on Advances in Financial Technologies, Vol. 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. 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, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06018-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya, Sayan, Monika H Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/21M1428649.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-45329-8_17.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14543 | OA
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12334 | OA
Fäßler, Florian, Manjunath Javoor, Julia Datler, Hermann Döring, Florian Hofer, Georgi A Dimchev, Victor-Valentin Hodirnau, Jan Faix, Klemens Rottner, and Florian KM Schur. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.” Science Advances. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/sciadv.add6495.
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 14562 | OA
Schur, Florian KM. “Research Data of the Publication ‘ArpC5 Isoforms Regulate Arp2/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:14562.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14610 | OA
Bussi, Claudio, Agustín Mangiarotti, Christian Eduardo Vanhille-Campos, Beren Aylan, Enrica Pellegrino, Natalia Athanasiadi, Antony Fearns, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06726-w.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 13238 | OA
Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” In SIROCCO 2023: Structural Information and Communication Complexity , 13892:576–94. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-32733-9_26.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12487 | OA
Scarpetta, Silvia, Niccolò Morrisi, Carlotta Mutti, Nicoletta Azzi, Irene Trippi, Rosario Ciliento, Ilenia Apicella, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.” IScience. Elsevier, 2023. https://doi.org/10.1016/j.isci.2023.107840.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13225 | OA
Benedikter, Niels P, Marcello Porta, Benjamin Schlein, and Robert Seiringer. “Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01893-6.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13227 | OA
Hassani, Farid, Matilda Peruzzo, Lucky Kapoor, Andrea Trioni, Martin Zemlicka, and Johannes M Fink. “Inductively Shunted Transmons Exhibit Noise Insensitive Plasmon States and a Fluxon Decay Exceeding 3 Hours.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-39656-2.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications