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.




6105 Publications

2023 | Published | Journal Article | IST-REx-ID: 14778 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 14666 | OA
Chintaluri, C., & Vogels, T. P. (2023). Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2306525120
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Draft | Preprint | IST-REx-ID: 17174 | OA
Erdös, L., Henheik, S. J., Reker, J., & Riabov, V. (n.d.). Prethermalization for deformed Wigner Matrices. arXiv. https://doi.org/10.48550/arXiv.2310.06677
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 18953 | OA
Arnold, G. M., Werner, T., Sahu, R., Kapoor, L., Qiu, L., & Fink, J. M. (n.d.). All-optical single-shot readout of a superconducting qubit. arXiv. https://doi.org/10.48550/ARXIV.2310.16817
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 17351 | OA
Pedrotti, F. (n.d.). Contractive coupling rates and curvature lower bounds for Markov chains. arXiv. https://doi.org/10.48550/arXiv.2308.00516
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed