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

Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., &; Sherwood, S. C. (2023). Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. Wiley.https://doi.org/10.1029/2023MS003726 
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

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

Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., &; Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo.https://doi.org/10.5281/ZENODO.7757041 
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo.https://doi.org/10.5281/ZENODO.7548214 
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 10.5281/ZENODO.7548214

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

Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo.https://doi.org/10.5281/ZENODO.7877790 
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., &; Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A.,  Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning &; Global Health. Kigali, Rwanda: OpenReview.
LibreCat: https://research-explorer.ista.ac.at/record/14993

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

Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., &; Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery.https://doi.org/10.1145/3600006.3613150 
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 10.1145/3600006.3613150

Chen, Y.-L., Ly, M., &; Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3606037.3606836 
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo.https://doi.org/10.5281/ZENODO.8191723 
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

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

Prach, B., &; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv.https://doi.org/10.48550/ARXIV.2311.06103 
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo.https://doi.org/10.5281/ZENODO.8318995 
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

Abualia, R., Riegler, S., &; Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI.https://doi.org/10.3390/cells12121613 
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14323 
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Zhang, C., Janzing, D., van der Schaar, M., Locatello, F., Spirtes, P., Zhang, K.,  Uhler, C. (2023). Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In 2nd Conference on Causal Learning and Reasoning. Tübingen, Germany.
LibreCat: https://research-explorer.ista.ac.at/record/14974

Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:13173 
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

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

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00126-9 
LibreCat: https://research-explorer.ista.ac.at/record/13182
DOI: 10.1007/s41468-023-00126-9

Mondal, S., Jethwa, R. B., Pant, B., Hauschild, R., &; Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/d3fd00088e 
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14587 
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Esposito, A. R., &; Mondelli, M. (2023). Concentration without independence via information measures. In Proceedings of 2023 IEEE International Symposium on Information Theory (pp. 400–405). Taipei, Taiwan: IEEE.https://doi.org/10.1109/isit54713.2023.10206899 
LibreCat: https://research-explorer.ista.ac.at/record/14922
DOI: 10.1109/isit54713.2023.10206899
arXiv: 2303.07245

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

Agresti, A., &; Hussein, A. (2023). Maximal Lp-regularity and He-calculus for block operator matrices and applications. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2023.110146 
LibreCat: https://research-explorer.ista.ac.at/record/14772
DOI: 10.1016/j.jfa.2023.110146
WoS: 001081809000001
arXiv: 2108.01962

Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv.https://doi.org/10.48550/arXiv.2301.01712 
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Olusanya, O. O., Khudiakova, K., &; Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv.https://doi.org/10.1101/2023.12.02.569702 
LibreCat: https://research-explorer.ista.ac.at/record/14732
DOI: 10.1101/2023.12.02.569702

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

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3593013.3594028 
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Stankowski, S., Zagrodzka, Z. B., Galindo, J., Montaño-Rendón, M., Faria, R., Mikhailova, N.,https://doi.org/10.1093/evolinnean/kzad002__Butlin, R. K. (2023). Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. Oxford University Press.https://doi.org/10.1093/evolinnean/kzad002 
LibreCat: https://research-explorer.ista.ac.at/record/14833
DOI: 10.1093/evolinnean/kzad002

Lasne, C., Elkrewi, M. N., Toups, M. A., Layana Franco, L. A., Macon, A., &; Vicoso, B. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msad245 
LibreCat: https://research-explorer.ista.ac.at/record/14613
DOI: 10.1093/molbev/msad245
PMID: 37988296

Lasne, C., &; Elkrewi, M. N. (2023). The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:14614 
LibreCat: https://research-explorer.ista.ac.at/record/14614
DOI: 10.15479/AT:ISTA:14614

Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14641 
LibreCat: https://research-explorer.ista.ac.at/record/14641
DOI: 10.15479/at:ista:14641

Gnyliukh, N., Johnson, A. J., Nagel, M.-K., Monzer, A., Hlavata, A., Isono, E.,https://doi.org/10.1101/2023.10.09.561523__Friml, J. (n.d.). Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants. bioRxiv.https://doi.org/10.1101/2023.10.09.561523 
LibreCat: https://research-explorer.ista.ac.at/record/14591
DOI: 10.1101/2023.10.09.561523

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

Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., &; Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery.https://doi.org/10.1145/3585391 
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

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

Westram, A. M., &; Butlin, R. (2023). Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.16779 
LibreCat: https://research-explorer.ista.ac.at/record/12166
DOI: 10.1111/mec.16779
WoS: 000892168800001

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

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

Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12891 
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891

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

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

Wang, Y., Yuan, Z., Wang, J., Xiao, H., Wan, L., Li, L.,https://doi.org/10.1073/pnas.2221313120__Zhang, J. (2023). The nitrate transporter NR.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences.https://doi.org/10.1073/pnas.2221313120 
LibreCat: https://research-explorer.ista.ac.at/record/13201
DOI: 10.1073/pnas.2221313120
WoS: 001030689600003
PMID: 37307446

Stephenson, E. R. (2023). Generalizing medial axes with homology switches. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14226 
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

Kirillova, K. (2023). Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12531 
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Julseth, M. (2023). The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12800 
LibreCat: https://research-explorer.ista.ac.at/record/12800
DOI: 10.15479/at:ista:12800

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

Hafner, C., &; Bickel, B. (2023). The design space of Kirchhoff rods. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3606033 
LibreCat: https://research-explorer.ista.ac.at/record/13188
DOI: 10.1145/3606033
WoS: 001086833300010

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

Hosten, O. (2022). Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.4.013023 
LibreCat: https://research-explorer.ista.ac.at/record/10652
DOI: 10.1103/PhysRevResearch.4.013023

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

Daguerre, L., Torroba, G., Medina Ramos, R. A., &; Solís, M. (2022). Non relativistic quantum field theory: Dynamics and irreversibility. Anales de la Asociacion Fisica Argentina. Asociacion Fisica Argentina.https://doi.org/10.31527/analesafa.2021.32.4.93 
LibreCat: https://research-explorer.ista.ac.at/record/10769
DOI: 10.31527/analesafa.2021.32.4.93

Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E.,https://doi.org/10.1101/2022.03.03.482657__Shriki, O. (2022). Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2022.03.03.482657 
LibreCat: https://research-explorer.ista.ac.at/record/10821
DOI: 10.1101/2022.03.03.482657

Maslov, M., Lemeshko, M., &; Volosniev, A. (2022). Impurity with a resonance in the vicinity of the Fermi energy. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.4.013160 
LibreCat: https://research-explorer.ista.ac.at/record/10845
DOI: 10.1103/PhysRevResearch.4.013160
arXiv: 2111.13570

Davidovi, A., Chait, R. P., Batt, G., &; Ruess, J. (2022). Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1009950 
LibreCat: https://research-explorer.ista.ac.at/record/10939
DOI: 10.1371/journal.pcbi.1009950

Alistarh, D.-A., Gelashvili, R., &; Rybicki, J. (2022). Fast graphical population protocols. In Q. Bramas, V. Gramoli, &; A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems (Vol. 217). Strasbourg, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.OPODIS.2021.14 
LibreCat: https://research-explorer.ista.ac.at/record/11184
DOI: 10.4230/LIPIcs.OPODIS.2021.14
arXiv: 2102.08808

Nikabadi, A., &; Korhonen, J. (2022). Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In Q. Bramas, V. Gramoli, &; A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems (Vol. 217). Strasbourg, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.OPODIS.2021.15 
LibreCat: https://research-explorer.ista.ac.at/record/11183
DOI: 10.4230/LIPIcs.OPODIS.2021.15

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

Shevchenko, A., Kungurtsev, V., &; Mondelli, M. (2022). Mean-field analysis of piecewise linear solutions for wide ReLU networks. Journal of Machine Learning Research. Journal of Machine Learning Research.
LibreCat: https://research-explorer.ista.ac.at/record/11420
arXiv: 2111.02278

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

Artan, M., &; de Bono, M. (2022). Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. In D. Yamamoto (Ed.), Behavioral Neurogenetics (Vol. 181, pp. 277–294). New York: Springer Nature.https://doi.org/10.1007/978-1-0716-2321-3_15 
LibreCat: https://research-explorer.ista.ac.at/record/11456
DOI: 10.1007/978-1-0716-2321-3_15

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

Ngampruetikorn, V., Sachdeva, V., Torrence, J., Humplik, J., Schwab, D. J., &; Palmer, S. E. (2022). Inferring couplings in networks across order-disorder phase transitions. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.4.023240 
LibreCat: https://research-explorer.ista.ac.at/record/11638
DOI: 10.1103/PhysRevResearch.4.023240
arXiv: 2106.02349

Barton, N. H. (2022). The “New Synthesis.”https://doi.org/10.1073/pnas.2122147119__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.2122147119 
LibreCat: https://research-explorer.ista.ac.at/record/11702
DOI: 10.1073/pnas.2122147119
PMID: 35858408

Nikolic, N., Sauert, M., Albanese, T. G., &; Moll, I. (2022). Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. Springer Nature.https://doi.org/10.1186/s13104-022-06061-9 
LibreCat: https://research-explorer.ista.ac.at/record/11713
DOI: 10.1186/s13104-022-06061-9
PMID: 35562780

Wirth, M. (2022). Kac regularity and domination of quadratic forms. Advances in Operator Theory. Springer Nature.https://doi.org/10.1007/s43036-022-00199-w 
LibreCat: https://research-explorer.ista.ac.at/record/11916
DOI: 10.1007/s43036-022-00199-w

Krokhin, A., &; Oprsal, J. (2022). An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. Association for Computing Machinery.https://doi.org/10.1145/3559736.3559740 
LibreCat: https://research-explorer.ista.ac.at/record/11991
DOI: 10.1145/3559736.3559740
arXiv: 2208.13538

Palacci, J. A. (2022). A soft active matter that can climb walls. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.adc9202 
LibreCat: https://research-explorer.ista.ac.at/record/11996
DOI: 10.1126/science.adc9202
PMID: 35951689 

Brunnbauer, A., Berducci, L., Brandstatter, A., Lechner, M., Hasani, R., Rus, D., &; Grosu, R. (2022). Latent imagination facilitates zero-shot transfer in autonomous racing. In 2022 International Conference on Robotics and Automation (pp. 7513–7520). Philadelphia, PA, United States: IEEE.https://doi.org/10.1109/ICRA46639.2022.9811650 
LibreCat: https://research-explorer.ista.ac.at/record/12010
DOI: 10.1109/ICRA46639.2022.9811650
arXiv: 2103.04909

Zhang, Y., Jaggi, S., Langberg, M., &; Sarwate, A. D. (2022). The capacity of causal adversarial channels. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2523–2528). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834709 
LibreCat: https://research-explorer.ista.ac.at/record/12011
DOI: 10.1109/ISIT50566.2022.9834709
arXiv: 2205.06708

Yadav, A. K., Alimohammadi, M., Zhang, Y., Budkuley, A. J., &; Jaggi, S. (2022). New results on AVCs with omniscient and myopic adversaries. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2535–2540). Espoo, Finland: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/ISIT50566.2022.9834632 
LibreCat: https://research-explorer.ista.ac.at/record/12017
DOI: 10.1109/ISIT50566.2022.9834632

Joshi, P., Purkayastha, A., Zhang, Y., Budkuley, A. J., &; Jaggi, S. (2022). On the capacity of additive AVCs with feedback. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 504–509). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834850 
LibreCat: https://research-explorer.ista.ac.at/record/12013
DOI: 10.1109/ISIT50566.2022.9834850

Fathollahi, D., &; Mondelli, M. (2022). Polar coded computing: The role of the scaling exponent. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2154–2159). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834712 
LibreCat: https://research-explorer.ista.ac.at/record/12016
DOI: 10.1109/ISIT50566.2022.9834712
arXiv: 2201.10082

Torkamani, S., Ebrahimi, J. B., Sadeghi, P., D’Oliveira, R. G. L., &; Médard, M. (2022). Heterogeneous differential privacy via graphs. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 1623–1628). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834711 
LibreCat: https://research-explorer.ista.ac.at/record/12012
DOI: 10.1109/ISIT50566.2022.9834711
arXiv: 2203.15429

