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 | Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25
[Published Version] View | Files available | DOI | WoS | arXiv
 
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 | Conference Paper | IST-REx-ID: 13048 | OA
Lieutier, A., & Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3564246.3585113
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.108.054307
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2023 | Research Data | IST-REx-ID: 12869 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12869
[Published Version] View | Files available | DOI
 
2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. https://doi.org/10.5281/ZENODO.7548214
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13236 | OA
Zheng, D. W., & Henzinger, M. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature. https://doi.org/10.1007/978-3-031-32726-1_32
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13165 | OA
Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Research Data | IST-REx-ID: 13116 | OA
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13314 | OA
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13315 | OA
Barbier, J., Camilli, F., Mondelli, M., & Sáenz, M. (2023). Fundamental limits in structured principal component analysis and how to reach them. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2302028120
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14037 | OA
Vardi, O., Maroudas-Sklare, N., Kolodny, Y., Volosniev, A., Saragovi, A., Galili, N., … Paltiel, Y. (2023). Nuclear spin effects in biological processes. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2300828120
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13342 | OA
Kroll, J., Hauschild, R., Kuznetcov, A., Stefanowski, K., Hermann, M. D., Merrin, J., … Renkawitz, J. (2023). Adaptive pathfinding by nucleokinesis during amoeboid migration. EMBO Journal. Embo Press. https://doi.org/10.15252/embj.2023114557
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13340 | OA
Gemen, J., Church, J. R., Ruoko, T.-P., Durandin, N., Białek, M. J., Weissenfels, M., … Klajn, R. (2023). Disequilibrating azoarenes by visible-light sensitization under confinement. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adh9059
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13966 | OA
Bighin, G., Ho, Q. P., Lemeshko, M., & Tscherbul, T. V. (2023). Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.108.045115
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14260 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed