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

Liao, K., Tricard, T., Piovarci, M., Seidel, H.-P., &; Babaei, V. (2023). Learning deposition policies for fused multi-material 3D printing. In 2023 IEEE International Conference on Robotics and Automation (Vol. 2023, pp. 12345–12352). London, United Kingdom: IEEE.https://doi.org/10.1109/ICRA48891.2023.10160465 
LibreCat: https://research-explorer.ista.ac.at/record/12976
DOI: 10.1109/ICRA48891.2023.10160465
WoS: 001048371104068

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

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

Velicky, P., Miguel Villalba, E., Michalska, J. M., Lyudchik, J., Wei, D., Lin, Z.,https://doi.org/10.1038/s41592-023-01936-6__Danzl, J. G. (2023). Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature.https://doi.org/10.1038/s41592-023-01936-6 
LibreCat: https://research-explorer.ista.ac.at/record/13267
DOI: 10.1038/s41592-023-01936-6
WoS: 001025621500001
PMID: 37429995

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

Vernooij, M., &; Wirth, M. (2023). Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-023-04795-6 
LibreCat: https://research-explorer.ista.ac.at/record/13319
DOI: 10.1007/s00220-023-04795-6
WoS: 001033655400002
arXiv: 2303.15949

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

Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., &; Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature.https://doi.org/10.1186/s13024-023-00659-8 
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

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

Condor, J., Piovarci, M., Bickel, B., &; Didyk, P. (2023). Gloss-aware color correction for 3D printing. In SIGGRAPH ’23 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3588432.3591546 
LibreCat: https://research-explorer.ista.ac.at/record/12979
DOI: 10.1145/3588432.3591546
WoS: 001117690500021

Piovarci, M., Chapiro, A., &; Bickel, B. (2023). Skin-Screen: A computational fabrication framework for color tattoos. ACM Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3592432 
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12885 
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885