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.
5991 Publications
2023 | Published | Journal Article | IST-REx-ID: 14755 | 
Moser, M. (2023). Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. Asymptotic Analysis. IOS Press. https://doi.org/10.3233/asy-221775
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14749 |
Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., & Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/ol.495553
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14798 |
Chen, B., Jindal, A., Piovarci, M., Wang, C., Seidel, H. P., Didyk, P., … Mantiuk, R. K. (2023). The effect of display capabilities on the gloss consistency between real and virtual objects. In Proceedings of the SIGGRAPH Asia 2023 Conference. Sydney, Australia: Association for Computing Machinery. https://doi.org/10.1145/3610548.3618226
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Cohen-Addad, V., Saulpic, D., & Schwiegelshohn, C. (2023). Deterministic clustering in high dimensional spaces: Sketches and approximation. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (pp. 1105–1130). Santa Cruz, CA, United States: IEEE. https://doi.org/10.1109/focs57990.2023.00066
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14827
Schwayer, C., & Brückner, D. (2023). Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.261515
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14759 |
Wald, S., Diorico, F. R., & Hosten, O. (2023). Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. Optica Publishing Group. https://doi.org/10.1364/ao.474118
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Anastos, M. (2023). Constructing Hamilton cycles and perfect matchings efficiently. In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications (pp. 36–41). Prague, Czech Republic: Masaryk University Press. https://doi.org/10.5817/cz.muni.eurocomb23-005
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14829 |
Cohen, S., Goren, G., Kokoris Kogias, E., Sonnino, A., & Spiegelman, A. (2023). Proof of availability and retrieval in a modular blockchain architecture. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47751-5_3
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 15173 |
Kwan, M. A., Sah, A., & Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences. https://doi.org/10.5802/crmath.423
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14849 |
Cipolloni, G., Erdös, L., Schröder, D. J., & Xu, Y. (2023). On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-aop1643
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Serebryakov, A., Simm, N., & Dubach, G. (2023). Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. World Scientific Publishing. https://doi.org/10.1142/s2010326322500496
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13969 |
Arroyo Guevara, A. M., & Felsner, S. (2023). Approximating the bundled crossing number. Journal of Graph Algorithms and Applications. Brown University. https://doi.org/10.7155/jgaa.00629
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13049 |
Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 19985
Schmid, S., Svoboda, J., & Yeo, M. X. (2023). Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 576–594). Alcalá de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_26
View
| Files available
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 19983 |
Balliu, A., Korhonen, J., Kuhn, F., Lievonen, H., Olivetti, D., Pai, S., … Uitto, J. (2023). Sinkless Orientation Made Simple. In Symposium on Simplicity in Algorithms (pp. 175–191). Florence, Italy: 2023 Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977585.ch17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv