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.




6932 Publications

earlier version | 2020 | Published | Preprint | IST-REx-ID: 7673 | OA
Kavcic, B., Tkačik, G., & Bollenbach, M. T. (2020). A minimal biophysical model of combined antibiotic action. bioRxiv. https://doi.org/10.1101/2020.04.18.047886
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 6918 | OA
Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier. https://doi.org/10.1016/j.ress.2019.106665
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2020.574382
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). 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. MDPI. https://doi.org/10.3390/ijms21186737
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2020.100856
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Kainrath, S. (2020). Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7680
View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8620 | OA
Morandell, J. (2020). Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8620
[Published Version] View | Files available | DOI
 
earlier version | 2020 | Draft | Preprint | IST-REx-ID: 7800 | OA
Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer, C. M., … Novarino, G. (n.d.). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. https://doi.org/10.1101/2020.01.10.902064
[Preprint] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8131 | OA
Basilico, B., Morandell, J., & Novarino, G. (2020). Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2020.06.004
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784). ML Research Press.
[Published Version] View | Files available | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 8707 | OA
Galan, S., Machnik, N. N., Kruse, K., Díaz, N., Marti-Renom, M. A., & Vaquerizas, J. M. (2020). CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-020-00712-y
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 11062 | OA
Arrojo e Drigo, R., Lev-Ram, V., Tyagi, S., Ramachandra, R., Deerinck, T., Bushong, E., … Hetzer, M. (2019). Age mosaicism across multiple scales in adult tissues. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2019.05.010
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 301 | OA
Gerencser, M., & Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2018.04.003
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 12190
Lawrence, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., & Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2019.06.084
View | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 12192 | OA
He, S., Vickers, M., Zhang, J., & Feng, X. (2019). Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.42530
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed