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.




6293 Publications

2023 | Published | Journal Article | IST-REx-ID: 14717 | OA
Horesh T, Karasik Y. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 2023;74(4):1253-1294. doi:10.1093/qmath/haad008
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Vienna Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14719
Mollania H, Zhang C, Du R, et al. Nanostructured Li₂S cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. 2023;15(50):58462–58475. doi:10.1021/acsami.3c14072
View | DOI | WoS | PubMed | Europe PMC
 
2023 | Draft | Preprint | IST-REx-ID: 14732 | OA
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 14735 | OA
Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:3-20. doi: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 MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:309-325. doi: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. Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. 2023;2023(23):20613-20669. doi: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. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2023;45(12):14069-14080. doi: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 MD, Joron M, et al. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 2023;15(11). doi: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, et al. QuePaxa: Escaping the tyranny of timeouts in consensus. In: Proceedings of the 29th Symposium on Operating Systems Principles. Association for Computing Machinery; 2023:281-297. doi: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. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023;2023:85-107. doi:10.5802/pmb.50
[Published Version] View | Files available | DOI | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 18294 | OA
Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. doi:10.48550/arXiv.2306.02718
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. 2023. doi: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. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12313 | OA
Verzobio M. Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. 2023;325(2):331-351. doi: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. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi: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. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 2023;36:395-418. doi: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, et al. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 2023;35(2):755-763. doi:10.1021/acs.chemmater.2c03542
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 12334 | OA
Fäßler F, Javoor M, Datler J, et al. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495
[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 TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed