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.

1933 Publications


2024 | Journal Article | IST-REx-ID: 14820 | OA
Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” Theoretical Computer Science. Elsevier, 2024. https://doi.org/10.1016/j.tcs.2023.114353.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14794 | OA
Hansen, Andi H, and Simon Hippenmeyer. “Time-Lapse Imaging of Cortical Projection Neuron Migration in Mice Using Mosaic Analysis with Double Markers.” STAR Protocols. Elsevier, 2024. https://doi.org/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, Saurabh Singh, Neelima Mahato, Thupakula Venkata Madhukar Sreekanth, Gowra Raghupathy Dillip, Kisoo Yoo, and Jonghoon Kim. “Interface Engineering Modulation Combined with Electronic Structure Modification of Zn-Doped NiO Heterostructure for Efficient Water-Splitting Activity.” ACS Applied Energy Materials. American Chemical Society, 2024. https://doi.org/10.1021/acsaem.3c02519.
View | DOI | WoS
 

2024 | Journal Article | IST-REx-ID: 14841
Clatot, Jerome, Christopher Currin, Qiansheng Liang, Tanadet Pipatpolkai, Shavonne L. Massey, Ingo Helbig, Lucie Delemotte, Tim P Vogels, Manuel Covarrubias, and Ethan M. Goldberg. “A Structurally Precise Mechanism Links an Epilepsy-Associated KCNC2 Potassium Channel Mutation to Interneuron Dysfunction.” Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences, 2024. https://doi.org/10.1073/pnas.2307776121.
View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14852 | OA
Kramarenko, Ivan, J Kerutt, A Verhamme, P A Oesch, L Barrufet, Jorryt J Matthee, H Kusakabe, I Goovaerts, and T T Thai. “Linking UV Spectral Properties of MUSE Ly α Emitters at z ≳ 3 to Lyman Continuum Escape.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stad3853.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 14888 | OA
De Nooijer, Phoebe, Soeren Terziadis, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler, and Günter Rote. “Removing Popular Faces in Curve Arrangements.” In 31st International Symposium on Graph Drawing and Network Visualization, 14466:18–33. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-49275-4_2.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14884 | OA
Davoli, Elisa, Lorenza D’Elia, and Jonas Ingmanns. “Stochastic Homogenization of Micromagnetic Energies and Emergence of Magnetic Skyrmions.” Journal of Nonlinear Science. Springer Nature, 2024. https://doi.org/10.1007/s00332-023-10005-3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14933 | OA
Pimenta-Marques, Ana, Tania Perestrelo, Patricia Dos Reis Rodrigues, Paulo Duarte, Ana Ferreira-Silva, Mariana Lince-Faria, and Mónica Bettencourt-Dias. “Ana1/CEP295 Is an Essential Player in the Centrosome Maintenance Program Regulated by Polo Kinase and the PCM.” EMBO Reports. Embo Press, 2024. https://doi.org/10.1038/s44319-023-00020-6.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14885 | OA
Shaw, Thomas, Pascal Buri, Michael McCarthy, Evan S. Miles, and Francesca Pellicciotti. “Local Controls on Near-Surface Glacier Cooling under Warm Atmospheric Conditions.” Journal of Geophysical Research: Atmospheres. Wiley, 2024. https://doi.org/10.1029/2023JD040214.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14938 | OA
Fugger, Stefan, Thomas Shaw, Achille Jouberton, Evan Miles, Pascal Buri, Michael McCarthy, Catriona Louise Fyffe, et al. “Hydrological Regimes and Evaporative Flux Partitioning at the Climatic Ends of High Mountain Asia.” Environmental Research Letters. IOP Publishing, n.d. https://doi.org/10.1088/1748-9326/ad25a0.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Conference Paper | IST-REx-ID: 15012 | OA
Pach, János, Morteza Saghafian, and Patrick Schnider. “Decomposition of Geometric Graphs into Star-Forests.” In 31st International Symposium on Graph Drawing and Network Visualization, 14465:339–46. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-49272-3_23.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15008 | OA
Goranci, Gramoz, Monika H Henzinger, Harald Räcke, Sushant Sachdeva, and A. R. Sricharan. “Electrical Flows for Polylogarithmic Competitive Oblivious Routing.” In 15th Innovations in Theoretical Computer Science Conference, Vol. 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ITCS.2024.55.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15003
Franco, D. G., R. Avalos, D. Hafner, Kimberly A Modic, Yu Prots, O. Stockert, A. Hoser, et al. “Frustrated Magnetism in Octahedra-Based Ce6 Ni6 P17.” Physical Review B. American Physical Society, 2024. https://doi.org/10.1103/PhysRevB.109.054405.
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15018 | OA
Shimura, Yosuke, Clement Godfrin, Andriy Hikavyy, Roy Li, Juan L Aguilera Servin, Georgios Katsaros, Paola Favia, et al. “Compressively Strained Epitaxial Ge Layers for Quantum Computing Applications.” Materials Science in Semiconductor Processing. Elsevier, 2024. https://doi.org/10.1016/j.mssp.2024.108231.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14979 | OA
Datler, Julia, Jesse Hansen, Andreas Thader, Alois Schlögl, Lukas W Bauer, Victor-Valentin Hodirnau, and Florian KM Schur. “Multi-Modal Cryo-EM Reveals Trimers of Protein A10 to Form the Palisade Layer in Poxvirus Cores.” Nature Structural & Molecular Biology. Springer Nature, 2024. https://doi.org/10.1038/s41594-023-01201-6.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Thesis | IST-REx-ID: 15020 | OA
Hledik, Michal. “Genetic Information and Biological Optimization.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15020.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15121 | OA
Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming. Springer Nature, 2024. https://doi.org/10.1007/s10107-024-02066-3.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15170 | OA
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 | OA
Filakovský, Marek, Tamio Vesa Nakajima, Jakub Opršal, Gianluca Tasinato, and Uli Wagner. “Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.” In 41st International Symposium on Theoretical Aspects of Computer Science, Vol. 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.STACS.2024.34.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15163 | OA
Campbell, Rutger, Florian Hörsch, and Benjamin Moore. “Decompositions into Two Linear Forests of Bounded Lengths.” Discrete Mathematics. Elsevier, 2024. https://doi.org/10.1016/j.disc.2024.113962.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15180 | OA
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 | OA
Matthee, Jorryt J, Christopher Golling, Ruari Mackenzie, Gabriele Pezzulli, Simon Lilly, Joop Schaye, Roland Bacon, 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. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae673.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Thesis | IST-REx-ID: 14711 | OA
Olusanya, Oluwafunmilola O. “Local Adaptation, Genetic Load and Extinction in Metapopulations.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:14711.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15320 | OA
Seoane Souto, Rubén, Martin Leijnse, Constantin Schrade, Marco Valentini, Georgios Katsaros, and Jeroen Danon. “Tuning the Josephson Diode Response with an Ac Current.” Physical Review Research. American Physical Society, 2024. https://doi.org/10.1103/PhysRevResearch.6.L022002.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15314
Mahato, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “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. Elsevier, 2024. https://doi.org/10.1016/j.est.2024.111464.
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15336 | OA
Pensabene, A., S. Cantalupo, C. Cicone, R. Decarli, M. Galbiati, M. Ginolfi, S. De Beer, 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. EDP Sciences, 2024. https://doi.org/10.1051/0004-6361/202348659.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2024. https://doi.org/10.1007/s10107-024-02064-5.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15311 | OA
Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.” Nature Communications. Springer Nature, 2024. 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, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.” Journal of Number Theory. Elsevier, 2024. 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, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024. 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, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.” Materials Letters. Elsevier, 2024. https://doi.org/10.1016/j.matlet.2024.136483.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-022-01260-3.
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.” In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023. 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, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577512.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023. 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, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023. 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, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. 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, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. 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, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.
[Published Version] View | Files available | DOI
 

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: 12972 | OA
Liu, Zhenyuan, Michael Piovarci, Christian Hafner, Raphael Charrondiere, and Bernd Bickel. “Directionality-Aware Design of Embroidery Patterns.” Computer Graphics Forum. Wiley, 2023. https://doi.org/10.1111/cgf.14770 .
[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 | Thesis | IST-REx-ID: 12964
Boocock, Daniel R. “Mechanochemical Pattern Formation across Biological Scales.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12964.
[Published Version] View | Files available | DOI
 

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 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications