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

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

Kiran, G. K., Singh, S., Mahato, N., Sreekanth, T. V. M., Dillip, G. R., Yoo, K., &; Kim, J. (2024). 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.https://doi.org/10.1021/acsaem.3c02519 
LibreCat: https://research-explorer.ista.ac.at/record/14828
DOI: 10.1021/acsaem.3c02519
WoS: 001138342900001

Clatot, J., Currin, C., Liang, Q., Pipatpolkai, T., Massey, S. L., Helbig, I.,https://doi.org/10.1073/pnas.2307776121__Goldberg, E. M. (2024). A structurally precise mechanism links an epilepsy-associated KCN 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.https://doi.org/10.1073/pnas.2307776121 
LibreCat: https://research-explorer.ista.ac.at/record/14841
DOI: 10.1073/pnas.2307776121
PMID: 38194456

Kramarenko, I., Kerutt, J., Verhamme, A., Oesch, P. A., Barrufet, L., Matthee, J. J.,https://doi.org/10.1093/mnras/stad3853__Thai, T. T. (2024). Linking UV spectral properties of MUSE Ly;1 emitters at zhttps://doi.org/10.1093/mnras/stad3853__3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stad3853 
LibreCat: https://research-explorer.ista.ac.at/record/14852
DOI: 10.1093/mnras/stad3853
arXiv: 2305.07044

De Nooijer, P., Terziadis, S., Weinberger, A., Masárová, Z., Mchedlidze, T., Löffler, M., &; Rote, G. (2024). Removing popular faces in curve arrangements. In 31st International Symposium on Graph Drawing and Network Visualization (Vol. 14466, pp. 18–33). Isola delle Femmine, Palermo, Italy: Springer Nature.https://doi.org/10.1007/978-3-031-49275-4_2 
LibreCat: https://research-explorer.ista.ac.at/record/14888
DOI: 10.1007/978-3-031-49275-4_2
arXiv: 2202.12175

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

Pimenta-Marques, A., Perestrelo, T., Dos Reis Rodrigues, P., Duarte, P., Ferreira-Silva, A., Lince-Faria, M., &; Bettencourt-Dias, M. (2024). An/C is an essential player in the centrosome maintenance program regulated by Polo kinase and the PCM. EMBO Reports. Embo Press.https://doi.org/10.1038/s44319-023-00020-6 
LibreCat: https://research-explorer.ista.ac.at/record/14933
DOI: 10.1038/s44319-023-00020-6

Shaw, T., Buri, P., McCarthy, M., Miles, E. S., &; Pellicciotti, F. (2024). Local controls on near-surface glacier cooling under warm atmospheric conditions. Journal of Geophysical Research: Atmospheres. Wiley.https://doi.org/10.1029/2023JD040214 
LibreCat: https://research-explorer.ista.ac.at/record/14885
DOI: 10.1029/2023JD040214

Fugger, S., Shaw, T., Jouberton, A., Miles, E., Buri, P., McCarthy, M.,https://doi.org/10.1088/1748-9326/ad25a0__Pellicciotti, F. (n.d.). Hydrological regimes and evaporative flux partitioning at the climatic ends of High Mountain Asia. Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/ad25a0 
LibreCat: https://research-explorer.ista.ac.at/record/14938
DOI: 10.1088/1748-9326/ad25a0

Pach, J., Saghafian, M., &; Schnider, P. (2024). Decomposition of geometric graphs into star-forests. In 31st International Symposium on Graph Drawing and Network Visualization (Vol. 14465, pp. 339–346). Isola delle Femmine, Palermo, Italy: Springer Nature.https://doi.org/10.1007/978-3-031-49272-3_23 
LibreCat: https://research-explorer.ista.ac.at/record/15012
DOI: 10.1007/978-3-031-49272-3_23
arXiv: 2306.13201

Goranci, G., Henzinger, M. H., Räcke, H., Sachdeva, S., &; Sricharan, A. R. (2024). Electrical flows for polylogarithmic competitive oblivious routing. In 15th Innovations in Theoretical Computer Science Conference (Vol. 287). Berkeley, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ITCS.2024.55 
LibreCat: https://research-explorer.ista.ac.at/record/15008
DOI: 10.4230/LIPIcs.ITCS.2024.55
arXiv: 2303.02491

