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.
4871 Publications
2024 | Published | Journal Article | IST-REx-ID: 15053 | 
Multipurpose platform for analog quantum simulation
S. Jin, K. Dai, J. Verstraten, M. Dixmerias, R. Al Hyder, C. Salomon, B. Peaudecerf, T. de Jongh, T. Yefsah, Physical Review Research 6 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Jin, K. Dai, J. Verstraten, M. Dixmerias, R. Al Hyder, C. Salomon, B. Peaudecerf, T. de Jongh, T. Yefsah, Physical Review Research 6 (2024).
2024 | Journal Article | IST-REx-ID: 15262
Doris Test 18.11.
Ernst, Doris, Doris Test 18.11.. Today. 2024
View
Ernst, Doris, Doris Test 18.11.. Today. 2024
2023 | Published | Journal Article | IST-REx-ID: 8682 |
The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
2023 | Published | Journal Article | IST-REx-ID: 9034 |
Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
2023 | Published | Journal Article | IST-REx-ID: 12287 |
Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
2023 | Published | Journal Article | IST-REx-ID: 12313 |
Some effectivity results for primitive divisors of elliptic divisibility sequences
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.
2023 | Published | Journal Article | IST-REx-ID: 12329 |
New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12330 |
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
2023 | Published | Journal Article | IST-REx-ID: 12331 |
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
[Published Version]
View
| Files available
| DOI
| WoS
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
2023 | Published | Journal Article | IST-REx-ID: 12334 |
ArpC5 isoforms regulate Arp2/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).
[Published Version]
View
| Files available
| DOI
| WoS
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).
2023 | Published | Journal Article | IST-REx-ID: 12349 |
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
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
2023 | Published | Journal Article | IST-REx-ID: 12406 |
Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
2023 | Published | Technical Report | IST-REx-ID: 12407 |
VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12421 |
Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
[Published Version]
View
| Files available
| DOI
| WoS
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
2023 | Published | Journal Article | IST-REx-ID: 12427 |
Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
2023 | Published | Book Chapter | IST-REx-ID: 12428 |
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
2023 | Published | Journal Article | IST-REx-ID: 12429 |
On the trace embedding and its applications to evolution equations
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.
2023 | Published | Journal Article | IST-REx-ID: 12430 |
Bogoliubov dynamics and higher-order corrections for the regularized Nelson model
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics 35 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics 35 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.