Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14820
DOI: 10.1016/j.tcs.2023.114353

Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers
A.H. Hansen, S. Hippenmeyer, STAR Protocols 5 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14794
DOI: 10.1016/j.xpro.2023.102795
PMID: 38165800

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.
LibreCat: https://research-explorer.ista.ac.at/record/14828
DOI: 10.1021/acsaem.3c02519
WoS: 001138342900001

A structurally precise mechanism links an epilepsy-associated KCN 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).
LibreCat: https://research-explorer.ista.ac.at/record/14841
DOI: 10.1073/pnas.2307776121
PMID: 38194456

Linking UV spectral properties of MUSE Ly;1 emitters at <i>z</i>  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.
LibreCat: https://research-explorer.ista.ac.at/record/14852
DOI: 10.1093/mnras/stad3853
arXiv: 2305.07044

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.
LibreCat: https://research-explorer.ista.ac.at/record/14888
DOI: 10.1007/978-3-031-49275-4_2
arXiv: 2202.12175

Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions
E. Davoli, L. D’Elia, J. Ingmanns, Journal of Nonlinear Science 34 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14884
DOI: 10.1007/s00332-023-10005-3
arXiv: 2306.05151

An/C 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.
LibreCat: https://research-explorer.ista.ac.at/record/14933
DOI: 10.1038/s44319-023-00020-6

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).
LibreCat: https://research-explorer.ista.ac.at/record/14885
DOI: 10.1029/2023JD040214

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.).
LibreCat: https://research-explorer.ista.ac.at/record/14938
DOI: 10.1088/1748-9326/ad25a0

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.
LibreCat: https://research-explorer.ista.ac.at/record/15012
DOI: 10.1007/978-3-031-49272-3_23
arXiv: 2306.13201

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.
LibreCat: https://research-explorer.ista.ac.at/record/15008
DOI: 10.4230/LIPIcs.ITCS.2024.55
arXiv: 2303.02491

Frustrated magnetism in octahedra-based Ce6 Ni6 
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).
LibreCat: https://research-explorer.ista.ac.at/record/15003
DOI: 10.1103/PhysRevB.109.054405

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).
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

Multi-modal cryo-EM reveals trimers of protein  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).
LibreCat: https://research-explorer.ista.ac.at/record/14979
DOI: 10.1038/s41594-023-01201-6
PMID: 38316877

Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15020
DOI: 10.15479/at:ista:15020

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15121
DOI: 10.1007/s10107-024-02066-3
arXiv: 2301.09217

UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5
J.E. Greene, I. Labbe, A.D. Goulding, L.J. Furtak, I. Chemerynska, V. Kokorev, P. Dayal, M. Volonteri, C.C. Williams, B. Wang, D.J. Setton, A.J. Burgasser, R. Bezanson, H. Atek, G. Brammer, S.E. Cutler, R. Feldmann, S. Fujimoto, K. Glazebrook, A. De Graaff, G. Khullar, J. Leja, D. Marchesini, M.V. Maseda, J.J. Matthee, T.B. Miller, R.P. Naidu, T. Nanayakkara, P.A. Oesch, R. Pan, C. Papovich, S.H. Price, P. Van Dokkum, J.R. Weaver, K.E. Whitaker, A. Zitrin, Astrophysical Journal 964 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15170
DOI: 10.3847/1538-4357/ad1e5f
arXiv: 2309.05714

Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Oprsal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Little Red Dots: An abundant population of faint active galactic nuclei at z c 5 revealed by the EIGER and FRESCO JWST surveys
J.J. Matthee, R.P. Naidu, G. Brammer, J. Chisholm, A.-C. Eilers, A. Goulding, J. Greene, D. Kashino, I. Labbe, S.J. Lilly, R. Mackenzie, P.A. Oesch, A. Weibel, S. Wuyts, M. Xiao, R. Bordoloi, R. Bouwens, P. van Dokkum, G. Illingworth, I. Kramarenko, M.V. Maseda, C. Mason, R.A. Meyer, E.J. Nelson, N.A. Reddy, I. Shivaei, R.A. Simcoe, M. Yue, The Astrophysical Journal 963 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15180
DOI: 10.3847/1538-4357/ad2345

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.
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

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.
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

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).
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

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
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Journal of Energy Storage 88 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15314
DOI: 10.1016/j.est.2024.111464

ALMA survey of a massive node of the Cosmic Web at z c 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).
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

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).
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

Square-free values of random polynomials
T.D. Browning, I.E. Shparlinski, Journal of Number Theory 261 (2024) 220–240.
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493

Bubaak-SpLit: Split what you cannot verify (Competition contribution)
M. Chalupa, C. Richter, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 353–358.
LibreCat: https://research-explorer.ista.ac.at/record/15333
DOI: 10.1007/978-3-031-57256-2_20

