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.

1932 Publications


2024 | Journal Article | IST-REx-ID: 14820 | OA
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14794 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14828
Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.
View | DOI | WoS
 

2024 | Journal Article | IST-REx-ID: 14841
A structurally precise mechanism links an epilepsy-associated KCNC2 potassium channel mutation to interneuron dysfunction
J. Clatot, C. Currin, Q. Liang, T. Pipatpolkai, S.L. Massey, I. Helbig, L. Delemotte, T.P. Vogels, M. Covarrubias, E.M. Goldberg, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14852 | OA
Linking UV spectral properties of MUSE Ly α emitters at z ≳ 3 to Lyman continuum escape
I. Kramarenko, J. Kerutt, A. Verhamme, P.A. Oesch, L. Barrufet, J.J. Matthee, H. Kusakabe, I. Goovaerts, T.T. Thai, Monthly Notices of the Royal Astronomical Society 527 (2024) 9853–9871.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 14888 | OA
Removing popular faces in curve arrangements
P. De Nooijer, S. Terziadis, A. Weinberger, Z. Masárová, T. Mchedlidze, M. Löffler, G. Rote, in:, 31st International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2024, pp. 18–33.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14884 | OA
Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions
E. Davoli, L. D’Elia, J. Ingmanns, Journal of Nonlinear Science 34 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14933 | OA
Ana1/CEP295 is an essential player in the centrosome maintenance program regulated by Polo kinase and the PCM
A. Pimenta-Marques, T. Perestrelo, P. Dos Reis Rodrigues, P. Duarte, A. Ferreira-Silva, M. Lince-Faria, M. Bettencourt-Dias, EMBO Reports 25 (2024) 102–127.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14885 | OA
Local controls on near-surface glacier cooling under warm atmospheric conditions
T. Shaw, P. Buri, M. McCarthy, E.S. Miles, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14938 | OA
Hydrological regimes and evaporative flux partitioning at the climatic ends of High Mountain Asia
S. Fugger, T. Shaw, A. Jouberton, E. Miles, P. Buri, M. McCarthy, C.L. Fyffe, S. Fatichi, M. Kneib, P. Molnar, F. Pellicciotti, Environmental Research Letters (n.d.).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Conference Paper | IST-REx-ID: 15012 | OA
Decomposition of geometric graphs into star-forests
J. Pach, M. Saghafian, P. Schnider, in:, 31st International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2024, pp. 339–346.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15008 | OA
Electrical flows for polylogarithmic competitive oblivious routing
G. Goranci, M.H. Henzinger, H. Räcke, S. Sachdeva, A.R. Sricharan, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15003
Frustrated magnetism in octahedra-based Ce6 Ni6 P17
D.G. Franco, R. Avalos, D. Hafner, K.A. Modic, Y. Prots, O. Stockert, A. Hoser, P.J.W. Moll, M. Brando, A.A. Aligia, C. Geibel, Physical Review B 109 (2024).
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15018 | OA
Compressively strained epitaxial Ge layers for quantum computing applications
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14979 | OA
Multi-modal cryo-EM reveals trimers of protein A10 to form the palisade layer in poxvirus cores
J. Datler, J. Hansen, A. Thader, A. Schlögl, L.W. Bauer, V.-V. Hodirnau, F.K. Schur, Nature Structural & Molecular Biology (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Thesis | IST-REx-ID: 15020 | OA
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15121 | OA
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15170 | OA
UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5
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
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15163 | OA
Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15180 | OA
Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys
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
Large-scale excess H I absorption around z ≈ 4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field
J.J. Matthee, C. Golling, R. Mackenzie, G. Pezzulli, S. Lilly, J. Schaye, R. Bacon, H. Kusakabe, T. Urrutia, L. Boogaard, J. Brinchmann, M.V. Maseda, T. Garel, N.F. Bouché, L. Wisotzki, Monthly Notices of the Royal Astronomical Society 529 (2024) 2794–2806.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Thesis | IST-REx-ID: 14711 | OA
Local adaptation, genetic load and extinction in metapopulations
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15320 | OA
Tuning the Josephson diode response with an ac current
R. Seoane Souto, M. Leijnse, C. Schrade, M. Valentini, G. Katsaros, J. Danon, Physical Review Research 6 (2024).
[Published Version] View | Files available | DOI
 
 

2024 | Journal Article | IST-REx-ID: 15336 | OA
ALMA survey of a massive node of the Cosmic Web at z ∼ 3: I. Discovery of a large overdensity of CO emitters
A. Pensabene, S. Cantalupo, C. Cicone, R. Decarli, M. Galbiati, M. Ginolfi, S. De Beer, M. Fossati, M. Fumagalli, T. Lazeyras, G. Pezzulli, A. Travascio, W. Wang, J.J. Matthee, M.V. Maseda, Astronomy and Astrophysics 684 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 10045 | OA
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15333 | OA
Bubaak-SpLit: Split what you cannot verify (Competition contribution)
M. Chalupa, C. Richter, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, Cham, 2024, pp. 353–358.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15311 | OA
Pushing thermal conductivity to its lower limit in crystals with simple structures
Z. Zeng, X. Shen, R. Cheng, O. Perez, N. Ouyang, Z. Fan, P. Lemoine, B. Raveau, E. Guilmeau, Y. Chen, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Square-free values of random polynomials
T.D. Browning, I.E. Shparlinski, Journal of Number Theory 261 (2024) 220–240.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View | DOI | PubMed | Europe PMC
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12856 | OA
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12086 | OA
A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 12467 | OA
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12737
Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12788 | OA
Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12839 | OA
Superdiffusive energy transport in kinetically constrained models
M. Ljubotina, J.Y. Desaules, M. Serbyn, Z. Papić, Physical Review X 13 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12972 | OA
Directionality-aware design of embroidery patterns
Z. Liu, M. Piovarci, C. Hafner, R. Charrondiere, B. Bickel, Computer Graphics Forum 42 (2023) 397–409.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13117 | OA
Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13129 | OA
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 12964
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

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

2023 | Thesis | IST-REx-ID: 12885 | OA
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 9652 | OA
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

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

Search

Filter Publications