Franco, D. G., Avalos, R., Hafner, D., Modic, K. A., Prots, Y., Stockert, O.,https://doi.org/10.1103/PhysRevB.109.054405__Geibel, C. (2024). Frustrated magnetism in octahedra-based Ce6 Ni6 . Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.109.054405 
LibreCat: https://research-explorer.ista.ac.at/record/15003
DOI: 10.1103/PhysRevB.109.054405

Shimura, Y., Godfrin, C., Hikavyy, A., Li, R., Aguilera Servin, J. L., Katsaros, G.,https://doi.org/10.1016/j.mssp.2024.108231__Loo, R. (2024). Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. Elsevier.https://doi.org/10.1016/j.mssp.2024.108231 
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

Datler, J., Hansen, J., Thader, A., Schlögl, A., Bauer, L. W., Hodirnau, V.-V., &; Schur, F. K. (2024). Multi-modal cryo-EM reveals trimers of proteinhttps://doi.org/10.1038/s41594-023-01201-6__to form the palisade layer in poxvirus cores. Nature Structural &; Molecular Biology. Springer Nature.https://doi.org/10.1038/s41594-023-01201-6 
LibreCat: https://research-explorer.ista.ac.at/record/14979
DOI: 10.1038/s41594-023-01201-6
PMID: 38316877

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

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

Greene, J. E., Labbe, I., Goulding, A. D., Furtak, L. J., Chemerynska, I., Kokorev, V.,https://doi.org/10.3847/1538-4357/ad1e5f__Zitrin, A. (2024). UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z &; 5. Astrophysical Journal. IOP Publishing.https://doi.org/10.3847/1538-4357/ad1e5f 
LibreCat: https://research-explorer.ista.ac.at/record/15170
DOI: 10.3847/1538-4357/ad1e5f
arXiv: 2309.05714

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

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

Matthee, J. J., Naidu, R. P., Brammer, G., Chisholm, J., Eilers, A.-C., Goulding, A.,https://doi.org/10.3847/1538-4357/ad2345__Yue, M. (2024). Little Red Dots: An abundant population of faint active galactic nuclei at z c 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. American Astronomical Society.https://doi.org/10.3847/1538-4357/ad2345 
LibreCat: https://research-explorer.ista.ac.at/record/15180
DOI: 10.3847/1538-4357/ad2345

Matthee, J. J., Golling, C., Mackenzie, R., Pezzulli, G., Lilly, S., Schaye, J.,https://doi.org/10.1093/mnras/stae673__Wisotzki, L. (2024). Large-scale excess H I absorption around zhttps://doi.org/10.1093/mnras/stae673__4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stae673 
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Olusanya, O. O. (2024). Local adaptation, genetic load and extinction in metapopulations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14711 
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Seoane Souto, R., Leijnse, M., Schrade, C., Valentini, M., Katsaros, G., &; Danon, J. (2024). Tuning the Josephson diode response with an ac current. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.6.L022002 
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

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

Pensabene, A., Cantalupo, S., Cicone, C., Decarli, R., Galbiati, M., Ginolfi, M.,https://doi.org/10.1051/0004-6361/202348659__Maseda, M. V. (2024). ALMA survey of a massive node of the Cosmic Web at z c 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/202348659 
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z.,https://doi.org/10.1038/s41467-024-46799-3__Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-46799-3 
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

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

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

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

Barton, N. H., &; Sachdeva, H. (2024). Limits to selection on standing variation in an asexual population. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2024.04.001 
LibreCat: https://research-explorer.ista.ac.at/record/15358
DOI: 10.1016/j.tpb.2024.04.001
PMID: 38643838

Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J.,https://doi.org/10.1038/s41467-024-47830-3__Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47830-3 
LibreCat: https://research-explorer.ista.ac.at/record/15372
DOI: 10.1038/s41467-024-47830-3
PMID: 38688943

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M.,https://doi.org/10.1038/s41588-022-01260-3__van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-022-01260-3 
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Arroyo-Urea, S., Watson, J., &; García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature.https://doi.org/10.1007/978-1-0716-3004-4_3 
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

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

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., &; Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. American Chemical Society.https://doi.org/10.1021/acs.inorgchem.3c00057 
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

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

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