Zhang, Y., &; Vatedka, S. (2022). Lower bounds on list decoding capacity using error exponents. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 1324–1329). Espoo, Finland: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/ISIT50566.2022.9834815 
LibreCat: https://research-explorer.ista.ac.at/record/12018
DOI: 10.1109/ISIT50566.2022.9834815

Zhang, Y., &; Vatedka, S. (2022). Lower bounds for multiple packing. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 3085–3090). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834443 
LibreCat: https://research-explorer.ista.ac.at/record/12015
DOI: 10.1109/ISIT50566.2022.9834443

Zhang, Y., &; Vatedka, S. (2022). List-decodability of Poisson Point Processes. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2559–2564). Espoo, Finland: IEEE.https://doi.org/10.1109/ISIT50566.2022.9834512 
LibreCat: https://research-explorer.ista.ac.at/record/12014
DOI: 10.1109/ISIT50566.2022.9834512

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

Sahu, R., Hease, W. J., Rueda Sanchez, A. R., Arnold, G. M., Qiu, L., &; Fink, J. M. (2022). Realizing a quantum-enabled interconnect between microwave and telecom light. In Conference on Lasers and Electro-Optics. San Jose, CA, United States: Optica Publishing Group.https://doi.org/10.1364/CLEO_QELS.2022.FW4D.4 
LibreCat: https://research-explorer.ista.ac.at/record/12088
DOI: 10.1364/CLEO_QELS.2022.FW4D.4

Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., &; Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29 
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., &; Svoboda, J. (2022). Complexity of spatial games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11 
LibreCat: https://research-explorer.ista.ac.at/record/12101
DOI: 10.4230/LIPIcs.FSTTCS.2022.11

Stocker, L., Sack, S., Ferguson, M. S., &; Zilberberg, O. (2022). Entanglement-based observables for quantum impurities. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.4.043177 
LibreCat: https://research-explorer.ista.ac.at/record/12111
DOI: 10.1103/PhysRevResearch.4.043177

Chen, B., Piovarci, M., Wang, C., Seidel, H.-P., Didyk, P., Myszkowski, K., &; Serrano, A. (2022). Gloss management for consistent reproduction of real and virtual objects. In SIGGRAPH Asia 2022 Conference Papers (Vol. 2022). Daegu, South Korea: Association for Computing Machinery.https://doi.org/10.1145/3550469.3555406 
LibreCat: https://research-explorer.ista.ac.at/record/12135
DOI: 10.1145/3550469.3555406

Börner, G., Schröder, M., Scarselli, D., Budanur, N. B., Hof, B., &; Timme, M. (2022). Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. IOP Publishing.https://doi.org/10.1088/2632-072x/ac99cd 
LibreCat: https://research-explorer.ista.ac.at/record/12134
DOI: 10.1088/2632-072x/ac99cd

Zoller, B., Gregor, T., &; Tkadik, G. (2022). Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. Elsevier.https://doi.org/10.1016/j.coisb.2022.100435 
LibreCat: https://research-explorer.ista.ac.at/record/12156
DOI: 10.1016/j.coisb.2022.100435

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

Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., &; Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th International Symposium on Distributed Computing (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.DISC.2022.52 
LibreCat: https://research-explorer.ista.ac.at/record/12182
DOI: 10.4230/LIPIcs.DISC.2022.52

Cremaschi, T., &; Dello Schiavo, L. (2022). Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. American Mathematical Society.https://doi.org/10.1090/bproc/134 
LibreCat: https://research-explorer.ista.ac.at/record/12177
DOI: 10.1090/bproc/134

Cipolloni, G., Erdös, L., &; Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/21m1424408 
LibreCat: https://research-explorer.ista.ac.at/record/12179
DOI: 10.1137/21m1424408
arXiv: 2105.13719

Spiegelman, A., Giridharan, N., Sonnino, A., &; Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3548606.3559361 
LibreCat: https://research-explorer.ista.ac.at/record/12229
DOI: 10.1145/3548606.3559361
arXiv: 2201.05677

Ljubotina, M., Roos, B., Abanin, D. A., &; Serbyn, M. (2022). Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. American Physical Society.https://doi.org/10.1103/prxquantum.3.030343 
LibreCat: https://research-explorer.ista.ac.at/record/12276
DOI: 10.1103/prxquantum.3.030343
arXiv: 2204.02899

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