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.




6559 Publications

2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi: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 AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi: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 AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi: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 AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7525 | OA
Bhandari P. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 2020;184:877–894. doi:10.1007/s10957-019-01616-6
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8657 | OA
Kavcic B. Perturbations of protein synthesis: from antibiotics to genetics and physiology. 2020. doi:10.15479/AT:ISTA:8657
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8620 | OA
Morandell J. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. 2020. doi:10.15479/AT:ISTA:8620
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2020 | Draft | Preprint | IST-REx-ID: 7800 | OA
Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. doi:10.1101/2020.01.10.902064
[Preprint] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8250 | OA
Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8131 | OA
Basilico B, Morandell J, Novarino G. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 2020;65(12):126-137. doi:10.1016/j.gde.2020.06.004
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2020 | Published | Preprint | IST-REx-ID: 7673 | OA
Kavcic B, Tkačik G, Bollenbach MT. A minimal biophysical model of combined antibiotic action. bioRxiv. 2020. doi:10.1101/2020.04.18.047886
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 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. 2020;21(18). doi:10.3390/ijms21186737
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. 2020. doi:10.15479/AT:ISTA:7680
View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5). doi:10.1016/j.nahs.2020.100856
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8707 | OA
Galan S, Machnik NN, Kruse K, Díaz N, Marti-Renom MA, Vaquerizas JM. CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction. Nature Genetics. 2020;52:1247-1255. doi: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: 10878 | OA
Flandoli F, Priola E, Zanco GA. A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical Systems. 2019;39(6):3037-3067. doi:10.3934/dcds.2019126
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 11062 | OA
Arrojo e Drigo R, Lev-Ram V, Tyagi S, et al. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 2019;30(2):343-351.e3. doi: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. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 2019;149(1):12-26. doi:10.1111/jnc.14601
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed