Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6324 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 14739 |
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version]
View
| Files available
| DOI
| WoS
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
2023 |
Published |
Journal Article |
IST-REx-ID: 14742 |
The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
2023 |
Published |
Conference Paper |
IST-REx-ID: 14743 |
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
2023 |
Published |
Journal Article |
IST-REx-ID: 18179 |
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
2023 |
Draft |
Preprint |
IST-REx-ID: 18294 |
Complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Glas, ArXiv (n.d.).
2023 |
Research Data Reference |
IST-REx-ID: 18634 |
A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen
J.M. Muñoz Hermosilla, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J.M. Muñoz Hermosilla, (2023).
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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: 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
| PubMed | Europe PMC
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
| WoS
| 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.