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.
7629 Publications
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21393 |
Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 21501 |
| 
|
Fragmentation, zero modes, and collective bound states in constrained models
E. Nicolau Jimenez, M. Ljubotina, M. Serbyn, PRX Quantum 7 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
E. Nicolau Jimenez, M. Ljubotina, M. Serbyn, PRX Quantum 7 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21483 |
|
|
Imaging and genetic toolbox to study Arabidopsis embryogenesis
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21502 |
Distribution and functional significance of rodent cerebellar glycogen
S. Akther, A.B. Lee, A. Konno, A. Asiminas, M. Vittani, T. Mishima, H. Hirai, C.F. Meehan, J. Duran, J. Guinovart, H. Ashida, T. Morita, O. Baba, R. Shigemoto, M. Nedergaard, H. Hirase, IScience 29 (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Akther, A.B. Lee, A. Konno, A. Asiminas, M. Vittani, T. Mishima, H. Hirai, C.F. Meehan, J. Duran, J. Guinovart, H. Ashida, T. Morita, O. Baba, R. Shigemoto, M. Nedergaard, H. Hirase, IScience 29 (2026).
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Data heterogeneity and personalization in federated learning
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21021 |
Braiding geometry and topology to study shapes and data
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
2026 |
Draft |
Preprint |
IST-REx-ID: 21051 |
Braiding vineyards
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, ArXiv (n.d.).
2026 |
Submitted |
Preprint |
IST-REx-ID: 21291 |
Lineage origin of spinal cord cell type diversity
S.A. Gobeil, F. Da Silveira Neto, G. Silvestrelli, M.G. Smits, C. Streicher, G.T. Cheung, S. Hippenmeyer, L.B. Sweeney, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
S.A. Gobeil, F. Da Silveira Neto, G. Silvestrelli, M.G. Smits, C. Streicher, G.T. Cheung, S. Hippenmeyer, L.B. Sweeney, BioRxiv (n.d.).
2026 |
Published |
Conference Paper |
IST-REx-ID: 21134 |
On the (in)security of Proofs-of-space based longest-chain blockchains
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21651 |
On secure chain selection rules from physical resources in a permissionless setting
M.A. Baig, On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M.A. Baig, On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 20991 |
The genomic architecture of local adaptation in introduced populations
D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 21765
Particle size scaling of non-Gaussian granular charge distributions
M. Lara, M. Flores, G. Castillo, S. Tassara, S.R. Waitukaitis, N. Mujica, Physical Review Materials 10 (2026).
View
| DOI
M. Lara, M. Flores, G. Castillo, S. Tassara, S.R. Waitukaitis, N. Mujica, Physical Review Materials 10 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21485 |
|
|
Adventitious carbon breaks symmetry in oxide contact electrification
G.M. Grosjean, M. Ostermann, M. Sauer, M. Hahn, C.M. Pichler, F. Fahrnberger, F. Pertl, D. Balazs, M.M. Link, S.H. Kim, D.L. Schrader, A. Blanco, F. Gracia, N. Mujica, S.R. Waitukaitis, Nature 651 (2026) 626–631.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
G.M. Grosjean, M. Ostermann, M. Sauer, M. Hahn, C.M. Pichler, F. Fahrnberger, F. Pertl, D. Balazs, M.M. Link, S.H. Kim, D.L. Schrader, A. Blanco, F. Gracia, N. Mujica, S.R. Waitukaitis, Nature 651 (2026) 626–631.
2026 |
Published |
Journal Article |
IST-REx-ID: 21015 |
|
|
Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo
N. Mishra, Y.I. Li, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 22 (2026) 139–150.
[Published Version]
View
| Files available
| DOI
N. Mishra, Y.I. Li, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 22 (2026) 139–150.
2026 |
Published |
Journal Article |
IST-REx-ID: 21382 |
|
|
Flexoelectric domain walls enable charge separation and transport in cubic perovskites
D. Rak, D. Lorenc, D. Balazs, A.A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Nature Communications 17 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Rak, D. Lorenc, D. Balazs, A.A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Nature Communications 17 (2026).
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21759 |
Long-term evolution of regulatory DNA sequences. Part 2: Theory and future challenges
E. Mascolo, R.E. Körei, N.O. Borst, N.H. Barton, J. Crocker, G. Tkačik, Current Opinion in Genetics and Development 98 (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Mascolo, R.E. Körei, N.O. Borst, N.H. Barton, J. Crocker, G. Tkačik, Current Opinion in Genetics and Development 98 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21762
Repurposing of a DNA segregation machinery into a cytoskeletal system controlling cell shape
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).
View
| DOI
| PubMed | Europe PMC
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 21704 |
Descent from a common ancestor restricts exploration of protein sequence space
L.H. Isakova, E. Streltsova, O. Bochkareva, P.K. Vlasov, F. Kondrashov, Proceedings of the National Academy of Sciences 123 (2026) e2532018123.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L.H. Isakova, E. Streltsova, O. Bochkareva, P.K. Vlasov, F. Kondrashov, Proceedings of the National Academy of Sciences 123 (2026) e2532018123.
2026 |
Published |
Journal Article |
IST-REx-ID: 21746 |
|
|
Multifold increase in spinal inhibitory cell types with emergence of limb movement
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).