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.




6931 Publications

2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
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
 
2020 | Published | Conference Paper | IST-REx-ID: 8089 | OA
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
 
2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
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
 
2020 | Published | Journal Article | IST-REx-ID: 6918 | OA
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
 
2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
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
 
2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
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
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8620 | OA
Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 
earlier version | 2020 | Draft | Preprint | IST-REx-ID: 7800 | OA
Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv (n.d.).
[Preprint] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8131 | OA
Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics & Development 65 (2020) 126–137.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
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
 
2020 | Published | Journal Article | IST-REx-ID: 8707 | OA
CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 11062 | OA
Age mosaicism across multiple scales in adult tissues
R. Arrojo e Drigo, V. Lev-Ram, S. Tyagi, R. Ramachandra, T. Deerinck, E. Bushong, S. Phan, V. Orphan, C. Lechene, M.H. Ellisman, M. Hetzer, Cell Metabolism 30 (2019) 343–351.e3.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 301 | OA
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 12190
Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis
E.J. Lawrence, H. Gao, A.J. Tock, C. Lambing, A.R. Blackwell, X. Feng, I.R. Henderson, Current Biology 29 (2019) 2676–2686.e3.
View | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 12192 | OA
Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation
S. He, M. Vickers, J. Zhang, X. Feng, ELife 8 (2019).
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 13067 | OA
Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R. Butlin, (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed