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.
5507 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6428 | 
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6442 |
Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6451 |
Amberg N, Sotiropoulou PA, Heller G, et al. EGFR controls hair shaft differentiation in a p53-independent manner. iScience. 2019;15:243-256. doi:10.1016/j.isci.2019.04.018
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6454 |
Ortiz-Álvarez G, Daclin M, Shihavuddin A, et al. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. 2019;102(1):159-172.e7. doi:10.1016/j.neuron.2019.01.051
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6455 |
Telley L, Agirman G, Prados J, et al. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. 2019;364(6440). doi:10.1126/science.aav2522
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6462 |
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6465 |
Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09974-5
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6466 |
Field D, Fraisse C. Breaking down barriers in morning glories. Molecular ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6467 |
Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6470 |
Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 2019;597(11):2925–2947. doi:10.1113/JP277681
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6477 |
Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2). doi:10.1103/revmodphys.91.021001
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6482 |
Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 65 |
Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 2019;266(6):3732-3763. doi:10.1016/j.jde.2018.09.012
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6504 |
Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism. New Phytologist. 2019;224(2):761-774. doi:10.1111/nph.15932
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6506 |
Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 2019;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6511 |
Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. Annals of Probability. 2019;47(3):1270-1334. doi:10.1214/18-AOP1284
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6513 |
Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem cells. Nature. 2019;570:107-111. doi:10.1038/s41586-019-1212-5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6515 |
Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 2019;10(1):223–256. doi:10.20382/jocg.v10i1a9
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6521 |
Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 2019;707. doi:10.1016/j.neulet.2019.134310
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC