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

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

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

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

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

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

Auerbach, B., Cueto Noval, M., Pascual Perez, G., &; Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_10 
LibreCat: https://research-explorer.ista.ac.at/record/14691
DOI: 10.1007/978-3-031-48621-0_10

Auerbach, B., Hoffmann, C., &; Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_11 
LibreCat: https://research-explorer.ista.ac.at/record/14692
DOI: 10.1007/978-3-031-48621-0_11

Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14697 
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

Pastva, S., &; Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press.https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X.,https://doi.org/10.1093/plcell/koad324__Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press.https://doi.org/10.1093/plcell/koad324 
LibreCat: https://research-explorer.ista.ac.at/record/14726
DOI: 10.1093/plcell/koad324

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D.,https://doi.org/10.46298/DMTCS.8383__Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences.https://doi.org/10.46298/DMTCS.8383 
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

Stefo, C., Xiang, Z., &; Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_1 
LibreCat: https://research-explorer.ista.ac.at/record/14735
DOI: 10.1007/978-3-031-47754-6_1

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., &; Yeo, M. X. (2023). : Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_18 
LibreCat: https://research-explorer.ista.ac.at/record/14736
DOI: 10.1007/978-3-031-47754-6_18

Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., &; Wattenhofer, R. (2023). Divide &; Scale: Formalization and roadmap to robust sharding. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature.https://doi.org/10.1007/978-3-031-32733-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/14744
DOI: 10.1007/978-3-031-32733-9_10

Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/tit.2023.3257239 
LibreCat: https://research-explorer.ista.ac.at/record/14751
DOI: 10.1109/tit.2023.3257239
arXiv: 2101.12426

Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina, R. A., Chichkova, N. V., &; Vartapetian, A. B. (2023). Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms242216527 
LibreCat: https://research-explorer.ista.ac.at/record/14776
DOI: 10.3390/ijms242216527
WoS: 001113792600001
PMID: 38003717

Schnelli, K., &; Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/22-aap1826 
LibreCat: https://research-explorer.ista.ac.at/record/14775
DOI: 10.1214/22-aap1826
WoS: 000946432400021
arXiv: 2108.02728

Dymond, M., &; Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature.https://doi.org/10.1007/s10711-023-00862-3 
LibreCat: https://research-explorer.ista.ac.at/record/9651
DOI: 10.1007/s10711-023-00862-3
WoS: 001105681500001
arXiv: 2102.13046

Cohen-Addad, V., Saulpic, D., &; Schwiegelshohn, C. (2023). Deterministic clustering in high dimensional spaces: Sketches and approximation. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (pp. 1105–1130). Santa Cruz, CA, United States: IEEE.https://doi.org/10.1109/focs57990.2023.00066 
LibreCat: https://research-explorer.ista.ac.at/record/14768
DOI: 10.1109/focs57990.2023.00066
arXiv: 2310.04076

Baldauf, L., Frey, F. F., Arribas Perez, M., Idema, T., &; Koenderink, G. H. (2023). Branched actin cortices reconstituted in vesicles sense membrane curvature. Biophysical Journal. Elsevier.https://doi.org/10.1016/j.bpj.2023.02.018 
LibreCat: https://research-explorer.ista.ac.at/record/14782
DOI: 10.1016/j.bpj.2023.02.018
WoS: 001016792600001
PMID: 36806830

Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.https://doi.org/10.15479/14539 
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

Kisan, J. M., &; Svoboda, J. (2023). Shortest dominating set reconfiguration under token sliding. In 24th International Symposium on Fundamentals of Computation Theory (Vol. 14292, pp. 333–347). Trier, Germany: Springer Nature.https://doi.org/10.1007/978-3-031-43587-4_24 
LibreCat: https://research-explorer.ista.ac.at/record/14456
DOI: 10.1007/978-3-031-43587-4_24
arXiv: 2307.10847

Cohen, S., Goren, G., Kokoris Kogias, E., Sonnino, A., &; Spiegelman, A. (2023). Proof of availability and retrieval in a modular blockchain architecture. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47751-5_3 
LibreCat: https://research-explorer.ista.ac.at/record/14829
DOI: 10.1007/978-3-031-47751-5_3

Zikelic, D., Lechner, M., Henzinger, T. A., &; Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v37i10.26407 
LibreCat: https://research-explorer.ista.ac.at/record/14830
DOI: 10.1609/aaai.v37i10.26407
arXiv: 2210.05308

Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., &; Fink, J. M. (2023). Entangling microwaves and telecom wavelength light. In Frontiers in Optics + Laser Science 2023. Tacoma, WA, United States: Optica Publishing Group.https://doi.org/10.1364/ls.2023.lm1f.3 
LibreCat: https://research-explorer.ista.ac.at/record/14872
DOI: 10.1364/ls.2023.lm1f.3

Qi, L., &; Friml, J. (2023). Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. Wiley.https://doi.org/10.1111/nph.19123 
LibreCat: https://research-explorer.ista.ac.at/record/13266
DOI: 10.1111/nph.19123
WoS: 001026321500001
PMID: 37434303

Polyanskii, N., &; Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/TIT.2023.3292219 
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

Mohammadi, A., Pham, T., &; Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. Cambridge University Press.https://doi.org/10.4153/S000843952300036X 
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y.,https://doi.org/10.1016/j.xplc.2023.100632__Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier .https://doi.org/10.1016/j.xplc.2023.100632 
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

Fang, L., Huang, H., Pach, J., Tardos, G., &; Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier.https://doi.org/10.1016/j.jcta.2023.105776 
LibreCat: https://research-explorer.ista.ac.at/record/13165
DOI: 10.1016/j.jcta.2023.105776
arXiv: 2206.13592

Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., &; Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier.https://doi.org/10.1016/j.synthmet.2023.117463 
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., &; Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences.https://doi.org/10.46298/theoretics.23.4 
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Montagna, F., Noceti, N., Rosasco, L., &; Locatello, F. (n.d.). Shortcuts for causal discovery of nonlinear models by score matching. arXiv.https://doi.org/10.48550/arXiv.2310.14246 
LibreCat: https://research-explorer.ista.ac.at/record/14961
DOI: 10.48550/arXiv.2310.14246
arXiv: 2310.14246

Benes, N., Brim, L., Pastva, S., Safránek, D., &; Smijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-42697-1_2 
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Lewin, M., Lieb, E. H., &; Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances &; G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer.https://doi.org/10.1007/978-3-031-22340-2_3 
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14280 
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37709-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_25 
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification  (Vol. 13964, pp. 156–169). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37706-8_8 
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/10.5281/ZENODO.7877757 
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature.https://doi.org/10.1007/978-3-031-44267-4_9 
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13984 
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Zheng, D. W., &; Henzinger, M. H. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature.https://doi.org/10.1007/978-3-031-32726-1_32 
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Kwan, M. A., Sah, A., &; Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences.https://doi.org/10.5802/crmath.423 
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Michael, A. K., Stoos, L., Crosby, P., Eggers, N., Nie, X. Y., Makasheva, K.,https://doi.org/10.1038/s41586-023-06282-3__Thomä, N. H. (2023). Cooperation between bHLH transcription factors and histones for DNA access. Nature. Springer Nature.https://doi.org/10.1038/s41586-023-06282-3 
LibreCat: https://research-explorer.ista.ac.at/record/15148
DOI: 10.1038/s41586-023-06282-3

Isbel, L., Iskar, M., Durdu, S., Weiss, J., Grand, R. S., Hietter-Pfeiffer, E.,https://doi.org/10.1038/s41594-023-01021-8__Schübeler, D. (2023). Readout of histone methylation by Trim24 locally restricts chromatin opening by . Nature Structural &; Molecular Biology. Springer Nature.https://doi.org/10.1038/s41594-023-01021-8 
LibreCat: https://research-explorer.ista.ac.at/record/15149
DOI: 10.1038/s41594-023-01021-8
PMID: 37386214

Burdge, K. B., El-Badry, K., Rappaport, S., Sunny Wong, T. L., Bauer, E. B., Bildsten, L.,https://doi.org/10.3847/2041-8213/ace7cf__Smith, R. (2023). Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. American Astronomical Society.https://doi.org/10.3847/2041-8213/ace7cf 
LibreCat: https://research-explorer.ista.ac.at/record/15196
DOI: 10.3847/2041-8213/ace7cf
arXiv: 2303.13573

Fleury, L., Caiazzo, I., &; Heyl, J. (2023). The origin of ultramassive white dwarfs: hints from Gaia ED. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stad068 
LibreCat: https://research-explorer.ista.ac.at/record/15199
DOI: 10.1093/mnras/stad068
arXiv: 2205.01015

Zane, S., Taverna, R., González–Caniulef, D., Muleri, F., Turolla, R., Heyl, J.,https://doi.org/10.3847/2041-8213/acb703__Xie, F. (2023). A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. American Astronomical Society.https://doi.org/10.3847/2041-8213/acb703 
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

Fedorov, A., Hashemi, D., Nadiradze, G., &; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3558481.3591082 
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12491 
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Kravchuk, V. (2023). Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12781 
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12809 
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Gnyliukh, N. (2023). Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14510 
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Hafner, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12897 
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Michalska, J. M. (2023). A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12470 
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &; Da Costa, A. O. (2022). Flavors of sequential information flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13182, pp. 1–19). Philadelphia, PA, United States: Springer Nature.https://doi.org/10.1007/978-3-030-94583-1_1 
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

Kroll, J., Ruiz-Fernandez, M. J. A., Braun, M. B., Merrin, J., &; Renkawitz, J. (2022). Quantifying the probing and selection of microenvironmental pores by motile immune cells. Current Protocols. Wiley.https://doi.org/10.1002/cpz1.407 
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

Chambers, E., Fillmore, C. D., Stephenson, E. R., &; Wintraecken, M. (2022). A cautionary tale: Burning the medial axis is unstable. In X. Goaoc &; M. Kerber (Eds.), 38th International Symposium on Computational Geometry (Vol. 224, p. 66:1-66:9). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2022.66 
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Karimipour, F., &; Storandt, S. (Eds.). (2022). Web and Wireless Geographical Information Systems (1st ed., Vol. 13238). Cham: Springer Nature.https://doi.org/10.1007/978-3-031-06245-2 
LibreCat: https://research-explorer.ista.ac.at/record/11429
DOI: 10.1007/978-3-031-06245-2

Bleile, B., Garin, A., Heiss, T., Maggs, K., &; Robins, V. (2022). The persistent homology of dual digital image constructions. In E. Gasparovic, V. Robins, &; K. Turner (Eds.), Research in Computational Topology 2 (1st ed., Vol. 30, pp. 1–26). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-95519-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/11440
DOI: 10.1007/978-3-030-95519-9_1
arXiv: 2102.11397

Kusakabe, H., Verhamme, A., Blaizot, J., Garel, T., Wisotzki, L., Leclercq, F.,https://doi.org/10.1051/0004-6361/202142302__Vitte, E. (2022). The MUSE eXtremely Deep Field: Individual detections of Ly;1 haloes around rest-frame UV-selected galaxies at zhttps://doi.org/10.1051/0004-6361/202142302__2.9–4.4. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/202142302 
LibreCat: https://research-explorer.ista.ac.at/record/11488
DOI: 10.1051/0004-6361/202142302
arXiv: 2201.07257

Matthee, J. J., Feltre, A., Maseda, M., Nanayakkara, T., Boogaard, L., Bacon, R.,https://doi.org/10.1051/0004-6361/202142187__Wisotzki, L. (2022). Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field. Astronomy &; Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/202142187 
LibreCat: https://research-explorer.ista.ac.at/record/11490
DOI: 10.1051/0004-6361/202142187
arXiv: 2111.14855

Isobe, Y., Ouchi, M., Suzuki, A., Moriya, T. J., Nakajima, K., Nomoto, K.,https://doi.org/10.3847/1538-4357/ac3509__Xu, Y. (2022). EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M= 10<sup>4</sup>-10<sup>5</sup> and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae. The Astrophysical Journal. IOP Publishing.https://doi.org/10.3847/1538-4357/ac3509 
LibreCat: https://research-explorer.ista.ac.at/record/11509
DOI: 10.3847/1538-4357/ac3509
arXiv: 2108.03850

Matthee, J. J., Naidu, R. P., Pezzulli, G., Gronke, M., Sobral, D., Oesch, P. A.,https://doi.org/10.1093/mnras/stac801__Röttgering, H. (2022). (Re)Solving reionization with Ly;1: How bright Ly;1 emitters account for the zhttps://doi.org/10.1093/mnras/stac801__2https://doi.org/10.1093/mnras/stac801__8 cosmic ionizing background. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stac801 
LibreCat: https://research-explorer.ista.ac.at/record/11521
DOI: 10.1093/mnras/stac801
arXiv: 2110.11967

Clark, T., Drach, K., Kozlovski, O., &; Strien, S. V. (2022). The dynamics of complex box mappings. Arnold Mathematical Journal. Springer Nature.https://doi.org/10.1007/s40598-022-00200-7 
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

