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.




508 Publications

2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi: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, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi: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. Exterior algebra and combinatorics. 2023. doi:10.15479/at:ista:13331
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14058 | OA
Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi: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. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 2023;13(8). doi: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 JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi: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. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi: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 AKH, Hofer TS. 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. 2023;14(33):7395-7403. doi: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 SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.70
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14374 | OA
Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14421 | OA
Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi: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, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 2023;14. doi: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. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi: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. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: 37th International Symposium on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14506 | OA
Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14530 | OA
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
[Updated Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14539 | OA
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14547 | OA
Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14587 | OA
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed