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.
699 Publications
2020 | Published | Journal Article | IST-REx-ID: 8532 | 
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
Kleindienst, David, Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences 21 (18). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Kleindienst, David, Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences 21 (18). 2020
2020 | Published | Journal Article | IST-REx-ID: 7161 |
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
2020 | Published | Journal Article | IST-REx-ID: 7473 |
Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
2020 | Published | Journal Article | IST-REx-ID: 8586 |
3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8190 |
Zena Werb (1945-2020): Cell biology in context
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7652 |
Gene amplification as a form of population-level gene expression regulation
I. Tomanek, R. Grah, M. Lagator, A.M.C. Andersson, J.P. Bollback, G. Tkačik, C.C. Guet, Nature Ecology & Evolution 4 (2020) 612–625.
[Submitted Version]
View
| Files available
| DOI
| WoS
I. Tomanek, R. Grah, M. Lagator, A.M.C. Andersson, J.P. Bollback, G. Tkačik, C.C. Guet, Nature Ecology & Evolution 4 (2020) 612–625.
2020 | Published | Thesis | IST-REx-ID: 8653 |
The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.
2020 | Draft | Preprint | IST-REx-ID: 8831 |
Enhancement of proximity induced superconductivity in planar Germanium
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 7815 |
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (2020).
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (2020).
2020 | Published | Thesis | IST-REx-ID: 7902 |
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, Institute of Science and Technology Austria, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version]
View
| Files available
| arXiv
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
2020 | Published | Thesis | IST-REx-ID: 8983 |
Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
2020 | Draft | Preprint | IST-REx-ID: 8557 |
Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 6918 |
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
2020 | Published | Journal Article | IST-REx-ID: 7426 |
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
2020 | Published | Thesis | IST-REx-ID: 8340 |
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.
2020 | Published | Thesis | IST-REx-ID: 8657 |
Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.