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.




5258 Publications

2021 | Published | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9645 | OA
Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., & Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 772–787). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454076
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2021 | Published | Conference Paper | IST-REx-ID: 9646 | OA
Wang, J., Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2021). Quantitative analysis of assertion violations in probabilistic programs. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1171–1186). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454102
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9656 | OA
Han, H., Adamowski, M., Qi, L., Alotaibi, S., & Friml, J. (2021). PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. Wiley. https://doi.org/10.1111/nph.17617
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 9678 | OA
Brandt, S., Keller, B., Rybicki, J., Suomela, J., & Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 129–139). Virtual Event, United States. https://doi.org/10.1145/3409964.3461785
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9679 | OA
Huber, D., Marchukov, O. V., Hammer, H. W., & Volosniev, A. (2021). Morphology of three-body quantum states from machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac0576
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Thesis | IST-REx-ID: 9733 | OA
Feliciangeli, D. (2021). The polaron at strong coupling. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9733
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9746 | OA
Batra, A., Römhild, R., Rousseau, E., Franzenburg, S., Niemann, S., & Schulenburg, H. (2021). High potency of sequential therapy with only beta-lactam antibiotics. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.68876
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9759 | OA
Bartlett, M. J., Arslan, F. N., Bankston, A., & Sarabipour, S. (2021). Ten simple rules to improve academic work- life balance. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1009124
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9760 | OA
Sack, S., & Serbyn, M. (2021). Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften. https://doi.org/10.22331/Q-2021-07-01-491
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9761 | OA
Muench, N. A., Patel, S., Maes, M. E., Donahue, R. J., Ikeda, A., & Nickells, R. W. (2021). The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease. Cells. MDPI. https://doi.org/10.3390/cells10071593
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9769 | OA
Brauneis, F., Hammer, H.-W., Lemeshko, M., & Volosniev, A. (2021). Impurities in a one-dimensional Bose gas: The flow equation approach. SciPost Physics. SciPost. https://doi.org/10.21468/scipostphys.11.1.008
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9770 | OA
Volosniev, A., Alpern, H., Paltiel, Y., Millo, O., Lemeshko, M., & Ghazaryan, A. (2021). Interplay between friction and spin-orbit coupling as a source of spin polarization. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.104.024430
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 9787 | OA
Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 9791 | OA
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (n.d.). The effective mass problem for the Landau-Pekar equations. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli, D., Gerolin, A., & Portinale, L. (n.d.). A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv. https://doi.org/10.48550/arXiv.2106.11217
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9793 | OA
Baldwin, K. T., Tan, C. X., Strader, S. T., Jiang, C., Savage, J. T., Elorza-Vidal, X., … Eroglu, C. (2021). HepaCAM controls astrocyte self-organization and coupling. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2021.05.025
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9815 | OA
Mobassem, S., Lambert, N. J., Rueda Sanchez, A. R., Fink, J. M., Leuchs, G., & Schwefel, H. G. L. (2021). Thermal noise in electro-optic devices at cryogenic temperatures. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ac0f36
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9816 | OA
Hledik, M., Polechova, J., Beiglböck, M., Herdina, A. N., Strassl, R., & Posch, M. (2021). Analysis of the specificity of a COVID-19 antigen test in the Slovak mass testing program. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0255267
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9819 | OA
Mallikarjun, B. R., Tewari, A., Dib, A., Weyrich, T., Bickel, B., Seidel, H. P., … Theobalt, C. (2021). PhotoApp: Photorealistic appearance editing of head portraits. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3450626.3459765
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed