Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
LibreCat: https://research-explorer.ista.ac.at/record/8682
DOI: 10.4007/annals.2023.197.3.3
WoS: 000966611000003
arXiv: 2006.02356

Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
LibreCat: https://research-explorer.ista.ac.at/record/14457
DOI: 10.1007/978-3-031-44469-2_11

Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
LibreCat: https://research-explorer.ista.ac.at/record/14454
DOI: 10.1007/978-3-031-44267-4_15
arXiv: 2308.00341

The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
LibreCat: https://research-explorer.ista.ac.at/record/14441
DOI: 10.1007/s00220-023-04841-3
arXiv: 2207.03156

A deeper analysis of volumetric relightiable faces
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

STROBE: Streaming Threshold Random Beacons
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
LibreCat: https://research-explorer.ista.ac.at/record/13119
DOI: 10.1038/s41586-023-06018-3
WoS: 001001139300008

Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
LibreCat: https://research-explorer.ista.ac.at/record/14558
DOI: 10.1137/21M1428649

Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
LibreCat: https://research-explorer.ista.ac.at/record/14559
DOI: 10.1007/978-3-031-45329-8_17

Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
R. Kaiyrzhanov, A. Rad, S.-J. Lin, A. Bertoli-Avella, W.W. Kallemeijn, A. Godwin, M.S. Zaki, K. Huang, T. Lau, C. Petree, S. Efthymiou, E. Ghayoor Karimiani, M. Hempel, E.A. Normand, S. Rudnik-Schöneborn, U.A. Schatz, M.P. Baggelaar, M. Ilyas, T. Sultan, J.R. Alvi, M. Ganieva, B. Fowler, R. Aanicai, G. Akay Tayfun, A. Al Saman, A. Alswaid, N. Amiri, N. Asilova, V. Shotelersuk, P. Yeetong, M. Azam, M. Babaei, G. Bahrami Monajemi, P. Mohammadi, S. Samie, S.H. Banu, J.P. Basto, F. Kortüm, M. Bauer, P. Bauer, C. Beetz, M. Garshasbi, A. Hameed Issa, W. Eyaid, H. Ahmed, N. Hashemi, K. Hassanpour, I. Herman, S. Ibrohimov, B.A. Abdul-Majeed, M. Imdad, M. Isrofilov, Q. Kaiyal, S. Khan, B. Kirmse, J. Koster, C.M. Lourenço, T. Mitani, O. Moldovan, D. Murphy, M. Najafi, D. Pehlivan, M.E. Rocha, V. Salpietro, M. Schmidts, A. Shalata, M. Mahroum, J.K. Talbeya, R.W. Taylor, D. Vazquez, A. Vetro, H.R. Waterham, M. Zaman, T.A. Schrader, W.K. Chung, R. Guerrini, J.R. Lupski, J. Gleeson, M. Suri, Y. Jamshidi, K.P. Bhatia, B. Vona, M. Schrader, M. Severino, M. Guille, E.W. Tate, G.K. Varshney, H. Houlden, R. Maroofian, Brain (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning
F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V. Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12334
DOI: 10.1126/sciadv.add6495
WoS: 000964550100015

Research data of the publication "Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning"
F.K. Schur, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14562
DOI: 10.15479/AT:ISTA:14562

Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Sari, R. Dimova, M.G. Gutierrez, Nature (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14610
DOI: 10.1038/s41586-023-06726-w
PMID: 37968398

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.
LibreCat: https://research-explorer.ista.ac.at/record/13238
DOI: 10.1007/978-3-031-32733-9_26
arXiv: 2204.13459

Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture
S. Scarpetta, N. Morrisi, C. Mutti, N. Azzi, I. Trippi, R. Ciliento, I. Apicella, G. Messuti, M. Angiolelli, F. Lombardi, L. Parrino, A.E. Vaudano, IScience 26 (2023) 107840.
LibreCat: https://research-explorer.ista.ac.at/record/12487
DOI: 10.1016/j.isci.2023.107840
WoS: 001082331200001
PMID: 37766992

Learning deposition policies for fused multi-material 3D printing
K. Liao, T. Tricard, M. Piovarci, H.-P. Seidel, V. Babaei, in:, 2023 IEEE International Conference on Robotics and Automation, IEEE, 2023, pp. 12345–12352.
LibreCat: https://research-explorer.ista.ac.at/record/12976
DOI: 10.1109/ICRA48891.2023.10160465
WoS: 001048371104068

Correlation energy of a weakly interacting Fermi gas with large interaction potential
N.P. Benedikter, M. Porta, B. Schlein, R. Seiringer, Archive for Rational Mechanics and Analysis 247 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13225
DOI: 10.1007/s00205-023-01893-6
WoS: 001024369000001
arXiv: 2106.13185

Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13227
DOI: 10.1038/s41467-023-39656-2
WoS: 001024729900009
PMID: 37407570

Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13271
DOI: 10.1007/s00023-023-01345-7
WoS: 001025709100001
arXiv: 2108.05785

Eigenstate thermalisation hypothesis for translation invariant spin systems
S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13317
DOI: 10.1007/s10955-023-03132-4
WoS: 001035677200002
arXiv: 2304.04213

The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13974
DOI: 10.1007/s00454-023-00532-x
WoS: 001038546500001
arXiv: 1812.04911

3D cell segregation geometry and dynamics are governed by tissue surface tension regulation
E. Méhes, E. Mones, M. Varga, Á. Zsigmond, B. Biri-Kovács, L. Nyitray, V. Barone, G. Krens, C.-P.J. Heisenberg, T. Vicsek, Communications Biology 6 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14041
DOI: 10.1038/s42003-023-05181-7
WoS: 001042544100001
PMID: 37542157

The Yc accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis
Z. Zhao, I. Vercellino, J. Knoppová, R. Sobotka, J.W. Murray, P.J. Nixon, L.A. Sazanov, J. Komenda, Nature Communications 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14040
DOI: 10.1038/s41467-023-40388-6
WoS: 001042606700004

The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, : Genes, Genomes, Genetics 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

On angles in higher order Brillouin tessellations and related tilings in the plane
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14345
DOI: 10.1007/s00454-023-00566-1
WoS: 001060727600004
arXiv: 2204.01076

A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532

(Verifiable) delay functions from Lucas sequences
C. Hoffmann, P. Hubádek, C. Kamath, T. Krák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
LibreCat: https://research-explorer.ista.ac.at/record/14693
DOI: 10.1007/978-3-031-48624-1_13

On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
LibreCat: https://research-explorer.ista.ac.at/record/14691
DOI: 10.1007/978-3-031-48621-0_10

Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
LibreCat: https://research-explorer.ista.ac.at/record/14692
DOI: 10.1007/978-3-031-48621-0_11

Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14726
DOI: 10.1093/plcell/koad324

Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
LibreCat: https://research-explorer.ista.ac.at/record/14735
DOI: 10.1007/978-3-031-47754-6_1

: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
LibreCat: https://research-explorer.ista.ac.at/record/14736
DOI: 10.1007/978-3-031-47754-6_18

Divide & Scale: Formalization and roadmap to robust sharding
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
LibreCat: https://research-explorer.ista.ac.at/record/14744
DOI: 10.1007/978-3-031-32733-9_10

Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
LibreCat: https://research-explorer.ista.ac.at/record/14751
DOI: 10.1109/tit.2023.3257239
arXiv: 2101.12426

Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
LibreCat: https://research-explorer.ista.ac.at/record/13267
DOI: 10.1038/s41592-023-01936-6
WoS: 001025621500001
PMID: 37429995

Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14776
DOI: 10.3390/ijms242216527
WoS: 001113792600001
PMID: 38003717

Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
LibreCat: https://research-explorer.ista.ac.at/record/14775
DOI: 10.1214/22-aap1826
WoS: 000946432400021
arXiv: 2108.02728

Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
LibreCat: https://research-explorer.ista.ac.at/record/9651
DOI: 10.1007/s10711-023-00862-3
WoS: 001105681500001
arXiv: 2102.13046

Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
LibreCat: https://research-explorer.ista.ac.at/record/14768
DOI: 10.1109/focs57990.2023.00066
arXiv: 2310.04076

Branched actin cortices reconstituted in vesicles sense membrane curvature
L. Baldauf, F.F. Frey, M. Arribas Perez, T. Idema, G.H. Koenderink, Biophysical Journal 122 (2023) 2311–2324.
LibreCat: https://research-explorer.ista.ac.at/record/14782
DOI: 10.1016/j.bpj.2023.02.018
WoS: 001016792600001
PMID: 36806830

Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

Shortest dominating set reconfiguration under token sliding
J.M. Kisan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
LibreCat: https://research-explorer.ista.ac.at/record/14456
DOI: 10.1007/978-3-031-43587-4_24
arXiv: 2307.10847

Proof of availability and retrieval in a modular blockchain architecture
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.
LibreCat: https://research-explorer.ista.ac.at/record/14829
DOI: 10.1007/978-3-031-47751-5_3

Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
LibreCat: https://research-explorer.ista.ac.at/record/14830
DOI: 10.1609/aaai.v37i10.26407
arXiv: 2210.05308

Entangling microwaves and telecom wavelength light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, in:, Frontiers in Optics + Laser Science 2023, Optica Publishing Group, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14872
DOI: 10.1364/ls.2023.lm1f.3

Tale of cAMP as a second messenger in auxin signaling and beyond
L. Qi, J. Friml, New Phytologist 240 (2023) 489–495.
LibreCat: https://research-explorer.ista.ac.at/record/13266
DOI: 10.1111/nph.19123
WoS: 001026321500001
PMID: 37434303

Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

Derivations and KMS-symmetric quantum Markov semigroups
M. Vernooij, M. Wirth, Communications in Mathematical Physics 403 (2023) 381–416.
LibreCat: https://research-explorer.ista.ac.at/record/13319
DOI: 10.1007/s00220-023-04795-6
WoS: 001033655400002
arXiv: 2303.15949

Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13165
DOI: 10.1016/j.jcta.2023.105776
arXiv: 2206.13592

Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite
N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J. Kim, Synthetic Metals 299 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Shortcuts for causal discovery of nonlinear models by score matching
F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14961
DOI: 10.48550/arXiv.2310.14246
arXiv: 2310.14246

Phenotype control of partially specified boolean networks
N. Benes, L. Brim, S. Pastva, D. Safránek, E. Smijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Cooperation between bHLH transcription factors and histones for DNA access
A.K. Michael, L. Stoos, P. Crosby, N. Eggers, X.Y. Nie, K. Makasheva, M. Minnich, K.L. Healy, J. Weiss, G. Kempf, S. Cavadini, L. Kater, J. Seebacher, L. Vecchia, D. Chakraborty, L. Isbel, R.S. Grand, F. Andersch, J.L. Fribourgh, D. Schübeler, J. Zuber, A.C. Liu, P.B. Becker, B. Fierz, C.L. Partch, J.S. Menet, N.H. Thomä, Nature 619 (2023) 385–393.
LibreCat: https://research-explorer.ista.ac.at/record/15148
DOI: 10.1038/s41586-023-06282-3

Readout of histone methylation by Trim24 locally restricts chromatin opening by 
L. Isbel, M. Iskar, S. Durdu, J. Weiss, R.S. Grand, E. Hietter-Pfeiffer, Z. Kozicka, A.K. Michael, L. Burger, N.H. Thomä, D. Schübeler, Nature Structural &; Molecular Biology 30 (2023) 948–957.
LibreCat: https://research-explorer.ista.ac.at/record/15149
DOI: 10.1038/s41594-023-01021-8
PMID: 37386214

Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor
K.B. Burdge, K. El-Badry, S. Rappaport, T.L. Sunny Wong, E.B. Bauer, L. Bildsten, I. Caiazzo, D. Chakrabarty, E. Chickles, M.J. Graham, E. Kara, S.R. Kulkarni, T.R. Marsh, M. Nynka, T.A. Prince, R.A. Simcoe, J. van Roestel, Z. Vanderbosch, E.C. Bellm, R.G. Dekany, A.J. Drake, G. Helou, F.J. Masci, J. Milburn, R. Riddle, B. Rusholme, R. Smith, The Astrophysical Journal Letters 953 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/15196
DOI: 10.3847/2041-8213/ace7cf
arXiv: 2303.13573

The origin of ultramassive white dwarfs: hints from <i>Gaia</i> ED
L. Fleury, I. Caiazzo, J. Heyl, Monthly Notices of the Royal Astronomical Society 520 (2023) 364–374.
LibreCat: https://research-explorer.ista.ac.at/record/15199
DOI: 10.1093/mnras/stad068
arXiv: 2205.01015

A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910
S. Zane, R. Taverna, D. González–Caniulef, F. Muleri, R. Turolla, J. Heyl, K. Uchiyama, M. Ng, T. Tamagawa, I. Caiazzo, N. Di Lalla, H.L. Marshall, M. Bachetti, F. La Monaca, E. Gau, A. Di Marco, L. Baldini, M. Negro, N. Omodei, J. Rankin, G. Matt, G.G. Pavlov, T. Kitaguchi, H. Krawczynski, F. Kislat, R. Kelly, I. Agudo, L.A. Antonelli, W.H. Baumgartner, R. Bellazzini, S. Bianchi, S.D. Bongiorno, R. Bonino, A. Brez, N. Bucciantini, F. Capitanio, S. Castellano, E. Cavazzuti, C.-T. Chen, S. Ciprini, E. Costa, A. De Rosa, E. Del Monte, L. Di Gesu, I. Donnarumma, V. Doroshenko, M. Dovdiak, S.R. Ehlert, T. Enoto, Y. Evangelista, S. Fabiani, R. Ferrazzoli, J.A. Garcia, S. Gunji, K. Hayashida, W. Iwakiri, S.G. Jorstad, P. Kaaret, V. Karas, J.J. Kolodziejczak, L. Latronico, I. Liodakis, S. Maldera, A. Manfreda, F. Marin, A. Marinucci, A.P. Marscher, F. Massaro, I. Mitsuishi, T. Mizuno, C.-Y. Ng, S.L. O’Dell, C. Oppedisano, A. Papitto, A.L. Peirson, M. Perri, M. Pesce-Rollins, P.-O. Petrucci, M. Pilia, A. Possenti, J. Poutanen, S. Puccetti, B.D. Ramsey, A. Ratheesh, O.J. Roberts, R.W. Romani, C. Sgró, P. Slane, P. Soffitta, G. Spandre, D.A. Swartz, F. Tavecchio, Y. Tawara, A.F. Tennant, N.E. Thomas, F. Tombesi, A. Trois, S.S. Tsygankov, J. Vink, M.C. Weisskopf, K. Wu, F. Xie, The Astrophysical Journal Letters 944 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12979
DOI: 10.1145/3588432.3591546
WoS: 001117690500021

Skin-Screen: A computational fabrication framework for color tattoos
M. Piovarci, A. Chapiro, B. Bickel, ACM Transactions on Graphics 42 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Mechanism of clathrin-coated vesicle  formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

Quantifying the probing and selection of microenvironmental pores by motile immune cells
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Web and Wireless Geographical Information Systems
F. Karimipour, S. Storandt, eds., Web and Wireless Geographical Information Systems, 1st ed., Springer Nature, Cham, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11429
DOI: 10.1007/978-3-031-06245-2

The persistent homology of dual digital image constructions
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
LibreCat: https://research-explorer.ista.ac.at/record/11440
DOI: 10.1007/978-3-030-95519-9_1
arXiv: 2102.11397

The MUSE eXtremely Deep Field: Individual detections of Ly<i>;1</i> haloes around rest-frame UV-selected galaxies at <i>z</i>  2.9–4.4
H. Kusakabe, A. Verhamme, J. Blaizot, T. Garel, L. Wisotzki, F. Leclercq, R. Bacon, J. Schaye, S.G. Gallego, J. Kerutt, J.J. Matthee, M. Maseda, T. Nanayakkara, R. Pelló, J. Richard, L. Tresse, T. Urrutia, E. Vitte, Astronomy &; Astrophysics 660 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11488
DOI: 10.1051/0004-6361/202142302
arXiv: 2201.07257

Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field
J.J. Matthee, A. Feltre, M. Maseda, T. Nanayakkara, L. Boogaard, R. Bacon, A. Verhamme, F. Leclercq, H. Kusakabe, T. Urrutia, L. Wisotzki, Astronomy &; Astrophysics 660 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11490
DOI: 10.1051/0004-6361/202142187
arXiv: 2111.14855

EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M= 10-10 and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae
Y. Isobe, M. Ouchi, A. Suzuki, T.J. Moriya, K. Nakajima, K. Nomoto, M. Rauch, Y. Harikane, T. Kojima, Y. Ono, S. Fujimoto, A.K. Inoue, J.H. Kim, Y. Komiyama, H. Kusakabe, C.-H. Lee, M. Maseda, J.J. Matthee, L. Michel-Dansac, T. Nagao, T. Nanayakkara, M. Nishigaki, M. Onodera, Y. Sugahara, Y. Xu, The Astrophysical Journal 925 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11509
DOI: 10.3847/1538-4357/ac3509
arXiv: 2108.03850

(Re)Solving reionization with Ly;1: How bright Ly;1 emitters account for the z  2  8 cosmic ionizing background
J.J. Matthee, R.P. Naidu, G. Pezzulli, M. Gronke, D. Sobral, P.A. Oesch, M. Hayes, D. Erb, D. Schaerer, R. Amorín, S. Tacchella, A.P.-A. Ana Paulino-Afonso, M. Llerena, J. Calhau, H. Röttgering, Monthly Notices of the Royal Astronomical Society 512 (2022) 5960–5977.
LibreCat: https://research-explorer.ista.ac.at/record/11521
DOI: 10.1093/mnras/stac801
arXiv: 2110.11967

The dynamics of complex box mappings
T. Clark, K. Drach, O. Kozlovski, S.V. Strien, Arnold Mathematical Journal 8 (2022) 319–410.
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8
J.C. Zinn, D. Stello, Y. Elsworth, R.A. García, T. Kallinger, S. Mathur, B. Mosser, M. Hon, L.A. Bugnet, C. Jones, C. Reyes, S. Sharma, R. Schönrich, J.T. Warfield, R. Luger, A. Vanderburg, C. Kobayashi, M.H. Pinsonneault, J.A. Johnson, D. Huber, S. Buder, M. Joyce, J. Bland-Hawthorn, L. Casagrande, G.F. Lewis, A. Miglio, T. Nordlander, G.R. Davies, G.D. Silva, W.J. Chaplin, V. Silva Aguirre, The Astrophysical Journal 926 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11601
DOI: 10.3847/1538-4357/ac2c83
arXiv: 2108.05455

Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

The complexity of average-case dynamic subgraph counting
M.H. Henzinger, A. Lincoln, B. Saha, in:, 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–498.
LibreCat: https://research-explorer.ista.ac.at/record/11918
DOI: 10.1137/1.9781611977073.23