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.
496 Publications
2019 | Journal Article | IST-REx-ID: 80 |

Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
View
| Files available
| DOI
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
2019 | Journal Article | IST-REx-ID: 8013 |

Think: Theory for Africa
C.B. Currin, P.N. Khoza, A.D. Antrobus, P.E. Latham, T.P. Vogels, J.V. Raimondo, PLOS Computational Biology 15 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
C.B. Currin, P.N. Khoza, A.D. Antrobus, P.E. Latham, T.P. Vogels, J.V. Raimondo, PLOS Computational Biology 15 (2019).
2019 | Journal Article | IST-REx-ID: 8014 |

Neural mechanisms of attending to items in working memory
S.G. Manohar, N. Zokaei, S.J. Fallon, T.P. Vogels, M. Husain, Neuroscience and Biobehavioral Reviews 101 (2019) 1–12.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.G. Manohar, N. Zokaei, S.J. Fallon, T.P. Vogels, M. Husain, Neuroscience and Biobehavioral Reviews 101 (2019) 1–12.
2019 | Conference Paper | IST-REx-ID: 8175 |

New edge asymptotics of skew Young diagrams via free boundaries
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
View
| Download Preprint (ext.)
| arXiv
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
2019 | Preprint | IST-REx-ID: 8184 |

Stronger counterexamples to the topological Tverberg conjecture
S. Avvakumov, R. Karasev, A. Skopenkov, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, R. Karasev, A. Skopenkov, ArXiv (n.d.).
2019 | Preprint | IST-REx-ID: 8185 |

Envy-free division using mapping degree
S. Avvakumov, R. Karasev, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, R. Karasev, ArXiv (n.d.).
2019 | Journal Article | IST-REx-ID: 8227 |

AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody
K.M. Ilieva, J. Singer, H.J. Bax, S. Crescioli, L. Montero‐Morales, S. Mele, H.S. Sow, C. Stavraka, D.H. Josephs, J.F. Spicer, H. Steinkellner, E. Jensen‐Jarolim, A.N.J. Tutt, S.N. Karagiannis, Allergy 74 (2019) 1985–1989.
View
| DOI
| Download Published Version (ext.)
K.M. Ilieva, J. Singer, H.J. Bax, S. Crescioli, L. Montero‐Morales, S. Mele, H.S. Sow, C. Stavraka, D.H. Josephs, J.F. Spicer, H. Steinkellner, E. Jensen‐Jarolim, A.N.J. Tutt, S.N. Karagiannis, Allergy 74 (2019) 1985–1989.
2019 | Journal Article | IST-REx-ID: 8228 |

AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice
J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).
View
| DOI
| Download Published Version (ext.)
J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).
2019 | Journal Article | IST-REx-ID: 8229 |

Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model
A.S. Ondracek, D. Heiden, G.J. Oostingh, E. Fuerst, J. Singer, C. Bergmayr, J. Rohrhofer, E. Jensen-Jarolim, A. Duschl, E. Untersmayr, Nutrients 11 (2019).
View
| DOI
| Download Published Version (ext.)
A.S. Ondracek, D. Heiden, G.J. Oostingh, E. Fuerst, J. Singer, C. Bergmayr, J. Rohrhofer, E. Jensen-Jarolim, A. Duschl, E. Untersmayr, Nutrients 11 (2019).
2019 | Journal Article | IST-REx-ID: 8263 |

Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow
P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).
View
| DOI
| Download Published Version (ext.)
P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).
2019 | Book Chapter | IST-REx-ID: 8281
Mathematical models in population genetics
N.H. Barton, A. Etheridge, in:, D. Balding, I. Moltke, J. Marioni (Eds.), Handbook of Statistical Genomics, 4th ed., Wiley, 2019, pp. 115–144.
View
| DOI
N.H. Barton, A. Etheridge, in:, D. Balding, I. Moltke, J. Marioni (Eds.), Handbook of Statistical Genomics, 4th ed., Wiley, 2019, pp. 115–144.
2019 | Conference Paper | IST-REx-ID: 8296
Rethinking general-purpose decentralized computing
E.C. Alp, E. Kokoris Kogias, G. Fragkouli, B. Ford, in:, Proceedings of the Workshop on Hot Topics in Operating Systems, ACM, 2019, pp. 105–112.
View
| DOI
E.C. Alp, E. Kokoris Kogias, G. Fragkouli, B. Ford, in:, Proceedings of the Workshop on Hot Topics in Operating Systems, ACM, 2019, pp. 105–112.
2019 | Preprint | IST-REx-ID: 8303 |

Robust and scalable consensus for sharded distributed ledgers
E. Kokoris Kogias, Cryptology EPrint Archive (n.d.).
View
| Download Preprint (ext.)
E. Kokoris Kogias, Cryptology EPrint Archive (n.d.).
2019 | Preprint | IST-REx-ID: 8304 |

SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, Cryptology EPrint Archive (n.d.).
View
| Download Preprint (ext.)
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, Cryptology EPrint Archive (n.d.).
2019 | Preprint | IST-REx-ID: 8305 |

Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).
View
| Download Preprint (ext.)
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).
2019 | Thesis | IST-REx-ID: 8311 |

Secure, confidential blockchains providing high throughput and low latency
E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.
View
| DOI
| Download Published Version (ext.)
E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.
2019 | Patent | IST-REx-ID: 8313 |

Methods and systems for secure data exchange
B. Ford, L. Gasser, E. Kokoris Kogias, P. Janovic, (2019).
View
| Download Published Version (ext.)
B. Ford, L. Gasser, E. Kokoris Kogias, P. Janovic, (2019).
2019 | Preprint | IST-REx-ID: 8314 |

Brick: Asynchronous payment channels
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
2019 | Preprint | IST-REx-ID: 8315 |

Divide and scale: Formalization of distributed ledger sharding protocols
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
2019 | Conference Paper | IST-REx-ID: 8324 |

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.