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.




6655 Publications

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 15173 | OA
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 18942 | OA
Chloroplast auxin efflux mediated by ABCB28 and ABCB29 fine-tunes salt and drought stress responses in Arabidopsis
P. Tamizhselvan, S. Madhavan, C. Constan-Aguilar, E.R. Elrefaay, J. Liu, A. Pěnčík, O. Novák, A. Cairó, M. Hrtyan, M. Geisler, V.B. Tognetti, Plants 13 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 18959
Dynamische Systeme
M.-C. Arnaud, M. Hutchings, V. Kaloshin, Oberwolfach Reports 20 (2023) 1671–1730.
View | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 20572 | OA
Multivariate Dirichlet moments and a polychromatic Ewens sampling formula
L. Dello Schiavo, F. Quattrocchi, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | 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 | Published | Journal Article | IST-REx-ID: 10173 | OA
Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields
N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | 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 | Published | Journal Article | IST-REx-ID: 10550 | OA
Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10551 | OA
The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2023 | Published | 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 | Published | Journal Article | IST-REx-ID: 9652 | OA
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Abstract | IST-REx-ID: 14863 | OA
Intensification mechanisms of tropical cyclones
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14756 | OA
Fully extended r-spin TQFTs
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13179 | OA
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version] View | Files available | DOI
 
2023 | Published | Book Chapter | IST-REx-ID: 19983 | OA
Sinkless Orientation Made Simple
A. Balliu, J. Korhonen, F. Kuhn, H. Lievonen, D. Olivetti, S. Pai, A. Paz, J. Rybicki, S. Schmid, J. Studený, J. Suomela, J. Uitto, in:, Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed