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.

237 Publications


2023 | Conference Paper | IST-REx-ID: 13221 | OA
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 | OA
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 | OA
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 | OA
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 | 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 | Research Data | IST-REx-ID: 12869 | OA
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 | OA
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 | OA
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 | OA
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 | 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 | 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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | 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 | 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
 

2023 | Research Data | IST-REx-ID: 12933 | OA
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
 

2023 | 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 | 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 | 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 | Thesis | IST-REx-ID: 14622
Sack S. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14697
Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14651 | OA
Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 14703 | OA
Ishida S, Lavenant H. Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. arXiv. doi:10.48550/arXiv.2312.12213
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14735 | OA
Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:3-20. doi:10.1007/978-3-031-47754-6_1
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Thesis | 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 | Conference Abstract | IST-REx-ID: 14863 | OA
Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6157
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13049 | OA
Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14032 | OA
Mukhopadhyay S, Senior JL, Saez Mollejo J, et al. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 2023;19:1630-1635. doi:10.1038/s41567-023-02161-w
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 2023;66(4):1280-1295. doi:10.4153/S000843952300036X
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | 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 | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12859 | OA
Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:2738-2776.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 13107 | OA
Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
[Published Version] View | Files available | DOI
 

2023 | 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 | Journal Article | IST-REx-ID: 14687 | OA
Jethwa RB, Mondal S, Pant B, Freunberger SA. To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries. Angewandte Chemie International Edition. 2023. doi:10.1002/anie.202316476
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12675 | OA
Becker LM, Berbon M, Vallet A, et al. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 2023;62(19). doi:10.1002/anie.202219314
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 12497 | OA
Becker LM, Schanda P. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. 2023. doi:10.15479/AT:ISTA:12497
[Published Version] View | Files available | DOI
 

2023 | 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 | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14280
Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
[Published Version] View | Files available | DOI
 

2023 | 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
 

2023 | Thesis | IST-REx-ID: 13984
Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 15039 | OA
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version] View | Files available | DOI
 

2023 | Thesis | 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
 

2023 | Preprint | IST-REx-ID: 15128 | OA
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

department=GradSch

Search

Filter Publications