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.




5039 Publications

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14317 | OA
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14316 | OA
Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 14320 | OA
Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Thesis | IST-REx-ID: 12732 | OA
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14334 | OA
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14321 | OA
Achiral dipoles on a ferromagnet can affect its magnetization direction
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 
2023 | Journal Article | IST-REx-ID: 14342 | OA
Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam
D. Lorenc, Z. Alpichshev, Applied Physics Letters 123 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14341
Turbulence suppression by cardiac-cycle-inspired driving of pipe flow
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.
View | Files available | DOI | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 13120 | OA
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 13969 | OA
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14344 | OA
Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Journal Article | IST-REx-ID: 12710 | OA
Curvature in biological systems: Its quantification, emergence, and implications across the scales
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 13340 | OA
Disequilibrating azoarenes by visible-light sensitization under confinement
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.
[Preprint] View | DOI | Download Preprint (ext.)
 
2023 | Journal Article | IST-REx-ID: 12705 | OA
Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2023 | Journal Article | IST-REx-ID: 12738 | OA
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
 
2023 | Journal Article | IST-REx-ID: 10405 | OA
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 10770 | OA
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 10145 | OA
Ergodic decomposition of Dirichlet forms via direct integrals and applications
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12669 | OA
Beyond transcription: compelling open questions in plant RNA biology
P.A. Manavella, M.A. Godoy Herz, A.R. Kornblihtt, R. Sorenson, L.E. Sieburth, K. Nakaminami, M. Seki, Y. Ding, Q. Sun, H. Kang, F.D. Ariel, M. Crespi, A.J. Giudicatti, Q. Cai, H. Jin, X. Feng, Y. Qi, C.S. Pikaard, The Plant Cell 35 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 11706 | OA
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12707 | OA
Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12837 | OA
Cell cycle dynamics control fluidity of the developing mouse neuroepithelium
L. Bocanegra, A. Singh, E.B. Hannezo, M.P. Zagórski, A. Kicheva, Nature Physics 19 (2023) 1050–1058.
[Published Version] View | Files available | DOI | WoS
 
2023 | Thesis | IST-REx-ID: 13081
Epithelial dynamics during mouse neural tube development
L. Bocanegra, Epithelial Dynamics during Mouse Neural Tube Development, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12863
Pollution impact on metal and biomarker responses in intestinal cytosol of freshwater fish
V. Filipović Marijić, N. Krasnici, D. Valić, D. Kapetanović, I. Vardić Smrzlić, M. Jordanova, K. Rebok, S. Ramani, V. Kostov, R. Nastova, Z. Dragun, Environmental Science and Pollution Research 30 (2023) 63510–63521.
View | DOI | WoS | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12836 | OA
Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, K. Majumdar, V. Menon, Advanced Optical Materials 11 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12959 | OA
Homogenisation of dynamical optimal transport on periodic graphs
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Calculus of Variations and Partial Differential Equations 62 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12915
Thermoelectric performance of surface-engineered Cu1.5–xTe–Cu2Se nanocomposites
C. Xing, Y. Zhang, K. Xiao, X. Han, Y. Liu, B. Nan, M.G. Ramon, K.H. Lim, J. Li, J. Arbiol, B. Poudel, A. Nozariasbmarz, W. Li, M. Ibáñez, A. Cabot, ACS Nano 17 (2023) 8442–8452.
View | DOI | WoS | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12961 View | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12877 | OA
Marked Length Spectral determination of analytic chaotic billiards with axial symmetries
J. De Simoi, V. Kaloshin, M. Leguil, Inventiones Mathematicae 233 (2023) 829–901.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12349 | OA
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data | IST-REx-ID: 12370 | OA [Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12829
Phosphorous incorporation into palladium tin nanoparticles for the electrocatalytic formate oxidation reaction
G. Montaña-Mora, X. Qi, X. Wang, J. Chacón-Borrero, P.R. Martinez-Alanis, X. Yu, J. Li, Q. Xue, J. Arbiol, M. Ibáñez, A. Cabot, Journal of Electroanalytical Chemistry 936 (2023).
View | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12764 | OA
Discrete yamabe problem for polyhedral surfaces
H. Kourimska, Discrete and Computational Geometry 70 (2023) 123–153.
[Published Version] View | Files available | DOI | WoS
 
2023 | Thesis | IST-REx-ID: 13331 | OA
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12765
Behavioural defences against parasites across host social structures
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology 37 (2023) 809–820.
View | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12680 | OA
Erdős-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Journal Article | IST-REx-ID: 12792 | OA
On the spectral form factor for random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 401 (2023) 1665–1700.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12709 | OA
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12763 | OA
The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology 7 (2023) 619–641.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 13221 | OA
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14406 | OA
Generalized surface multifractality in two-dimensional disordered systems
S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B 108 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14410
On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift
P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
View | DOI
 
2023 | Conference Paper | IST-REx-ID: 14405 | OA
Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 14408 | OA
Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Journal Article | IST-REx-ID: 14404
Widening the use of 3D printing
D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.
View | DOI | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 14417 | OA
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 12960 | OA
Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Journal Article | IST-REx-ID: 13134
Discrete analytical objects in the body-centered cubic grid
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).
View | DOI | WoS
 

Search

Filter Publications