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.




6385 Publications

2023 | Published | Conference Paper | IST-REx-ID: 14735 | OA
Stefo, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14736 | OA
Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14737 | OA
Ivanov, G., & Naszódi, M. (2023). Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnad210
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14739 | OA
Ali, D., Asaad, A., Jimenez, M.-J., Nanda, V., Paluzo-Hidalgo, E., & Soriano Trigueros, M. (2023). A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/tpami.2023.3308391
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14742 | OA
Lucek, K., Giménez, M. D., Joron, M., Rafajlović, M., Searle, J. B., Walden, N., … Faria, R. (2023). The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/cshperspect.a041447
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 14743 | OA
Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., & Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery. https://doi.org/10.1145/3600006.3613150
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 18179 | OA
Guilloux, A., & Horesh, T. (2023). p-adic directions of primitive vectors. Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté. https://doi.org/10.5802/pmb.50
[Published Version] View | Files available | DOI | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. https://doi.org/10.5281/ZENODO.8005257
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 12287 | OA
Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12313 | OA
Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.325.331
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12329 | OA
Gómez, A., & Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-19827-9
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12330 | OA
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2023). The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00441-x
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12331 | OA
Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Technical Report | IST-REx-ID: 12407 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12421 | OA
Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12427 | OA
Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Book Chapter | IST-REx-ID: 12428 | OA
Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12429 | OA
Agresti, A., Lindemulder, N., & Veraar, M. (2023). On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. Wiley. https://doi.org/10.1002/mana.202100192
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12430 | OA
Falconi, M., Leopold, N. K., Mitrouskas, D. J., & Petrat, S. P. (2023). Bogoliubov dynamics and higher-order corrections for the regularized Nelson model. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X2350006X
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed