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.
1774 Publications
2024 | Journal Article | IST-REx-ID: 14820 | 
Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” Theoretical Computer Science, vol. 989, 114353, Elsevier, 2024, doi:10.1016/j.tcs.2023.114353.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 14794 |
Hansen, Andi H., and Simon Hippenmeyer. “Time-Lapse Imaging of Cortical Projection Neuron Migration in Mice Using Mosaic Analysis with Double Markers.” STAR Protocols, vol. 5, no. 1, 102795, Elsevier, 2024, doi:10.1016/j.xpro.2023.102795.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 14828
Kiran, Gundegowda Kalligowdanadoddi, et al. “Interface Engineering Modulation Combined with Electronic Structure Modification of Zn-Doped NiO Heterostructure for Efficient Water-Splitting Activity.” ACS Applied Energy Materials, vol. 7, no. 1, American Chemical Society, 2024, pp. 214–29, doi:10.1021/acsaem.3c02519.
View
| DOI
| WoS
2024 | Journal Article | IST-REx-ID: 14852 |
Kramarenko, Ivan, et al. “Linking UV Spectral Properties of MUSE Ly α Emitters at z ≳ 3 to Lyman Continuum Escape.” Monthly Notices of the Royal Astronomical Society, vol. 527, no. 4, Oxford University Press, 2024, pp. 9853–71, doi:10.1093/mnras/stad3853.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 14888 |
De Nooijer, Phoebe, et al. “Removing Popular Faces in Curve Arrangements.” 31st International Symposium on Graph Drawing and Network Visualization, vol. 14466, Springer Nature, 2024, pp. 18–33, doi:10.1007/978-3-031-49275-4_2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 14884 |
Davoli, Elisa, et al. “Stochastic Homogenization of Micromagnetic Energies and Emergence of Magnetic Skyrmions.” Journal of Nonlinear Science, vol. 34, no. 2, 30, Springer Nature, 2024, doi:10.1007/s00332-023-10005-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 14885 |
Shaw, Thomas, et al. “Local Controls on Near-Surface Glacier Cooling under Warm Atmospheric Conditions.” Journal of Geophysical Research: Atmospheres, vol. 129, no. 2, e2023JD040214, Wiley, 2024, doi:10.1029/2023JD040214.
[Published Version]
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 15012 |
Pach, János, et al. “Decomposition of Geometric Graphs into Star-Forests.” 31st International Symposium on Graph Drawing and Network Visualization, vol. 14465, Springer Nature, 2024, pp. 339–46, doi:10.1007/978-3-031-49272-3_23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15008 |
Goranci, Gramoz, et al. “Electrical Flows for Polylogarithmic Competitive Oblivious Routing.” 15th Innovations in Theoretical Computer Science Conference, vol. 287, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.ITCS.2024.55.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15003
Franco, D. G., et al. “Frustrated Magnetism in Octahedra-Based Ce6 Ni6 P17.” Physical Review B, vol. 109, no. 5, 054405, American Physical Society, 2024, doi:10.1103/PhysRevB.109.054405.
View
| DOI
2024 | Journal Article | IST-REx-ID: 15018 |
Shimura, Yosuke, et al. “Compressively Strained Epitaxial Ge Layers for Quantum Computing Applications.” Materials Science in Semiconductor Processing, vol. 174, no. 5, 108231, Elsevier, 2024, doi:10.1016/j.mssp.2024.108231.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Thesis | IST-REx-ID: 15020 |
Hledik, Michal. Genetic Information and Biological Optimization. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15020.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15121 |
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming, Springer Nature, 2024, doi:10.1007/s10107-024-02066-3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15170 |
Greene JE, Labbe I, Goulding AD, Furtak LJ, Chemerynska I, Kokorev V, Dayal P, Volonteri M, Williams CC, Wang B, Setton DJ, Burgasser AJ, Bezanson R, Atek H, Brammer G, Cutler SE, Feldmann R, Fujimoto S, Glazebrook K, De Graaff A, Khullar G, Leja J, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Naidu RP, Nanayakkara T, Oesch PA, Pan R, Papovich C, Price SH, Van Dokkum P, Weaver JR, Whitaker KE, Zitrin A. 2024. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5. Astrophysical Journal. 964, 39.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15168 |
Filakovský, Marek, et al. “Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.” 41st International Symposium on Theoretical Aspects of Computer Science, vol. 289, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.STACS.2024.34.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15163 |
Campbell, Rutger, et al. “Decompositions into Two Linear Forests of Bounded Lengths.” Discrete Mathematics, vol. 347, no. 6, 113962, Elsevier, 2024, doi:10.1016/j.disc.2024.113962.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15180 |
Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15249 |
Matthee, Jorryt J., et al. “Large-Scale Excess H I Absorption around z ≈ 4 Galaxies Detected in a Background Galaxy Spectrum in the MUSE EXtremely Deep Field.” Monthly Notices of the Royal Astronomical Society, vol. 529, no. 3, Oxford University Press, 2024, pp. 2794–806, doi:10.1093/mnras/stae673.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Thesis | IST-REx-ID: 14711 |
Olusanya, Oluwafunmilola O. Local Adaptation, Genetic Load and Extinction in Metapopulations. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:14711.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15314
Mahato, Neelima, et al. “Polycrystalline Phases Engineered In-Situ in Polyaniline-Graphene Composite Evoluting an Exceptional Stability and High Charge Storage Capacity: An EIS Investigative Approach to Evaluate Material’s Stability.” Journal of Energy Storage, vol. 88, 111464, Elsevier, 2024, doi:10.1016/j.est.2024.111464.
View
| DOI
2024 | Journal Article | IST-REx-ID: 15336 |
Pensabene, A., et al. “ALMA Survey of a Massive Node of the Cosmic Web at z ∼ 3: I. Discovery of a Large Overdensity of CO Emitters.” Astronomy and Astrophysics, vol. 684, A119, EDP Sciences, 2024, doi:10.1051/0004-6361/202348659.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15311 |
Zeng, Zezhu, et al. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.” Nature Communications, vol. 15, 3007, Springer Nature, 2024, doi:10.1038/s41467-024-46799-3.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
Browning, Timothy D., and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.” Journal of Number Theory, vol. 261, Elsevier, 2024, pp. 220–40, doi:10.1016/j.jnt.2024.02.013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15348
Mahato, Neelima, et al. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.” Materials Letters, vol. 365, 136483, Elsevier, 2024, doi:10.1016/j.matlet.2024.136483.
View
| DOI
2023 | Journal Article | IST-REx-ID: 12158 |
Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, et al. “Molecular Cloning Using In Vivo DNA Assembly.” DNA Manipulation and Analysis, edited by Garry Scarlett, vol. 2633, Springer Nature, 2023, pp. 33–44, doi:10.1007/978-1-0716-3004-4_3.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13142 |
Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13141 |
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12329 |
Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12737
García-Romero, Álvaro, et al. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligands─studies with Coinage Metals.” Inorganic Chemistry, vol. 62, no. 11, American Chemical Society, 2023, pp. 4625–36, doi:10.1021/acs.inorgchem.3c00057.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12788 |
Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.” Physical Review Letters, vol. 130, no. 10, 103202, American Physical Society, 2023, doi:10.1103/PhysRevLett.130.103202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12791 |
Clark Di Leoni, Patricio, et al. “Reconstructing Rayleigh–Bénard Flows out of Temperature-Only Measurements Using Physics-Informed Neural Networks.” The European Physical Journal E, vol. 46, no. 3, 16, Springer Nature, 2023, doi:10.1140/epje/s10189-023-00276-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12839 |
Ljubotina, Marko, et al. “Superdiffusive Energy Transport in Kinetically Constrained Models.” Physical Review X, vol. 13, no. 1, 011033, American Physical Society, 2023, doi:10.1103/PhysRevX.13.011033.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13129 |
Clozeau, Nicolas, et al. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.” Foundations of Computational Mathematics, Springer Nature, 2023, doi:10.1007/s10208-023-09613-y.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 13237
Michaels, Thomas C. T., et al. “Amyloid Formation as a Protein Phase Transition.” Nature Reviews Physics, vol. 5, Springer Nature, 2023, pp. 379–397, doi:10.1038/s42254-023-00598-9.
View
| DOI
| WoS
2023 | Thesis | IST-REx-ID: 12964
Boocock, Daniel R. Mechanochemical Pattern Formation across Biological Scales. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12964.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13970 |
Madani, Amiera, et al. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-α-D-Glucofuranose.” Organic Syntheses, vol. 100, Organic Syntheses, 2023, pp. 271–86, doi:10.15227/orgsyn.100.0271.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12885 |
Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12331 |
Wang, Siqi, 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, 2023, pp. 755–63, doi:10.1021/acs.chemmater.2c03542.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11999 |
Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is Hard.” Discrete and Computational Geometry, vol. 69, Springer Nature, 2023, pp. 745–770, doi:10.1007/s00454-022-00394-9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12106 |
Yeung, Jake, et al. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.” Nature Biotechnology, vol. 41, Springer Nature, 2023, pp. 813–823, doi:10.1038/s41587-022-01560-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12183 |
Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare, vol. 24, Springer Nature, 2023, pp. 1505–60, doi:10.1007/s00023-022-01252-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12762 |
Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science, vol. 3, Springer Nature, 2023, pp. 254–63, doi:10.1038/s43588-023-00410-9.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13989 |
Hales, Jordyn, et al. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications, vol. 14, 3512, Springer Nature, 2023, doi:10.1038/s41467-023-38540-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Thesis | IST-REx-ID: 13175 |
Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi: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, doi:10.15479/at:ista:12900.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13310 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12205 |
Glajzer, Jacek, 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, vol. 30, Springer Nature, 2023, pp. 35–45, doi:10.1245/s10434-022-12459-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 14259 |
Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14318 |
Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13969 |
Arroyo Guevara, Alan M., and Stefan Felsner. “Approximating the Bundled Crossing Number.” Journal of Graph Algorithms and Applications, vol. 27, no. 6, Brown University, 2023, pp. 433–57, doi:10.7155/jgaa.00629.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 10770 |
Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications, vol. 13, Springer Nature, 2023, pp. 231–64, doi:10.1007/s13235-022-00425-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12961
Wagner, Bernhard, et al. “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, vol. 26, no. 5, e13395, Wiley, 2023, doi:10.1111/desc.13395.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12709 |
Corbet, René, et al. “Computing the Multicover Bifiltration.” Discrete and Computational Geometry, vol. 70, Springer Nature, 2023, pp. 376–405, doi:10.1007/s00454-022-00476-8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12763 |
Boissonnat, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.” Journal of Applied and Computational Topology, vol. 7, Springer Nature, 2023, pp. 619–41, doi: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.” International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14428 |
Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” 43rd Annual International Cryptology Conference, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 13200 |
Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” Nature Communications, vol. 14, 3784, Nature Research, 2023, doi:10.1038/s41467-023-39493-3.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Journal Article | IST-REx-ID: 12683 |
Dubach, Guillaume, and László Erdös. “Dynamics of a Rank-One Perturbation of a Hermitian Matrix.” Electronic Communications in Probability, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–13, doi:10.1214/23-ECP516.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12761 |
Cipolloni, Giorgio, et al. “Functional Central Limit Theorems for Wigner Matrices.” Annals of Applied Probability, vol. 33, no. 1, Institute of Mathematical Statistics, 2023, pp. 447–89, doi:10.1214/22-AAP1820.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 8682 |
Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14457 |
Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.” 8th International Conference on Cryptology and Information Security in Latin America, vol. 14168, Springer Nature, 2023, pp. 215–28, doi:10.1007/978-3-031-44469-2_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14444 |
Kwan, Matthew Alan, et al. “Substructures in Latin Squares.” Israel Journal of Mathematics, vol. 256, no. 2, Springer Nature, 2023, pp. 363–416, doi:10.1007/s11856-023-2513-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14454 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14441 |
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, vol. 404, Springer Nature, 2023, pp. 287–337, doi:10.1007/s00220-023-04841-3.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14488 |
Rao, Pramod, et al. “A Deeper Analysis of Volumetric Relightiable Faces.” International Journal of Computer Vision, Springer Nature, 2023, doi:10.1007/s11263-023-01899-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14516 |
Beaver, Donald, et al. “STROBE: Streaming Threshold Random Beacons.” 5th Conference on Advances in Financial Technologies, vol. 282, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.AFT.2023.7.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13119 |
Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature, vol. 618, Springer Nature, 2023, pp. 716–20, doi:10.1038/s41586-023-06018-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya, Sayan, et al. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing, vol. 52, no. 5, Society for Industrial and Applied Mathematics, 2023, pp. 1132–92, doi:10.1137/21M1428649.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.
View
| DOI
2023 | Journal Article | IST-REx-ID: 12334 |
Fäßler, Florian, et al. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.” Science Advances, vol. 9, no. 3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 14562 |
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, doi:10.15479/AT:ISTA:14562.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14610 |
Bussi, Claudio, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.” Nature, Springer Nature, 2023, doi: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 |
Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” SIROCCO 2023: Structural Information and Communication Complexity , vol. 13892, Springer Nature, 2023, pp. 576–94, doi:10.1007/978-3-031-32733-9_26.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12487 |
Scarpetta, Silvia, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.” IScience, vol. 26, no. 10, Elsevier, 2023, p. 107840, doi:10.1016/j.isci.2023.107840.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13227 |
Hassani, Farid, et al. “Inductively Shunted Transmons Exhibit Noise Insensitive Plasmon States and a Fluxon Decay Exceeding 3 Hours.” Nature Communications, vol. 14, 3968, Springer Nature, 2023, doi:10.1038/s41467-023-39656-2.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13271 |
Zhang, Haonan. “Some Convexity and Monotonicity Results of Trace Functionals.” Annales Henri Poincare, Springer Nature, 2023, doi:10.1007/s00023-023-01345-7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13258 |
Kleshnina, Maria, et al. “The Effect of Environmental Information on Evolution of Cooperation in Stochastic Games.” Nature Communications, vol. 14, 4153, Springer Nature, 2023, doi:10.1038/s41467-023-39625-9.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13317 |
Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.” Journal of Statistical Physics, vol. 190, no. 7, 128, Springer Nature, 2023, doi:10.1007/s10955-023-03132-4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13974 |
Fulek, Radoslav, et al. “The Crossing Tverberg Theorem.” Discrete and Computational Geometry, Springer Nature, 2023, doi:10.1007/s00454-023-00532-x.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14041 |
Méhes, Elod, et al. “3D Cell Segregation Geometry and Dynamics Are Governed by Tissue Surface Tension Regulation.” Communications Biology, vol. 6, 817, Springer Nature, 2023, doi:10.1038/s42003-023-05181-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14058 |
Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14058.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14077 |
Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics, vol. 13, no. 8, Oxford University Press, 2023, doi:10.1093/g3journal/jkad121.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14435
Zeng, Guifang, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.” Advanced Materials, 2305128, Wiley, doi:10.1002/adma.202305128.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14445 |
Wagner, Uli, and Pascal Wild. “Coboundary Expansion, Equivariant Overlap, and Crossing Numbers of Simplicial Complexes.” Israel Journal of Mathematics, vol. 256, no. 2, Springer Nature, 2023, pp. 675–717, doi:10.1007/s11856-023-2521-9.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 14693 |
Hoffmann, Charlotte, et al. “(Verifiable) Delay Functions from Lucas Sequences.” 21st International Conference on Theory of Cryptography, vol. 14372, Springer Nature, 2023, pp. 336–62, doi:10.1007/978-3-031-48624-1_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14691 |
Auerbach, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 271–300, doi:10.1007/978-3-031-48621-0_10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14692 |
Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 14697
Stopp, Julian A. Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14697.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14718 |
Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14726 |
Zhou, Liang-Zi, et al. “The RALF Signaling Pathway Regulates Cell Wall Integrity during Pollen Tube Growth in Maize.” The Plant Cell, koad324, Oxford University Press, 2023, doi:10.1093/plcell/koad324.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
Biniaz, Ahmad, et al. “Token Swapping on Trees.” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2, 9, EPI Sciences, 2023, doi:10.46298/DMTCS.8383.
[Published Version]
View
| Files available
| DOI
| arXiv