Please note that ISTA 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.
5865 Publications
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7476 |
Andersen MS, Hannezo EB, Ulyanchenko S, et al. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 2019;21(8):924-932. doi:10.1038/s41556-019-0362-x
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 2019;28(2):425-447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Submitted| Preprint | IST-REx-ID: 7552 |
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:191208579.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair Publications; 2019:41-61. doi:10.29007/m75b
[Published Version]
View
| Files available
| DOI
2019 |Submitted| Preprint | IST-REx-ID: 7627 |
Prehal C, Samojlov A, Nachtnebel M, Kriechbaum M, Amenitsch H, Freunberger SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.
[Preprint]
View
| Download Preprint (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7710 |
Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. Accurate, scalable and integrative haplotype estimation. Nature Communications. 2019;10. doi:10.1038/s41467-019-13225-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Preprint | IST-REx-ID: 7782 |
Sulc J, Mounier N, Günther F, et al. Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank. bioRxiv. 2019.
[Preprint]
View
| Download Preprint (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8013 |
Currin CB, Khoza PN, Antrobus AD, Latham PE, Vogels TP, Raimondo JV. Think: Theory for Africa. PLOS Computational Biology. 2019;15(7). doi:10.1371/journal.pcbi.1007049
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 8014 |
Manohar SG, Zokaei N, Fallon SJ, Vogels TP, Husain M. Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. 2019;101:1-12. doi:10.1016/j.neubiorev.2019.03.017
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 8175 |
Betea D, Bouttier J, Nejjar P, Vuletíc M. New edge asymptotics of skew Young diagrams via free boundaries. In: Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics; 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 8228 |
Singer J, Achatz-Straussberger G, Bentley-Lukschal A, et al. AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. 2019;12(7). doi:10.1016/j.waojou.2019.100044
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8229 |
Ondracek AS, Heiden D, Oostingh GJ, et al. Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. 2019;11(10). doi:10.3390/nu11102463
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8227 |
Ilieva KM, Singer J, Bax HJ, et al. AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. 2019;74(10):1985-1989. doi:10.1111/all.13818
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8263 |
Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. 2019;19. doi:10.1186/s12862-019-1403-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8304 |
Zamyatin A, Al-Bassam M, Zindros D, et al. SoK: Communication across distributed ledgers. Cryptology ePrint Archive.
[Preprint]
View
| Download Preprint (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8303 |
Kokoris Kogias E. Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive.
[Preprint]
View
| Download Preprint (ext.)
2019 |Published| Thesis | IST-REx-ID: 8311 |
Kokoris Kogias E. Secure, confidential blockchains providing high throughput and low latency. 2019. doi:10.5075/epfl-thesis-7101
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8314 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Submitted| Preprint | IST-REx-ID: 8315 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv