Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4634 Publications
2023 | Journal Article | IST-REx-ID: 13164 |

Gert KRB, Panser K, Surm J, et al. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 2023;14. doi:10.1038/s41467-023-39317-4
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13165 |

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
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12086 |

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12104 |

Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13182 |

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13136 |

Minchington T, Rus S, Kicheva A. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 2023;35. doi:10.1016/j.coisb.2023.100459
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12467 |

Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13179 |

Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13212 |

Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. 2023. doi:10.1016/j.molp.2023.06.007
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13209 |

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. doi:10.1016/j.xplc.2023.100632
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13180 |

Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13188 |

Hafner C, Bickel B. The design space of Kirchhoff rods. ACM Transactions on Graphics. 2023. doi:10.1145/3606033
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13238
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
View
| DOI
2023 | Conference Paper | IST-REx-ID: 13236 |

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
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13228 |

Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13225 |

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
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13226 |

Bossmann L, Petrat SP. Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. 2023;113(4). doi:10.1007/s11005-023-01698-4
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13227 |

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
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13221 |

Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory.
View
| Files available
| arXiv
2023 | Conference Abstract | IST-REx-ID: 13162 |

Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.
View
| Files available
2023 | Conference Abstract | IST-REx-ID: 13161 |

Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.
View
| Files available
2023 | Journal Article | IST-REx-ID: 13251 |

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13271 |

Zhang H. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. 2023. doi:10.1007/s00023-023-01345-7
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13268 |

Huybrechts D, Mauri M. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 2023;30(1):125-141. doi:10.4310/mrl.2023.v30.n1.a6
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13265 |

Zhong F, Xu Y, Zhao H, Lu L. As-Continuous-As-Possible extrusion-based fabrication of surface models. ACM Transactions on Graphics. 2023;42(3). doi:10.1145/3575859
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13269 |

Polyanskii N, Zhang Y. Codes for the Z-channel. IEEE Transactions on Information Theory. 2023. doi:10.1109/TIT.2023.3292219
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13315 |

Barbier J, Camilli F, Mondelli M, Sáenz M. Fundamental limits in structured principal component analysis and how to reach them. Proceedings of the National Academy of Sciences of the United States of America. 2023;120(30). doi:10.1073/pnas.2302028120
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13316 |

Toshima JY, Tsukahara A, Nagano M, et al. The yeast endocytic early/sorting compartment exists as an independent sub-compartment within the trans-Golgi network. eLife. 2023;12. doi:10.7554/eLife.84850
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13317 |

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
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13321 |

Xu Y, Hou TQ, Liang SS, Mondelli M. Approximate message passing for multi-layer estimation in rotationally invariant models. In: 2023 IEEE Information Theory Workshop. Institute of Electrical and Electronics Engineers; 2023:294-298. doi:10.1109/ITW55543.2023.10160238
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13318 |

Volberg A, Zhang H. Noncommutative Bohnenblust–Hille inequalities. Mathematische Annalen. 2023. doi:10.1007/s00208-023-02680-0
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13292 |

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13277 |

Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13276 |

Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13278 |

Rammelmüller L, Huber D, Čufar M, Brand J, Hammer H-W, Volosniev A. Magnetic impurity in a one-dimensional few-fermion system. SciPost Physics. 2023;14(1). doi:10.21468/scipostphys.14.1.006
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13274 |

Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13275 |

Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13262 |

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
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13263 |

Trinh VG, Benhamou B, Henzinger TA, Pastva S. Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics. 2023;39(Supplement_1):i513-i522. doi:10.1093/bioinformatics/btad262
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13261 |

Brückner D, Chen H, Barinov L, Zoller B, Gregor T. Stochastic motion and transcriptional dynamics of pairs of distal DNA loci on a compacted chromosome. Science. 2023;380(6652):1357-1362. doi:10.1126/science.adf5568
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 13258 |

Kleshnina M, Hilbe C, Simsa S, Chatterjee K, Nowak MA. The effect of environmental information on evolution of cooperation in stochastic games. Nature Communications. 2023;14. doi:10.1038/s41467-023-39625-9
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13257 |

Shekhter A, Mcdonald RD, Ramshaw BJ, Modic KA. Magnetotropic susceptibility. Physical Review B. 2023;108(3). doi:10.1103/PhysRevB.108.035111
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13336 |

Kleshnina M. kleshnina/stochgames_info: The effect of environmental information on evolution of cooperation in stochastic games. 2023. doi:10.5281/ZENODO.8059564
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13259 |

Ogura N, Sasagawa Y, Ito T, et al. WUSCHEL-RELATED HOMEOBOX 13 suppresses de novo shoot regeneration via cell fate control of pluripotent callus. Science Advances. 2023;9(27):eadg6983. doi:10.1126/sciadv.adg6983
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13319 |

Vernooij M, Wirth M. Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. 2023. doi:10.1007/s00220-023-04795-6
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12334 |

Fäßler F, Javoor M, Datler J, et al. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11479 |

De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12329 |

Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 8682 |

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
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv