Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
LibreCat: https://research-explorer.ista.ac.at/record/12349
DOI: 10.1038/s41593-023-01280-0
WoS: 000955258300002
PMID: 36959418

Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12370
DOI: 10.15479/AT:ISTA:12370

Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13331
DOI: 10.15479/at:ista:13331

Erds-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12680
DOI: 10.1016/j.disc.2023.113363
arXiv: 2201.10892

Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/12406
DOI: 10.4064/aa210830-24-11
WoS: 000912903000001
arXiv: 2103.08268

Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14422
DOI: 10.15479/at:ista:14422

Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14374
DOI: 10.15479/at:ista:14374

Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
LibreCat: https://research-explorer.ista.ac.at/record/13207
DOI: 10.4171/JST/439
WoS: 000997933500008
arXiv: 2201.08090

Brief announcement: BatchBoost: Universal batching for concurrent data structures
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14485
DOI: 10.4230/LIPIcs.DISC.2023.35

Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12869
DOI: 10.15479/AT:ISTA:12869

Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12890
DOI: 10.1103/PhysRevE.108.054307
arXiv: 2305.02153

Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
R. Kaiyrzhanov, A. Rad, S.-J. Lin, A. Bertoli-Avella, W.W. Kallemeijn, A. Godwin, M.S. Zaki, K. Huang, T. Lau, C. Petree, S. Efthymiou, E. Ghayoor Karimiani, M. Hempel, E.A. Normand, S. Rudnik-Schöneborn, U.A. Schatz, M.P. Baggelaar, M. Ilyas, T. Sultan, J.R. Alvi, M. Ganieva, B. Fowler, R. Aanicai, G. Akay Tayfun, A. Al Saman, A. Alswaid, N. Amiri, N. Asilova, V. Shotelersuk, P. Yeetong, M. Azam, M. Babaei, G. Bahrami Monajemi, P. Mohammadi, S. Samie, S.H. Banu, J.P. Basto, F. Kortüm, M. Bauer, P. Bauer, C. Beetz, M. Garshasbi, A. Hameed Issa, W. Eyaid, H. Ahmed, N. Hashemi, K. Hassanpour, I. Herman, S. Ibrohimov, B.A. Abdul-Majeed, M. Imdad, M. Isrofilov, Q. Kaiyal, S. Khan, B. Kirmse, J. Koster, C.M. Lourenço, T. Mitani, O. Moldovan, D. Murphy, M. Najafi, D. Pehlivan, M.E. Rocha, V. Salpietro, M. Schmidts, A. Shalata, M. Mahroum, J.K. Talbeya, R.W. Taylor, D. Vazquez, A. Vetro, H.R. Waterham, M. Zaman, T.A. Schrader, W.K. Chung, R. Guerrini, J.R. Lupski, J. Gleeson, M. Suri, Y. Jamshidi, K.P. Bhatia, B. Vona, M. Schrader, M. Severino, M. Guille, E.W. Tate, G.K. Varshney, H. Houlden, R. Maroofian, Brain (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14542
DOI: 10.1142/s0129055x2360005x
arXiv: 2301.05621

Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14506
DOI: 10.15479/14506

Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12726
DOI: 10.15479/at:ista:12726

Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14530
DOI: 10.15479/14530

Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14547
DOI: 10.15479/14547

Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14628
DOI: 10.1145/3605389