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.
617 Publications
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 8934 |
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9962 |
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9562 |
2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, Institute of Science and Technology Austria, 2021.
2021 |
Published |
Journal Article |
IST-REx-ID: 9760 |
Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, M. Serbyn, Quantum 5 (2021).
2020 |
Published |
Conference Paper |
IST-REx-ID: 10672 |
Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 10673 |
A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
2020 |
Published |
Journal Article |
IST-REx-ID: 9196 |
Modelled distributions of Triebel–Lizorkin type
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7196 |
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7514 |
The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8382 |
Long-lived snapshots with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7896 |
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
2019 |
Published |
Conference Paper |
IST-REx-ID: 10190 |
Value-centric dynamic partial order reduction
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6179 |
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6825 |
The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6546 |
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, Institute of Science and Technology Austria, 2019.
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6849 |
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
2018 |
Published |
Journal Article |
IST-REx-ID: 19544 |
Isatin-Schiff base-copper (II) complex induces cell death in p53-positive tumors
E. Bulatov, R. Sayarova, R. Mingaleeva, R. Miftakhova, M. Gomzikova, I. Ignatev, A. Petukhov, P. Davidovich, A. Rizvanov, N.A. Barlev, Cell Death Discovery 4 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Bulatov, R. Sayarova, R. Mingaleeva, R. Miftakhova, M. Gomzikova, I. Ignatev, A. Petukhov, P. Davidovich, A. Rizvanov, N.A. Barlev, Cell Death Discovery 4 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 104 |
The core effector Cce1 is required for early infection of maize by Ustilago maydis
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
[Published Version]
View
| Files available
| DOI
| WoS
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 69 |
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.