Redchenko, E., Poshakinskiy, A. V., Sett, R., Zemlicka, M., Poddubny, A. N., &; Fink, J. M. (2023). Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-38761-6 
LibreCat: https://research-explorer.ista.ac.at/record/13117
DOI: 10.1038/s41467-023-38761-6
WoS: 001001099700002
arXiv: 2205.03293

Clozeau, N., Josien, M., Otto, F., &; Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature.https://doi.org/10.1007/s10208-023-09613-y 
LibreCat: https://research-explorer.ista.ac.at/record/13129
DOI: 10.1007/s10208-023-09613-y
WoS: 000999623100001

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

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

Dymond, M., &; Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s11856-022-2448-6 
LibreCat: https://research-explorer.ista.ac.at/record/9652
DOI: 10.1007/s11856-022-2448-6
WoS: 000904950300003
arXiv: 1903.05923

Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S.,https://doi.org/10.1021/acs.chemmater.2c03542__Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society.https://doi.org/10.1021/acs.chemmater.2c03542 
LibreCat: https://research-explorer.ista.ac.at/record/12331
DOI: 10.1021/acs.chemmater.2c03542
WoS: 000914749700001

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

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

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

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

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

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

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37703-7_17 
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A.,https://doi.org/10.1245/s10434-022-12459-3__Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature.https://doi.org/10.1245/s10434-022-12459-3 
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

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

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

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

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

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

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

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

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

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

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

Boissonnat, J. D., &; Wintraecken, M. (2023). The reach of subsets of manifolds. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00116-x 
LibreCat: https://research-explorer.ista.ac.at/record/12763
DOI: 10.1007/s41468-023-00116-x

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

Dodis, Y., Ferguson, N., Goldin, E., Hall, P., &; Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-38545-2_17 
LibreCat: https://research-explorer.ista.ac.at/record/14428
DOI: 10.1007/978-3-031-38545-2_17

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

Dubach, G., &; Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-ECP516 
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

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

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

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

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

Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H.,https://doi.org/10.1007/s11263-023-01899-3__Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature.https://doi.org/10.1007/s11263-023-01899-3 
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K.,https://doi.org/10.4230/LIPIcs.AFT.2023.7__Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.AFT.2023.7 
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

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

Bhattacharya, S., Henzinger, M. H., Nanongkai, D., &; Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/21M1428649 
LibreCat: https://research-explorer.ista.ac.at/record/14558
DOI: 10.1137/21M1428649

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

Kaiyrzhanov, R., Rad, A., Lin, S.-J., Bertoli-Avella, A., Kallemeijn, W. W., Godwin, A.,https://doi.org/10.1093/brain/awad380__Maroofian, R. (2023). Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. Oxford University Press.https://doi.org/10.1093/brain/awad380 
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A.,https://doi.org/10.1126/sciadv.add6495__Schur, F. K. (2023). Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science.https://doi.org/10.1126/sciadv.add6495 
LibreCat: https://research-explorer.ista.ac.at/record/12334
DOI: 10.1126/sciadv.add6495
WoS: 000964550100015

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

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

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

Scarpetta, S., Morrisi, N., Mutti, C., Azzi, N., Trippi, I., Ciliento, R.,https://doi.org/10.1016/j.isci.2023.107840__Vaudano, A. E. (2023). Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. IScience. Elsevier.https://doi.org/10.1016/j.isci.2023.107840 
LibreCat: https://research-explorer.ista.ac.at/record/12487
DOI: 10.1016/j.isci.2023.107840
WoS: 001082331200001
PMID: 37766992

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

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

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

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

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

Méhes, E., Mones, E., Varga, M., Zsigmond, Á., Biri-Kovács, B., Nyitray, L.,https://doi.org/10.1038/s42003-023-05181-7__Vicsek, T. (2023). 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. Springer Nature.https://doi.org/10.1038/s42003-023-05181-7 
LibreCat: https://research-explorer.ista.ac.at/record/14041
DOI: 10.1038/s42003-023-05181-7
WoS: 001042544100001
PMID: 37542157

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

Puixeu Sala, G. (2023). 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.https://doi.org/10.15479/at:ista:14058 
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

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

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

Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C.,https://doi.org/10.1002/adma.202305128__Cabot, A. (n.d.). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. Wiley.https://doi.org/10.1002/adma.202305128 
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532