Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

508 Publications


2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
[Published Version] View | Files available | DOI | 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 | 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 | Thesis | MS | IST-REx-ID: 13331 | OA
Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14058 | OA
Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14058
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14077 | OA
Puixeu Sala, G., Macon, A., & Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. Oxford University Press. https://doi.org/10.1093/g3journal/jkad121
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14087 | OA
Rønning, J., Renaud, J. B., Doostmohammadi, A., & Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d3sm00316g
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | 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
 

2023 | Published | Journal Article | IST-REx-ID: 14261 | OA
Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14343 | OA
Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14374 | OA
Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14421 | OA
Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14425 | OA
Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41865-8
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14466 | OA
Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14485 | OA
Aksenov, V., Anoprenko, M., Fedorov, A., & Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In 37th International Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2023.35
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14506 | OA
Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14530 | OA
Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/14530
[Updated Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14539 | OA
Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14547 | OA
Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14587 | OA
Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed