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.
5860 Publications
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. Lecture Notes in Computer Science, vol. 10000, 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7476 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Andersen MS, Hannezo EB, Ulyanchenko S, Estrach S, Antoku Y, Pisano S, Boonekamp KE, Sendrup S, Maimets M, Pedersen MT, Johansen JV, Clement DL, Feral CC, Simons BD, Jensen KB. 2019. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 21(8), 924–932.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7550 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Submitted| Preprint | IST-REx-ID: 7552 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:1912.08579, .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.
[Published Version]
View
| Files available
| DOI
2019 |Submitted| Preprint | IST-REx-ID: 7627 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. 2019. Accurate, scalable and integrative haplotype estimation. Nature Communications. 10, 5436.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Preprint | IST-REx-ID: 7782 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sulc J, Mounier N, Günther F, Winkler T, Wood AR, Frayling TM, Heid IM, Robinson MR, Kutalik Z. 2019. Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank. bioRxiv, .
[Preprint]
View
| Download Preprint (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8013 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Currin CB, Khoza PN, Antrobus AD, Latham PE, Vogels TP, Raimondo JV. 2019. Think: Theory for Africa. PLOS Computational Biology. 15(7), e1007049.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 8014 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manohar SG, Zokaei N, Fallon SJ, Vogels TP, Husain M. 2019. Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. 101, 1–12.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 8175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Betea D, Bouttier J, Nejjar P, Vuletíc M. 2019. New edge asymptotics of skew Young diagrams via free boundaries. Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. FPSAC: International Conference on Formal Power Series and Algebraic Combinatorics, 34.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 8228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Singer J, Achatz-Straussberger G, Bentley-Lukschal A, Singer J, Achatz G, Karagiannis SN, Jensen-Jarolim E. 2019. AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. 12(7), 100044.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ondracek AS, Heiden D, Oostingh GJ, Fuerst E, Singer J, Bergmayr C, Rohrhofer J, Jensen-Jarolim E, Duschl A, Untersmayr E. 2019. Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. 11(10), 2463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8227 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ilieva KM, Singer J, Bax HJ, Crescioli S, Montero‐Morales L, Mele S, Sow HS, Stavraka C, Josephs DH, Spicer JF, Steinkellner H, Jensen‐Jarolim E, Tutt ANJ, Karagiannis SN. 2019. AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. 74(10), 1985–1989.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8263 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. 2019. Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. 19, 83.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8304 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zamyatin A, Al-Bassam M, Zindros D, Kokoris Kogias E, Moreno-Sanchez P, Kiayias A, Knottenbelt WJ. SoK: Communication across distributed ledgers. Cryptology ePrint Archive, 2019/1128.
[Preprint]
View
| Download Preprint (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8303 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kokoris Kogias E. Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive, 2019/676.
[Preprint]
View
| Download Preprint (ext.)
2019 |Published| Thesis | IST-REx-ID: 8311 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kokoris Kogias E. 2019. Secure, confidential blockchains providing high throughput and low latency. École Polytechnique Fédérale de Lausanne.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Submitted| Preprint | IST-REx-ID: 8314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv, 1905.11360.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Submitted| Preprint | IST-REx-ID: 8315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv, 1910.10434.
[Preprint]
View
| Download Preprint (ext.)
| arXiv