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.
344 Publications
2023 | Published | Thesis | IST-REx-ID: 13081 | 
Epithelial dynamics during mouse neural tube development
Bocanegra, Laura, Epithelial dynamics during mouse neural tube development. 2023
[Published Version]
View
| Files available
| DOI
Bocanegra, Laura, Epithelial dynamics during mouse neural tube development. 2023
2023 | Published | Thesis | IST-REx-ID: 14697 |
Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function
Stopp, Julian A, Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function. 2023
[Published Version]
View
| Files available
| DOI
Stopp, Julian A, Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function. 2023
2023 | Published | Thesis | IST-REx-ID: 14641 |
Adaptive mutation in E. coli modulated by luxS
Hennessey-Wesen, Mike, Adaptive mutation in E. coli modulated by luxS. 2023
[Published Version]
View
| Files available
| DOI
Hennessey-Wesen, Mike, Adaptive mutation in E. coli modulated by luxS. 2023
2023 | Published | Thesis | IST-REx-ID: 12964 |
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14323 |
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
Kuzmicz-Kowalska, Katarzyna, Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023
[Published Version]
View
| Files available
| DOI
Kuzmicz-Kowalska, Katarzyna, Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Regular methods for operator precedence languages
Henzinger, Thomas A, Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
Henzinger, Thomas A, Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
2022 | Published | Journal Article | IST-REx-ID: 10600 |
Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap
S.J. Henheik, S. Teufel, Journal of Mathematical Physics 63 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S.J. Henheik, S. Teufel, Journal of Mathematical Physics 63 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10623 |
The BCS critical temperature at high density
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10642 |
Local stability of ground states in locally gapped and weakly interacting quantum spin systems
S.J. Henheik, S. Teufel, T. Wessel, Letters in Mathematical Physics 112 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, S. Teufel, T. Wessel, Letters in Mathematical Physics 112 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10643 |
Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
2022 | Published | Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Draft | Preprint | IST-REx-ID: 17157 |
Spectrum of equivariant cohomology as a fixed point scheme
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 14355 |
A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease
Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.
[Published Version]
View
| Files available
| DOI
Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.
2022 | Published | Journal Article | IST-REx-ID: 10842
Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
View
| DOI
| WoS
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
2022 | Published | Journal Article | IST-REx-ID: 10925 |
On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow
B. Yang, Z. Yang, Journal of Fluid Mechanics 937 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
B. Yang, Z. Yang, Journal of Fluid Mechanics 937 (2022).
2022 | Published | Thesis | IST-REx-ID: 11128 |
Genetic basis of flower colour as a model for adaptive evolution
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
2022 | Research Data | IST-REx-ID: 11321 |
Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
2022 | Published | Journal Article | IST-REx-ID: 11403
Measuring airborne nanoplastics using aerosol physics
A. Stöllner, Nature Reviews Earth and Environment 3 (2022) 360.
View
| DOI
| WoS
A. Stöllner, Nature Reviews Earth and Environment 3 (2022) 360.
2022 | Published | Journal Article | IST-REx-ID: 11438 |
Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).