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.
399 Publications
2023 | Journal Article | IST-REx-ID: 14920 | 
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 | Journal Article | IST-REx-ID: 12802 |
Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
[Published Version]
View
| Files available
| DOI
| WoS
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
2023 | Journal Article | IST-REx-ID: 14985 |
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version]
View
| Files available
| DOI
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
2023 | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Preprint | IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Riabov, ArXiv (n.d.).
2023 | Thesis | IST-REx-ID: 12809 |
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
2022 | Conference Paper | IST-REx-ID: 11428 |
A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
[Published Version]
View
| Files available
| DOI
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
2022 | Book Chapter | IST-REx-ID: 11440 |
The persistent homology of dual digital image constructions
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
2022 | Book Chapter | IST-REx-ID: 11456
Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
View
| DOI
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
2022 | Journal Article | IST-REx-ID: 12134 |
Explosive transitions in epidemic dynamics
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
[Published Version]
View
| Files available
| DOI
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
2022 | Journal Article | IST-REx-ID: 11336 |
Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
[Published Version]
View
| Files available
| DOI
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
2022 | 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 | Journal Article | IST-REx-ID: 10018 |
Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022).
2022 | Journal Article | IST-REx-ID: 10583 |
Transcriptional analysis in the Arabidopsis roots reveals new regulators that link rac-GR24 treatment with changes in flavonol accumulation, root hair elongation and lateral root density
S. Struk, L. Braem, C. Matthys, A. Walton, N. Vangheluwe, S. Van Praet, L. Jiang, P. Baster, C. De Cuyper, F.-D. Boyer, E. Stes, T. Beeckman, J. Friml, K. Gevaert, S. Goormachtig, Plant & Cell Physiology 63 (2022) 104–119.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Struk, L. Braem, C. Matthys, A. Walton, N. Vangheluwe, S. Van Praet, L. Jiang, P. Baster, C. De Cuyper, F.-D. Boyer, E. Stes, T. Beeckman, J. Friml, K. Gevaert, S. Goormachtig, Plant & Cell Physiology 63 (2022) 104–119.
2022 | Journal Article | IST-REx-ID: 10547 |
Global existence analysis of energy-reaction-diffusion systems
J.L. Fischer, K. Hopf, M. Kniely, A. Mielke, SIAM Journal on Mathematical Analysis 54 (2022) 220–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J.L. Fischer, K. Hopf, M. Kniely, A. Mielke, SIAM Journal on Mathematical Analysis 54 (2022) 220–267.
2022 | Journal Article | IST-REx-ID: 10763 |
Mechanisms underlying TARP modulation of the GluA1/2-γ8 AMPA receptor
B. Herguedas, B.K. Kohegyi, J.N. Dohrke, J. Watson, D. Zhang, H. Ho, S.A. Shaikh, R. Lape, J.M. Krieger, I.H. Greger, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Herguedas, B.K. Kohegyi, J.N. Dohrke, J. Watson, D. Zhang, H. Ho, S.A. Shaikh, R. Lape, J.M. Krieger, I.H. Greger, Nature Communications 13 (2022).
2022 | Journal Article | IST-REx-ID: 10887 |
Functional John ellipsoids
G. Ivanov, M. Naszódi, Journal of Functional Analysis 282 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Ivanov, M. Naszódi, Journal of Functional Analysis 282 (2022).
2022 | Journal Article | IST-REx-ID: 11344 |
Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).
2022 | Journal Article | IST-REx-ID: 11419 |
Microtubule assembly by tau impairs endocytosis and neurotransmission via dynamin sequestration in Alzheimer's disease synapse model
T. Hori, K. Eguchi, H.Y. Wang, T. Miyasaka, L. Guillaud, Z. Taoufiq, S. Mahapatra, H. Yamada, K. Takei, T. Takahashi, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Hori, K. Eguchi, H.Y. Wang, T. Miyasaka, L. Guillaud, Z. Taoufiq, S. Mahapatra, H. Yamada, K. Takei, T. Takahashi, ELife 11 (2022).
2022 | Journal Article | IST-REx-ID: 11401 |
Unidentified major p-type source in SnSe: Multivacancies
V.Q. Nguyen, T.L. Trinh, C. Chang, L.D. Zhao, T.H. Nguyen, V.T. Duong, A.T. Duong, J.H. Park, S. Park, J. Kim, S. Cho, NPG Asia Materials 14 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
V.Q. Nguyen, T.L. Trinh, C. Chang, L.D. Zhao, T.H. Nguyen, V.T. Duong, A.T. Duong, J.H. Park, S. Park, J. Kim, S. Cho, NPG Asia Materials 14 (2022).