In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 365 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15348
DOI: 10.1016/j.matlet.2024.136483

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.
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

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.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

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.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

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.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

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.
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Certifying giant nonprimes
C. Hoffmann, P. Hubádek, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

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.
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

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.
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

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.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies 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.
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067

Superdiffusive energy transport in kinetically constrained models
M. Ljubotina, J.Y. Desaules, M. Serbyn, Z. Papi, Physical Review X 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12839
DOI: 10.1103/PhysRevX.13.011033
WoS: 000957625700001

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).
LibreCat: https://research-explorer.ista.ac.at/record/13117
DOI: 10.1038/s41467-023-38761-6
WoS: 001001099700002
arXiv: 2205.03293

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).
LibreCat: https://research-explorer.ista.ac.at/record/13129
DOI: 10.1007/s10208-023-09613-y
WoS: 000999623100001

Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
LibreCat: https://research-explorer.ista.ac.at/record/13970
DOI: 10.15227/orgsyn.100.0271

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.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
LibreCat: https://research-explorer.ista.ac.at/record/9652
DOI: 10.1007/s11856-022-2448-6
WoS: 000904950300003
arXiv: 1903.05923

Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
LibreCat: https://research-explorer.ista.ac.at/record/12331
DOI: 10.1021/acs.chemmater.2c03542
WoS: 000914749700001

scChIX-seq infers dynamic relationships between histone modifications in single cells
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
LibreCat: https://research-explorer.ista.ac.at/record/12106
DOI: 10.1038/s41587-022-01560-3
WoS: 000909067600003

The Bose Gas in a box with Neumann boundary conditions
C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.
LibreCat: https://research-explorer.ista.ac.at/record/12183
DOI: 10.1007/s00023-022-01252-3
WoS: 000910751800002
arXiv: 2205.15284

Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
LibreCat: https://research-explorer.ista.ac.at/record/12543
DOI: 10.1038/s41559-023-01981-6
WoS: 000924572800001
PMID: 36732670

Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering
J. Hales, U. Bajpai, T. Liu, D.R. Baykusheva, M. Li, M. Mitrano, Y. Wang, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13989
DOI: 10.1038/s41467-023-38540-3
PMID: 37316515
arXiv: 2209.02283

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

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
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

Neuronal ER-plasma membrane junctions couple excitation to C+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14253
DOI: 10.1038/s41467-023-40930-6
PMID: 37633939

Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14319
DOI: 10.37236/11714
arXiv: 2212.03100

Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 10.1007/978-3-031-37709-9_2

MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 10.1007/978-3-031-37709-9_5

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
LibreCat: https://research-explorer.ista.ac.at/record/10770
DOI: 10.1007/s13235-022-00425-3
WoS: 000753777100001

A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence
B. Wagner, V. Slipogor, J. Oh, M. Varga, M. Hoeschele, Developmental Science 26 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12961
DOI: 10.1111/desc.13395
PMID: 37101383

Erds-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12680
DOI: 10.1016/j.disc.2023.113363
arXiv: 2201.10892

Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
LibreCat: https://research-explorer.ista.ac.at/record/12709
DOI: 10.1007/s00454-022-00476-8
WoS: 000936496800001
arXiv: 2103.07823

The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology 7 (2023) 619–641.
LibreCat: https://research-explorer.ista.ac.at/record/12763
DOI: 10.1007/s41468-023-00116-x

On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift
P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
LibreCat: https://research-explorer.ista.ac.at/record/14410
DOI: 10.1007/978-3-031-40773-4_6

Random oracle combiners: Breaking the concatenation barrier for collision-resistance
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
LibreCat: https://research-explorer.ista.ac.at/record/14428
DOI: 10.1007/978-3-031-38545-2_17

Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13200
DOI: 10.1038/s41467-023-39493-3
WoS: 001018100800002
PMID: 37355691
arXiv: 2210.12443

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
LibreCat: https://research-explorer.ista.ac.at/record/8682
DOI: 10.4007/annals.2023.197.3.3
WoS: 000966611000003
arXiv: 2006.02356

Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
LibreCat: https://research-explorer.ista.ac.at/record/14457
DOI: 10.1007/978-3-031-44469-2_11

Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
LibreCat: https://research-explorer.ista.ac.at/record/14454
DOI: 10.1007/978-3-031-44267-4_15
arXiv: 2308.00341

The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
LibreCat: https://research-explorer.ista.ac.at/record/14441
DOI: 10.1007/s00220-023-04841-3
arXiv: 2207.03156

A deeper analysis of volumetric relightiable faces
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

STROBE: Streaming Threshold Random Beacons
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
LibreCat: https://research-explorer.ista.ac.at/record/13119
DOI: 10.1038/s41586-023-06018-3
WoS: 001001139300008

Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
LibreCat: https://research-explorer.ista.ac.at/record/14558
DOI: 10.1137/21M1428649

Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
LibreCat: https://research-explorer.ista.ac.at/record/14559
DOI: 10.1007/978-3-031-45329-8_17

Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
R. Kaiyrzhanov, A. Rad, S.-J. Lin, A. Bertoli-Avella, W.W. Kallemeijn, A. Godwin, M.S. Zaki, K. Huang, T. Lau, C. Petree, S. Efthymiou, E. Ghayoor Karimiani, M. Hempel, E.A. Normand, S. Rudnik-Schöneborn, U.A. Schatz, M.P. Baggelaar, M. Ilyas, T. Sultan, J.R. Alvi, M. Ganieva, B. Fowler, R. Aanicai, G. Akay Tayfun, A. Al Saman, A. Alswaid, N. Amiri, N. Asilova, V. Shotelersuk, P. Yeetong, M. Azam, M. Babaei, G. Bahrami Monajemi, P. Mohammadi, S. Samie, S.H. Banu, J.P. Basto, F. Kortüm, M. Bauer, P. Bauer, C. Beetz, M. Garshasbi, A. Hameed Issa, W. Eyaid, H. Ahmed, N. Hashemi, K. Hassanpour, I. Herman, S. Ibrohimov, B.A. Abdul-Majeed, M. Imdad, M. Isrofilov, Q. Kaiyal, S. Khan, B. Kirmse, J. Koster, C.M. Lourenço, T. Mitani, O. Moldovan, D. Murphy, M. Najafi, D. Pehlivan, M.E. Rocha, V. Salpietro, M. Schmidts, A. Shalata, M. Mahroum, J.K. Talbeya, R.W. Taylor, D. Vazquez, A. Vetro, H.R. Waterham, M. Zaman, T.A. Schrader, W.K. Chung, R. Guerrini, J.R. Lupski, J. Gleeson, M. Suri, Y. Jamshidi, K.P. Bhatia, B. Vona, M. Schrader, M. Severino, M. Guille, E.W. Tate, G.K. Varshney, H. Houlden, R. Maroofian, Brain (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning
F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V. Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12334
DOI: 10.1126/sciadv.add6495
WoS: 000964550100015

Research data of the publication "Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning"
F.K. Schur, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14562
DOI: 10.15479/AT:ISTA:14562

Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Sari, R. Dimova, M.G. Gutierrez, Nature (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14610
DOI: 10.1038/s41586-023-06726-w
PMID: 37968398

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.
LibreCat: https://research-explorer.ista.ac.at/record/13238
DOI: 10.1007/978-3-031-32733-9_26
arXiv: 2204.13459

Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture
S. Scarpetta, N. Morrisi, C. Mutti, N. Azzi, I. Trippi, R. Ciliento, I. Apicella, G. Messuti, M. Angiolelli, F. Lombardi, L. Parrino, A.E. Vaudano, IScience 26 (2023) 107840.
LibreCat: https://research-explorer.ista.ac.at/record/12487
DOI: 10.1016/j.isci.2023.107840
WoS: 001082331200001
PMID: 37766992

Correlation energy of a weakly interacting Fermi gas with large interaction potential
N.P. Benedikter, M. Porta, B. Schlein, R. Seiringer, Archive for Rational Mechanics and Analysis 247 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13225
DOI: 10.1007/s00205-023-01893-6
WoS: 001024369000001
arXiv: 2106.13185

Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13227
DOI: 10.1038/s41467-023-39656-2
WoS: 001024729900009
PMID: 37407570

Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13271
DOI: 10.1007/s00023-023-01345-7
WoS: 001025709100001
arXiv: 2108.05785

Eigenstate thermalisation hypothesis for translation invariant spin systems
S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13317
DOI: 10.1007/s10955-023-03132-4
WoS: 001035677200002
arXiv: 2304.04213

The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13974
DOI: 10.1007/s00454-023-00532-x
WoS: 001038546500001
arXiv: 1812.04911

3D cell segregation geometry and dynamics are governed by tissue surface tension regulation
E. Méhes, E. Mones, M. Varga, Á. Zsigmond, B. Biri-Kovács, L. Nyitray, V. Barone, G. Krens, C.-P.J. Heisenberg, T. Vicsek, Communications Biology 6 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14041
DOI: 10.1038/s42003-023-05181-7
WoS: 001042544100001
PMID: 37542157

The Yc accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis
Z. Zhao, I. Vercellino, J. Knoppová, R. Sobotka, J.W. Murray, P.J. Nixon, L.A. Sazanov, J. Komenda, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14040
DOI: 10.1038/s41467-023-40388-6
WoS: 001042606700004

The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, 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.
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, : Genes, Genomes, Genetics 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

On angles in higher order Brillouin tessellations and related tilings in the plane
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14345
DOI: 10.1007/s00454-023-00566-1
WoS: 001060727600004
arXiv: 2204.01076

A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532

(Verifiable) delay functions from Lucas sequences
C. Hoffmann, P. Hubádek, C. Kamath, T. Krák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
LibreCat: https://research-explorer.ista.ac.at/record/14693
DOI: 10.1007/978-3-031-48624-1_13