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.
236 Publications
2023 | Conference Paper | IST-REx-ID: 13221 | 
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12406 |
Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14422
Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14374 |
Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13207 |
Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 2023;12(4):1507–1540. doi:10.4171/JST/439
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14485 |
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 | Research Data | IST-REx-ID: 12869 |
Klausen FR, Lauritsen AB. Research data for: A stochastic cellular automaton model of culture formation. 2023. doi:10.15479/AT:ISTA:12869
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12890 |
Klausen FR, Lauritsen AB. Stochastic cellular automaton model of culture formation. Physical Review E. 2023;108(5). doi:10.1103/PhysRevE.108.054307
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14542 |
Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 2023. doi:10.1142/s0129055x2360005x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14506 |
Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12726
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14530 |
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
[Updated Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14547 |
Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14628 |
Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3605389
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14653 |
Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 2023;495. doi:10.1016/j.ijms.2023.117168
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13274 |
Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14058 |
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 | Journal Article | IST-REx-ID: 14077 |
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
2023 | Research Data | IST-REx-ID: 12933 |
Puixeu Sala G. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. 2023. doi:10.15479/AT:ISTA:12933
[Published Version]
View
| Files available
| DOI