Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17094
DOI: 10.1007/s10703-024-00447-0
arXiv: 2002.06465

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17037
DOI: 10.1287/moor.2023.0297

Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17098
DOI: 10.48550/arXiv.2405.02479
arXiv: 2405.02479

Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17099
DOI: 10.48550/arXiv.2405.02486
arXiv: 2405.02486

Zero-sum random games on directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/17101
DOI: 10.48550/arXiv.2401.16252
arXiv: 2401.16252

Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast
L. Jiang, X. Zhang, Y. Zhao, H. Zhu, Q. Fu, X. Lu, W. Huang, X. Yang, X. Zhou, L. Wu, A. Yang, X. He, M. Dong, Z. Peng, J. Yang, L. Guo, J. Wen, H. Huang, Y. Xie, S. Zhu, C. Li, X. He, Y. Zhu, J. Friml, Y. Du, Nature Communications 15 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17103
DOI: 10.1038/s41467-024-47746-y
PMID: 38653755

Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17104
DOI: 10.21468/scipostphys.16.4.097
arXiv: 2310.04272

Orthogonal photoswitching in a porous organic framework
J. Sheng, J. Perego, S. Bracco, P. Cieciórski, W. Danowski, A. Comotti, B.L. Feringa, Angewandte Chemie International Edition 63 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17105
DOI: 10.1002/anie.202404878

Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu 23 (2024) 1259–1294.
LibreCat: https://research-explorer.ista.ac.at/record/10018
DOI: 10.1017/S1474748022000482
WoS: 000881319200001
arXiv: 2109.06778

Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, Z. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
LibreCat: https://research-explorer.ista.ac.at/record/17053

Information content and optimization of self-organized developmental systems
D. Brückner, G. Tkadik, PNAS 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17123
DOI: 10.1073/pnas.2322326121
PMID: 38819997

Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
LibreCat: https://research-explorer.ista.ac.at/record/17126
DOI: 10.1007/978-3-031-58723-8_9

Nanocrystal assemblies: Current advances and open problems
C.L. Bassani, G. Van Anders, U. Banin, D. Baranov, Q. Chen, M. Dijkstra, M.S. Dimitriyev, E. Efrati, J. Faraudo, O. Gang, N. Gaston, R. Golestanian, G.I. Guerrero-Garcia, M. Gruenwald, A. Haji-Akbari, M. Ibáñez, M. Karg, T. Kraus, B. Lee, R.C. Van Lehn, R.J. Macfarlane, B.M. Mognetti, A. Nikoubashman, S. Osat, O.V. Prezhdo, G.M. Rotskoff, L. Saiz, A.C. Shi, S. Skrabalak, I.I. Smalyukh, M. Tagliazucchi, D.V. Talapin, A.V. Tkachenko, S. Tretiak, D. Vaknin, A. Widmer-Cooper, G.C.L. Wong, X. Ye, S. Zhou, E. Rabani, M. Engel, A. Travesset, ACS Nano (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17125
DOI: 10.1021/acsnano.3c10201

Solution-processed, surface-engineered, polycrystalline CdSe-SnSe exhibiting low thermal conductivity
C. Fiedler, Y. Liu, M. Ibáñez, Journal of Visualized Experiments 2024 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17124
DOI: 10.3791/66278

Directed percolation and puff jamming near the transition to pipe turbulence
G.M. Lemoult, M. Vasudevan, H.Y. Shih, G. Linga, J. Mathiesen, N. Goldenfeld, B. Hof, Nature Physics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17128
DOI: 10.1038/s41567-024-02513-0

Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17127
DOI: 10.1112/blms.13095
arXiv: 2211.02908

The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/17122
DOI: 10.1186/s12888-024-05849-2

Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen,  itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between C+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709