Please note that IST 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.

6205 Publications


2020 | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
View | Files available | DOI
 

2020 | 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
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie RJ, Hippenmeyer S, Pauler F. SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. 2020;5. doi:10.3389/feduc.2020.00048
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie RJ, Streicher C, Amberg N, et al. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments (JoVE). 2020;(159). doi:10.3791/61147
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition. 2020;59(37):15913-1591. doi:10.1002/anie.202005378
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7864
Singer J, Singer J, Jensen-Jarolim E. Precision medicine in clinical oncology: the journey from IgG antibody to IgE. Current opinion in allergy and clinical immunology. 2020;20(3):282-289. doi:10.1097/ACI.0000000000000637
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7866 | OA
Fellner K, Kniely M. Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations. 2020;6:529-598. doi:10.1007/s41808-020-00068-8
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7875 | OA
Kopf A, Renkawitz J, Hauschild R, et al. Microtubules control cellular shape and coherence in amoeboid migrating cells. The Journal of Cell Biology. 2020;219(6). doi:10.1083/jcb.201907154
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7876 | OA
Sixt MK, Lämmermann T. T cells: Bridge-and-channel commute to the white pulp. Immunity. 2020;52(5):721-723. doi:10.1016/j.immuni.2020.04.020
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7877 | OA
Parenti I, Diab F, Gil SR, et al. MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome. Cell Reports. 2020;31(7). doi:10.1016/j.celrep.2020.107647
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7878 | OA
Bao J, Graupner M, Astorga G, et al. Synergism of type 1 metabotropic and ionotropic glutamate receptors in cerebellar molecular layer interneurons in vivo. eLife. 2020;9. doi:10.7554/eLife.56839
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7880 | OA
Fagan RR, Kearney PJ, Sweeney CG, et al. Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact. Journal of Biological Chemistry. 2020;295(16):5229-5244. doi:10.1074/jbc.RA120.012628
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7882 | OA
Armstrong JR, Jensen AS, Volosniev A, Zinner NT. Clusters in separated tubes of tilted dipoles. Mathematics. 2020;8(4). doi:10.3390/math8040484
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska K, Kicheva A. Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology. 2020. doi:10.1002/wdev.383
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7885
REVERSAT A, Gärtner FR, Merrin J, et al. Cellular locomotion using environmental topography. Nature. 2020;582:582–585. doi:10.1038/s41586-020-2283-z
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7888 | OA
Schauer A, Nunes Pinheiro DC, Hauschild R, Heisenberg C-PJ. Zebrafish embryonic explants undergo genetically encoded self-assembly. eLife. 2020;9. doi:10.7554/elife.55190
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7889
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, et al. Plants with genetically encoded autoluminescence. Nature Biotechnology. 2020;38:944-946. doi:10.1038/s41587-020-0500-9
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7901 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Correlation energy of a weakly interacting Fermi gas. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7902
Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902
View | Files available | DOI
 

Search

Filter Publications