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

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

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

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

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

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