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

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

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

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

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

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

Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat
L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Certifying giant nonprimes
C. Hoffmann, P. Hubádek, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Ergodic decompositions of Dirichlet forms under order isomorphisms
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Cryo-EM software packages: A sys-admins point of view
S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 42–42.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Running Windows-applications on a Linux HPC cluster using WINE
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 59–59.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites
Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlovi, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Antiviral immune response reveals host-specific virus infections in natural ant populations
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete &; Computational Geometry 69 (2023) 156–191.
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Directed percolation and the transition to turbulence
B. Hof, Nature Reviews Physics 5 (2023) 62–72.
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Symmetry-reduced dynamic mode decomposition of near-wall turbulence
E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

A multivariate view of the speciation continuum
D.I. Bolnick, A.K. Hund, P. Nosil, F. Peng, M. Ravinet, S. Stankowski, S. Subramanian, J.B.W. Wolf, R. Yukilevich, Evolution: International Journal of Organic Evolution 77 (2023) 318–328.
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic
M. Forghani, C. Claramunt, F. Karimipour, G. Heiler, in:, 2022 IEEE International Conference on Data Mining Workshops, Institute of Electrical and Electronics Engineers, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145

Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Oprsal, M. Wrochna, S. divný, SIAM Journal on Computing 52 (2023) 38–79.
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Wetting dynamics by mixtures of fast and slow self-propelled particles
M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12545
DOI: 10.1103/PhysRevE.107.014608
WoS: 000963909800006
arXiv: 2301.01856

Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Going back in time with TEMPO
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation
A. Mrestani, K. Lichter, A.L. Sirén, M. Heckmann, M.M. Paul, M. Pauli, International Journal of Molecular Sciences 24 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12567
DOI: 10.3390/ijms24032128
WoS: 000930324700001

Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Elasto-inertial turbulence
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026

Transition to turbulence in pipe flow
M. Avila, D. Barkley, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 575–602.
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023

Steering self-organisation through confinement
N.A.M. Araújo, L.M.C. Janssen, T. Barois, G. Boffetta, I. Cohen, A. Corbetta, O. Dauchot, M. Dijkstra, W.M. Durham, A. Dussutour, S. Garnier, H. Gelderblom, R. Golestanian, L. Isa, G.H. Koenderink, H. Löwen, R. Metzler, M. Polin, C.P. Royall, A. Sari, A. Sengupta, C. Sykes, V. Trianni, I. Tuval, N. Vogel, J.M. Yeomans, I. Zuriguel, A. Marin, G. Volpe, Soft Matter 19 (2023) 1695–1704.
LibreCat: https://research-explorer.ista.ac.at/record/12708
DOI: 10.1039/d2sm01562e
WoS: 000940388100001
arXiv: 2204.10059

Thermodynamics of diamond formation from hydrocarbon mixtures in planets
B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12702
DOI: 10.1038/s41467-023-36841-1
WoS: 000939678300002
PMID: 36843123

Refining epigenetic prediction of chronological and biological age
E. Bernabeu, D.L. Mccartney, D.A. Gadd, R.F. Hillary, A.T. Lu, L. Murphy, N. Wrobel, A. Campbell, S.E. Harris, D. Liewald, C. Hayward, C. Sudlow, S.R. Cox, K.L. Evans, S. Horvath, A.M. Mcintosh, M.R. Robinson, C.A. Vallejos, R.E. Marioni, Genome Medicine 15 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12719
DOI: 10.1186/s13073-023-01161-y
WoS: 000940286600001

Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
LibreCat: https://research-explorer.ista.ac.at/record/12704
DOI: 10.1109/LRA.2023.3240930
WoS: 000936534100012
arXiv: 2204.07373

Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Spin-electric coupling in lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12723
DOI: 10.1103/physrevlett.130.106901
WoS: 000982435900002
arXiv: 2203.09443

Effective model for studying optical properties of lead halide perovskites
A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12724
DOI: 10.1103/physrevb.107.125201
WoS: 000972602200006
arXiv: 2204.04022

Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12759
DOI: 10.1371/journal.pone.0277148
WoS: 001024737400001

The patterned assembly and stepwise Vp-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division
F. Hurtig, T.C.Q. Burgers, A. Cezanne, X. Jiang, F.N. Mol, J. Trapari, A.A. Pulschen, T. Nierhaus, G. Tarrason-Risa, L. Harker-Kirschneck, J. Löwe, A. Sari, R. Vlijm, B. Baum, Science Advances 9 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12756
DOI: 10.1126/sciadv.ade5224
WoS: 000968083500010

Using AlphaFold to predict the impact of single mutations on protein stability and function
M.A. Pak, K.A. Markhieva, M.S. Novikova, D.S. Petrov, I.S. Vorobyev, E. Maksimova, F. Kondrashov, D.N. Ivankov, PLoS ONE 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12758
DOI: 10.1371/journal.pone.0282689
WoS: 000985134400106

From the 'black box' to 'domino effect' mechanism: What have we learned from the structures of respiratory complex I
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
LibreCat: https://research-explorer.ista.ac.at/record/12757
DOI: 10.1042/BCJ20210285
WoS: 000957065700001
PMID: 36920092

Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12787
DOI: 10.1098/rspa.2022.0685
WoS: 000957125500002

Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067

Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity
A. Ghazaryan, T. Holder, E. Berg, M. Serbyn, Physical Review B 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12790
DOI: 10.1103/PhysRevB.107.104502
WoS: 000945526400003
arXiv: 2211.02492

Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks
P. Clark Di Leoni, L.N. Agasthya, M. Buzzicotti, L. Biferale, The European Physical Journal E 46 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12791
DOI: 10.1140/epje/s10189-023-00276-9
WoS: 000956387200001
arXiv: 2301.07769

A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish
K. Huljev, S. Shamipour, D.C. Nunes Pinheiro, F. Preusser, I. Steccari, C.M. Sommer, S. Naik, C.-P.J. Heisenberg, Developmental Cell 58 (2023) 582–596.e7.
LibreCat: https://research-explorer.ista.ac.at/record/12830
DOI: 10.1016/j.devcel.2023.02.016
WoS: 000982111800001

Variational theory of angulons and their rotational spectroscopy
Z. Zeng, E. Yakaboylu, M. Lemeshko, T. Shi, R. Schmidt, The Journal of Chemical Physics 158 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12831
DOI: 10.1063/5.0135893
WoS: 000970038800001
arXiv: 2211.08070

Superdiffusive energy transport in kinetically constrained models
M. Ljubotina, J.Y. Desaules, M. Serbyn, Z. Papi, Physical Review X 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12839
DOI: 10.1103/PhysRevX.13.011033
WoS: 000957625700001

A CrMnFeCoNi high entropy alloy boosting oxygen evolution/reduction reactions and zinc-air battery performance
R. He, L. Yang, Y. Zhang, X. Wang, S. Lee, T. Zhang, L. Li, Z. Liang, J. Chen, J. Li, A. Ostovari Moghaddam, J. Llorca, M. Ibáñez, J. Arbiol, Y. Xu, A. Cabot, Energy Storage Materials 58 (2023) 287–298.
LibreCat: https://research-explorer.ista.ac.at/record/12832
DOI: 10.1016/j.ensm.2023.03.022
WoS: 000967601700001

Rotation control, interlocking, and selfpositioning of active cogwheels
Q. Martinet, A. Aubret, J.A. Palacci, Advanced Intelligent Systems 5 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12822
DOI: 10.1002/aisy.202200129
WoS: 000852291200001
arXiv: 2201.03333

Curvature induces active velocity waves in rotating spherical tissues
T. Brandstätter, D. Brückner, Y.L. Han, R. Alert, M. Guo, C.P. Broedersz, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12818
DOI: 10.1038/s41467-023-37054-2
WoS: 000959887700008
PMID: 36964141

Overcoming photon blockade in a circuit-QED single-atom maser with engineered metastability and strong coupling
A. Sokolova, D.A. Kalacheva, G.P. Fedorov, O.V. Astafiev, Physical Review A 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12819
DOI: 10.1103/PhysRevA.107.L031701
WoS: 000957799000006
arXiv: 2209.05165

Quantitative assessment can stabilize indirect reciprocity under imperfect information
L. Schmid, F. Ekbatani, C. Hilbe, K. Chatterjee, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12861
DOI: 10.1038/s41467-023-37817-x
WoS: 001003644100020
PMID: 37045828

