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

Koehl, P., Akopyan, A., &; Edelsbrunner, H. (2023). Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives. Journal of Chemical Information and Modeling. American Chemical Society.https://doi.org/10.1021/acs.jcim.2c01346 
LibreCat: https://research-explorer.ista.ac.at/record/12544
DOI: 10.1021/acs.jcim.2c01346
WoS: 000920370700001
PMID: 36638318

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

Mrnjavac, A., Khudiakova, K., Barton, N. H., &; Vicoso, B. (2023). Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. Oxford University Press.https://doi.org/10.1093/evlett/qrac004 
LibreCat: https://research-explorer.ista.ac.at/record/12521
DOI: 10.1093/evlett/qrac004
WoS: 001021692200001
PMID: 37065438

Hippenmeyer, S. (2023). Principles of neural stem cell lineage progression: Insights from developing cerebral cortex. Current Opinion in Neurobiology. Elsevier.https://doi.org/10.1016/j.conb.2023.102695 
LibreCat: https://research-explorer.ista.ac.at/record/12679
DOI: 10.1016/j.conb.2023.102695
WoS: 000953497700001
PMID: 36842274

Agresti, A., Lindemulder, N., &; Veraar, M. (2023). On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. Wiley.https://doi.org/10.1002/mana.202100192 
LibreCat: https://research-explorer.ista.ac.at/record/12429
DOI: 10.1002/mana.202100192
WoS: 000914134900001
arXiv: 2104.05063

Falconi, M., Leopold, N. K., Mitrouskas, D. J., &; Petrat, S. P. (2023). Bogoliubov dynamics and higher-order corrections for the regularized Nelson model. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X2350006X 
LibreCat: https://research-explorer.ista.ac.at/record/12430
DOI: 10.1142/S0129055X2350006X
WoS: 000909760300001
arXiv: 2110.00458

Lombardi, F., Pepic, S., Shriki, O., Tkadik, G., &; De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. Springer Nature.https://doi.org/10.1038/s43588-023-00410-9 
LibreCat: https://research-explorer.ista.ac.at/record/12762
DOI: 10.1038/s43588-023-00410-9
arXiv: 2108.06686

Goranci, G., &; Henzinger, M. H. (2023). Efficient data structures for incremental exact and approximate maximum flow. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.69 
LibreCat: https://research-explorer.ista.ac.at/record/14085
DOI: 10.4230/LIPIcs.ICALP.2023.69

Harris, D. G., &; Kolmogorov, V. (2023). Parameter estimation for Gibbs distributions. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.72 
LibreCat: https://research-explorer.ista.ac.at/record/14084
DOI: 10.4230/LIPIcs.ICALP.2023.72
arXiv: 2007.10824

Henzinger, M. H., Liu, P., Vondrák, J., &; Zheng, D. W. (2023). Faster submodular maximization for several classes of matroids. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.74 
LibreCat: https://research-explorer.ista.ac.at/record/14086
DOI: 10.4230/LIPIcs.ICALP.2023.74
arXiv: 2305.00122

Resch, N., Yuan, C., &; Zhang, Y. (2023). Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.99 
LibreCat: https://research-explorer.ista.ac.at/record/14083
DOI: 10.4230/LIPIcs.ICALP.2023.99
arXiv: 2210.07754

Grosjean, G. M., &; Waitukaitis, S. R. (2023). Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.130.098202 
LibreCat: https://research-explorer.ista.ac.at/record/12697
DOI: 10.1103/physrevlett.130.098202
WoS: 000946178200008
arXiv: 2211.02488

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

Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., &; Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v37i12.26747 
LibreCat: https://research-explorer.ista.ac.at/record/14242
DOI: 10.1609/aaai.v37i12.26747
arXiv: 2211.16187

Avni, G., Jecker, I. R., &; Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States.https://doi.org/10.1609/aaai.v37i5.25679 
LibreCat: https://research-explorer.ista.ac.at/record/14243
DOI: 10.1609/aaai.v37i5.25679
arXiv: 2211.13626

Tojo, K., Shamir, A., Bickel, B., &; Umetani, N. (2023). Stealth shaper: Reflectivity optimization as surface stylization. In SIGGRAPH 2023 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3588432.3591542 
LibreCat: https://research-explorer.ista.ac.at/record/14241
DOI: 10.1145/3588432.3591542
arXiv: 2305.05944

Ladle, D. R., &; Hippenmeyer, S. (2023). Loss of ET/E in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. American Physiological Society.https://doi.org/10.1152/jn.00172.2022 
LibreCat: https://research-explorer.ista.ac.at/record/12562
DOI: 10.1152/jn.00172.2022
WoS: 000957721600001
PMID: 36695533

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