Zinn, J. C., Stello, D., Elsworth, Y., García, R. A., Kallinger, T., Mathur, S.,https://doi.org/10.3847/1538-4357/ac2c83__Silva Aguirre, V. (2022). The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8. The Astrophysical Journal. IOP Publishing.https://doi.org/10.3847/1538-4357/ac2c83 
LibreCat: https://research-explorer.ista.ac.at/record/11601
DOI: 10.3847/1538-4357/ac2c83
arXiv: 2108.05455

Hanauer, K., Henzinger, M. H., &; Hua, Q. C. (2022). Fully dynamic four-vertex subgraph counting. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 221). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SAND.2022.18 
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

Henzinger, M. H., Lincoln, A., &; Saha, B. (2022). The complexity of average-case dynamic subgraph counting. In 33rd Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 459–498). Alexandria, VA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611977073.23 
LibreCat: https://research-explorer.ista.ac.at/record/11918
DOI: 10.1137/1.9781611977073.23

Polyanskii, N., &; Zhang, Y. (2022). List-decodable zero-rate codes for the Z-channel. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2553–2558). Espoo, Finland: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/ISIT50566.2022.9834829 
LibreCat: https://research-explorer.ista.ac.at/record/12019
DOI: 10.1109/ISIT50566.2022.9834829

Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12072 
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

Garcia Soto, M., Henzinger, T. A., &; Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_22 
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Das, S., Yurek, T., Xiang, Z., Miller, A., Kokoris Kogias, E., &; Ren, L. (2022). Practical asynchronous distributed key generation. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/sp46214.2022.9833584 
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Mirkovi, I., Yang, Y., &; Zhao, G. (2022). Loop Grassmannians of Quivers and Affine Quantum Groups. In V. Baranovskky, N. Guay, &; T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser.https://doi.org/10.1007/978-3-030-82007-7_8 
LibreCat: https://research-explorer.ista.ac.at/record/12303
DOI: 10.1007/978-3-030-82007-7_8
arXiv: 1810.10095

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., &; Soudjani, S. (2022). A direct symbolic algorithm for solving stochastic rabin games. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature.https://doi.org/10.1007/978-3-030-99527-0_5 
LibreCat: https://research-explorer.ista.ac.at/record/12529
DOI: 10.1007/978-3-030-99527-0_5

Miles, E. S., Steiner, J. F., Buri, P., Immerzeel, W. W., &; Pellicciotti, F. (2022). Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/ac6966 
LibreCat: https://research-explorer.ista.ac.at/record/12582
DOI: 10.1088/1748-9326/ac6966

Kneib, M., Miles, E. S., Buri, P., Fugger, S., McCarthy, M., Shaw, T. E.,https://doi.org/10.5194/tc-16-4701-2022__Pellicciotti, F. (2022). Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. Copernicus Publications.https://doi.org/10.5194/tc-16-4701-2022 
LibreCat: https://research-explorer.ista.ac.at/record/12574
DOI: 10.5194/tc-16-4701-2022

Prach, B., &; Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-19803-8_21 
LibreCat: https://research-explorer.ista.ac.at/record/11839
DOI: 10.1007/978-3-031-19803-8_21
arXiv: 2208.03160

Schlögl, A., Hornoiu, A., Elefante, S., &; Stadlbauer, S. (2022). Where is the sweet spot? A procurement story of general purpose compute nodes. In ASHP - Austrian-Slovenian HPC Meeting 2022 (p. 7). Grundlsee, Austria: EuroCC Austria c/o Universität Wien.https://doi.org/10.25365/phaidra.337 
LibreCat: https://research-explorer.ista.ac.at/record/12894
DOI: 10.25365/phaidra.337

Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.https://doi.org/10.15479/at:ista:11777 
LibreCat: https://research-explorer.ista.ac.at/record/11777
DOI: 10.15479/at:ista:11777

Matejovicova, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11128 
LibreCat: https://research-explorer.ista.ac.at/record/11128
DOI: 10.15479/at:ista:11128

Cai, J., Zhang, W., Xu, L., Hao, C., Ma, W., Sun, M.,https://doi.org/10.1038/s41565-022-01079-3__Kuang, H. (2022). Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles. Nature Nanotechnology. Springer Nature.https://doi.org/10.1038/s41565-022-01079-3 
LibreCat: https://research-explorer.ista.ac.at/record/13352
DOI: 10.1038/s41565-022-01079-3
PMID: 35288671