Uncovering the organization of neural circuits with Generalized Phase Locking Analysis
S. Safavi, T.I. Panagiotaropoulos, V. Kapoor, J.F. Ramirez Villegas, N.K. Logothetis, M. Besserve, PLoS Computational Biology 19 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12862
DOI: 10.1371/journal.pcbi.1010983
WoS: 000962668700002

Physics-inspired machine learning of localized intensive properties
K. Chen, C. Kunkel, B. Cheng, K. Reuter, J.T. Margraf, Chemical Science (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12879
DOI: 10.1039/d3sc00841j
WoS: 000971508100001

Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth
L. Jiang, B. Yao, X. Zhang, L. Wu, Q. Fu, Y. Zhao, Y. Cao, R. Zhu, X. Lu, W. Huang, J. Zhao, K. Li, S. Zhao, L. Han, X. Zhou, C. Luo, H. Zhu, J. Yang, H. Huang, Z. Zhu, X. He, J. Friml, Z. Zhang, C. Liu, Y. Du, Plant Journal 115 (2023) 155–174.
LibreCat: https://research-explorer.ista.ac.at/record/12878
DOI: 10.1111/tpj.16218
WoS: 000971861400001
PMID: 37025008 

Boolean network sketches: A unifying framework for logical model inference
N. Benes, L. Brim, O. Huvar, S. Pastva, D. Safránek, Bioinformatics 39 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12876
DOI: 10.1093/bioinformatics/btad158
WoS: 000976610800001
PMID: 37004199

Lamin  overexpression alters chromatin organization and gene expression
J.M. Kaneshiro, J.S. Capitanio, M. Hetzer, Nucleus 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12880
DOI: 10.1080/19491034.2023.2202548
WoS: 000971629400001
PMID: 37071033

Numerical quantum clock simulations for measuring tunneling times
F. Suzuki, W.G. Unruh, Physical Review A 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12914
DOI: 10.1103/PhysRevA.107.042216
WoS: 000975799300006
arXiv: 2207.13130

Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene
J. Díez-Mérida, A. Díez-Carlón, S.Y. Yang, Y.M. Xie, X.J. Gao, J.L. Senior, K. Watanabe, T. Taniguchi, X. Lu, A.P. Higginbotham, K.T. Law, D.K. Efetov, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12913
DOI: 10.1038/s41467-023-38005-7
WoS: 000979744000004
PMID: 37100775

Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/10550
DOI: 10.1007/s00332-023-09926-w
WoS: 001002343400002
arXiv: 2109.12019

Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
LibreCat: https://research-explorer.ista.ac.at/record/13043
DOI: 10.4171/IFB/484
WoS: 000975817300002
arXiv: 2108.01733

Computing chemical potentials of adsorbed or confined fluids
R. Schmid, B. Cheng, The Journal of Chemical Physics 158 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12912
DOI: 10.1063/5.0146711
WoS: 001010676000010
PMID: 37093149
arXiv: 2302.01297

Directionality-aware design of embroidery patterns
Z. Liu, M. Piovarci, C. Hafner, R. Charrondiere, B. Bickel, Computer Graphics Forum 42 (2023) 397–409.
LibreCat: https://research-explorer.ista.ac.at/record/12972
DOI: 10.1111/cgf.14770 
WoS: 001000062600033

Novel stereological method for estimation of cell counts in 3D collagen scaffolds
A. Zavadakova, L. Vistejnova, T. Belinova, F. Tichanek, D. Bilikova, P.R. Mouton, Scientific Reports 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13033
DOI: 10.1038/s41598-023-35162-z
WoS: 000995271600104

Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR
L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of the American Chemical Society 145 (2023) 10700–10711.
LibreCat: https://research-explorer.ista.ac.at/record/13095
DOI: 10.1021/jacs.3c01200
WoS: 000985907400001
PMID: 37140345

A note on long cycles in sparse random graphs
M. Anastos, Electronic Journal of Combinatorics 30 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13042
DOI: 10.37236/11471
WoS: 000988285500001
arXiv: 2105.13828

Ab initio calculation of the reflectivity of molecular fluids under shock compression
M. French, M. Bethkenhagen, A. Ravasio, J.A. Hernandez, Physical Review B 107 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13039
DOI: 10.1103/PhysRevB.107.134109
WoS: 000974672600001

Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
LibreCat: https://research-explorer.ista.ac.at/record/13092
DOI: 10.1021/acsami.3c00625
WoS: 000985497900001
PMID: 37141543