Boccato C, Seiringer R. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 2023;24:1505-1560. doi: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

Stock M, Milutinovic B, Hönigsberger M, et al. Pathogen evasion of social immunity. Nature Ecology and Evolution. 2023;7:450-460. doi: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

Hales J, Bajpai U, Liu T, et al. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 2023;14. doi:10.1038/s41467-023-38540-3
LibreCat: https://research-explorer.ista.ac.at/record/13989
DOI: 10.1038/s41467-023-38540-3
PMID: 37316515
arXiv: 2209.02283

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi: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

Glajzer J, Castillo-Tong DC, Richter R, et al. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 2023;30:35-45. doi:10.1245/s10434-022-12459-3
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

Vierra NC, Ribeiro-Silva L, Kirmiz M, et al. Neuronal ER-plasma membrane junctions couple excitation to C+-activated PKA signaling. Nature Communications. 2023;14. doi:10.1038/s41467-023-40930-6
LibreCat: https://research-explorer.ista.ac.at/record/14253
DOI: 10.1038/s41467-023-40930-6
PMID: 37633939

Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:390-414. doi:10.1007/978-3-031-37706-8_20
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

Anastos M, Fabian D, Müyesser A, Szabó T. Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. 2023;30(3). doi:10.37236/11714
LibreCat: https://research-explorer.ista.ac.at/record/14319
DOI: 10.37236/11714
arXiv: 2212.03100

Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification. Vol 13966. Springer Nature; 2023:16-39. doi:10.1007/978-3-031-37709-9_2
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 10.1007/978-3-031-37709-9_2

Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:86-112. doi:10.1007/978-3-031-37709-9_5
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 10.1007/978-3-031-37709-9_5

Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: 14th International Conference on Interactive Theorem Proving. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 2023;13:231-264. doi:10.1007/s13235-022-00425-3
LibreCat: https://research-explorer.ista.ac.at/record/10770
DOI: 10.1007/s13235-022-00425-3
WoS: 000753777100001

Wagner B, Slipogor V, Oh J, Varga M, Hoeschele M. A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. 2023;26(5). doi:10.1111/desc.13395
LibreCat: https://research-explorer.ista.ac.at/record/12961
DOI: 10.1111/desc.13395
PMID: 37101383

Ivanov G, Köse S. Erds-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 2023;346(6). doi:10.1016/j.disc.2023.113363
LibreCat: https://research-explorer.ista.ac.at/record/12680
DOI: 10.1016/j.disc.2023.113363
arXiv: 2201.10892

Corbet R, Kerber M, Lesnick M, Osang GF. Computing the multicover bifiltration. Discrete and Computational Geometry. 2023;70:376-405. doi:10.1007/s00454-022-00476-8
LibreCat: https://research-explorer.ista.ac.at/record/12709
DOI: 10.1007/s00454-022-00476-8
WoS: 000936496800001
arXiv: 2103.07823

Boissonnat JD, Wintraecken M. The reach of subsets of manifolds. Journal of Applied and Computational Topology. 2023;7:619-641. doi:10.1007/s41468-023-00116-x
LibreCat: https://research-explorer.ista.ac.at/record/12763
DOI: 10.1007/s41468-023-00116-x

Tomaszewska P, Lampert C. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In: International Workshop on Reproducible Research in Pattern Recognition. Vol 14068. Springer Nature; 2023:67-73. doi:10.1007/978-3-031-40773-4_6
LibreCat: https://research-explorer.ista.ac.at/record/14410
DOI: 10.1007/978-3-031-40773-4_6

Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In: 43rd Annual International Cryptology Conference. Vol 14082. Springer Nature; 2023:514-546. doi:10.1007/978-3-031-38545-2_17
LibreCat: https://research-explorer.ista.ac.at/record/14428
DOI: 10.1007/978-3-031-38545-2_17

Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 2023;14. doi:10.1038/s41467-023-39493-3
LibreCat: https://research-explorer.ista.ac.at/record/13200
DOI: 10.1038/s41467-023-39493-3
WoS: 001018100800002
PMID: 37355691
arXiv: 2210.12443

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

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

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

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

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

Rao P, Mallikarjun BR, Fox G, et al. A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. 2023. doi:10.1007/s11263-023-01899-3
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

Beaver D, Kelkar M, Lewi K, et al. STROBE: Streaming Threshold Random Beacons. In: 5th Conference on Advances in Financial Technologies. Vol 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.AFT.2023.7
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 2023;618:716-720. doi:10.1038/s41586-023-06018-3
LibreCat: https://research-explorer.ista.ac.at/record/13119
DOI: 10.1038/s41586-023-06018-3
WoS: 001001139300008

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

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

Kaiyrzhanov R, Rad A, Lin S-J, et al. Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 2023. doi:10.1093/brain/awad380
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Fäßler F, Javoor M, Datler J, et al. Arp isoforms regulate Ar/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495
LibreCat: https://research-explorer.ista.ac.at/record/12334
DOI: 10.1126/sciadv.add6495
WoS: 000964550100015

Schur FK. Research data of the publication “Arp isoforms regulate Ar/3 complex-dependent protrusion through differential Ena/VASP positioning.”10.15479/AT:ISTA:14562__2023. doi:10.15479/AT:ISTA:14562
LibreCat: https://research-explorer.ista.ac.at/record/14562
DOI: 10.15479/AT:ISTA:14562

Bussi C, Mangiarotti A, Vanhille-Campos CE, et al. Stress granules plug and stabilize damaged endolysosomal membranes. Nature. 2023. doi:10.1038/s41586-023-06726-w
LibreCat: https://research-explorer.ista.ac.at/record/14610
DOI: 10.1038/s41586-023-06726-w
PMID: 37968398

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

Scarpetta S, Morrisi N, Mutti C, et al. Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. iScience. 2023;26(10):107840. doi:10.1016/j.isci.2023.107840
LibreCat: https://research-explorer.ista.ac.at/record/12487
DOI: 10.1016/j.isci.2023.107840
WoS: 001082331200001
PMID: 37766992

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

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

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

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

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

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

Méhes E, Mones E, Varga M, et al. 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. 2023;6. doi:10.1038/s42003-023-05181-7
LibreCat: https://research-explorer.ista.ac.at/record/14041
DOI: 10.1038/s42003-023-05181-7
WoS: 001042544100001
PMID: 37542157

Zhao Z, Vercellino I, Knoppová J, et al. The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis. Nature Communications. 2023;14. doi:10.1038/s41467-023-40388-6
LibreCat: https://research-explorer.ista.ac.at/record/14040
DOI: 10.1038/s41467-023-40388-6
WoS: 001042606700004

Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

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

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

Zeng G, Sun Q, Horta S, et al. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. doi:10.1002/adma.202305128
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532

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

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

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

Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

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

Zhou L-Z, Wang L, Chen X, et al. The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. 2023. doi:10.1093/plcell/koad324
LibreCat: https://research-explorer.ista.ac.at/record/14726
DOI: 10.1093/plcell/koad324

Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 2023;24(2). doi:10.46298/DMTCS.8383
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

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

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

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

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

Velicky P, Miguel Villalba E, Michalska JM, et al. Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. 2023;20:1256-1265. doi:10.1038/s41592-023-01936-6
LibreCat: https://research-explorer.ista.ac.at/record/13267
DOI: 10.1038/s41592-023-01936-6
WoS: 001025621500001
PMID: 37429995

Teplova A, Pigidanov AA, Serebryakova MV, et al. Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. 2023;24(22). doi:10.3390/ijms242216527
LibreCat: https://research-explorer.ista.ac.at/record/14776
DOI: 10.3390/ijms242216527
WoS: 001113792600001
PMID: 38003717

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

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

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

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

Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

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

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

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

Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves and telecom wavelength light. In: Frontiers in Optics + Laser Science 2023. Optica Publishing Group; 2023. doi:10.1364/ls.2023.lm1f.3
LibreCat: https://research-explorer.ista.ac.at/record/14872
DOI: 10.1364/ls.2023.lm1f.3

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

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

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

Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 2023;4(6). doi:10.1016/j.xplc.2023.100632
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

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

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

Mahato N, Singh S, Faisal M, et al. Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. 2023;299. doi:10.1016/j.synthmet.2023.117463
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 2023;18. doi:10.1186/s13024-023-00659-8
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

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

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

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

Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

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

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

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

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

Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

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

Michael AK, Stoos L, Crosby P, et al. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 2023;619(7969):385-393. doi:10.1038/s41586-023-06282-3
LibreCat: https://research-explorer.ista.ac.at/record/15148
DOI: 10.1038/s41586-023-06282-3

Isbel L, Iskar M, Durdu S, et al. Readout of histone methylation by Trim24 locally restricts chromatin opening by . Nature Structural &; Molecular Biology. 2023;30(7):948-957. doi:10.1038/s41594-023-01021-8
LibreCat: https://research-explorer.ista.ac.at/record/15149
DOI: 10.1038/s41594-023-01021-8
PMID: 37386214

Burdge KB, El-Badry K, Rappaport S, et al. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 2023;953(1). doi:10.3847/2041-8213/ace7cf
LibreCat: https://research-explorer.ista.ac.at/record/15196
DOI: 10.3847/2041-8213/ace7cf
arXiv: 2303.13573

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

Zane S, Taverna R, González–Caniulef D, et al. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 2023;944(2). doi:10.3847/2041-8213/acb703
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

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

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

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