[{"conference":{"name":"ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems","end_date":"2019-04-15","start_date":"2019-04-15","location":"Montreal, Canada"},"doi":"10.29007/m75b","language":[{"iso":"eng"}],"oa":1,"quality_controlled":"1","month":"05","publication_identifier":{"eissn":["23987340"]},"author":[{"last_name":"Immler","first_name":"Fabian","full_name":"Immler, Fabian"},{"full_name":"Althoff, Matthias","first_name":"Matthias","last_name":"Althoff"},{"full_name":"Benet, Luis","first_name":"Luis","last_name":"Benet"},{"first_name":"Alexandre","last_name":"Chapoutot","full_name":"Chapoutot, Alexandre"},{"first_name":"Xin","last_name":"Chen","full_name":"Chen, Xin"},{"last_name":"Forets","first_name":"Marcelo","full_name":"Forets, Marcelo"},{"full_name":"Geretti, Luca","first_name":"Luca","last_name":"Geretti"},{"full_name":"Kochdumper, Niklas","first_name":"Niklas","last_name":"Kochdumper"},{"full_name":"Sanders, David P.","last_name":"Sanders","first_name":"David P."},{"full_name":"Schilling, Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3658-1065","first_name":"Christian","last_name":"Schilling"}],"date_updated":"2021-01-12T08:14:17Z","date_created":"2020-03-08T23:00:49Z","volume":61,"year":"2019","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"EasyChair Publications","file_date_updated":"2020-07-14T12:48:00Z","date_published":"2019-05-25T00:00:00Z","publication":"EPiC Series in Computing","citation":{"ama":"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","ista":"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.","apa":"Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. https://doi.org/10.29007/m75b","ieee":"F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.","mla":"Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:10.29007/m75b.","short":"F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.","chicago":"Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b."},"page":"41-61","day":"25","article_processing_charge":"No","has_accepted_license":"1","scopus_import":1,"oa_version":"Published Version","file":[{"relation":"main_file","file_id":"7617","checksum":"9138977a06fcd6a95976eb4bca875f0c","date_updated":"2020-07-14T12:48:00Z","date_created":"2020-03-24T07:36:36Z","access_level":"open_access","file_name":"2019_ARCH19_Immler.pdf","file_size":1934830,"content_type":"application/pdf","creator":"dernst"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"7576","ddc":["000"],"title":"ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics","status":"public","intvolume":" 61","abstract":[{"text":"We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.","lang":"eng"}],"type":"conference"},{"type":"preprint","abstract":[{"lang":"eng","text":"Electrodepositing insulating and insoluble Li2O2 is the key process during discharge of aprotic Li-O2 batteries and determines rate, capacity, and reversibility. Current understanding states that the partition between surface adsorbed and solvated LiO2 governs whether Li2O2 grows as surface film, leading to low capacity even at low rates, or in solution, leading to particles and high capacities. Here we show that Li2O2 forms to the widest extent as particles via solution mediated LiO2 disproportionation. We describe a unified Li2O2 growth model that conclusively explains capacity limitations across the whole range of electrolytes. Deciding for particle morphology, achievable rate and capacities are species mobilities, electrode specific surface area (determining true areal rate) and the concentration distribution of associated LiO2 in solution. Provided that species mobilities and surface are high, high, capacities are possible even with low-donor-number electrolytes, previously considered prototypical for low capacity via surface growth. The tools for these insights are microscopy, hydrodynamic voltammetry, a numerical reaction model, and in situ small/wide angle X-ray scattering (SAXS/WAXS). Combined with sophisticated data analysis, SAXS allows retrieving rich quantitative information from complex multi-phase systems. On a wider perspective, this SAXS method is a powerful in situ metrology with atomic to sub-micron resolution to study mechanisms in complex electrochemical systems and beyond. "}],"extern":"1","_id":"7627","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2019","publisher":"ChemRxiv","status":"public","title":"A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering","publication_status":"submitted","author":[{"full_name":"Prehal, Christian","last_name":"Prehal","first_name":"Christian"},{"full_name":"Samojlov, Aleksej","first_name":"Aleksej","last_name":"Samojlov"},{"last_name":"Nachtnebel","first_name":"Manfred","full_name":"Nachtnebel, Manfred"},{"full_name":"Kriechbaum, Manfred","first_name":"Manfred","last_name":"Kriechbaum"},{"last_name":"Amenitsch","first_name":"Heinz","full_name":"Amenitsch, Heinz"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","last_name":"Freunberger"}],"oa_version":"Preprint","date_created":"2020-04-01T10:10:21Z","date_updated":"2020-04-06T10:36:21Z","article_processing_charge":"No","month":"12","day":"26","oa":1,"main_file_link":[{"url":"https://doi.org/10.26434/chemrxiv.11447775.v1","open_access":"1"}],"citation":{"chicago":"Prehal, Christian, Aleksej Samojlov, Manfred Nachtnebel, Manfred Kriechbaum, Heinz Amenitsch, and Stefan Alexander Freunberger. “A Revised O2 Reduction Model in Li-O2 Batteries as Revealed by in Situ Small Angle X-Ray Scattering.” ChemRxiv, n.d.","mla":"Prehal, Christian, et al. A Revised O2 Reduction Model in Li-O2 Batteries as Revealed by in Situ Small Angle X-Ray Scattering. ChemRxiv.","short":"C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, (n.d.).","ista":"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.","ieee":"C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, and S. A. Freunberger, “A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.” ChemRxiv.","apa":"Prehal, C., Samojlov, A., Nachtnebel, M., Kriechbaum, M., Amenitsch, H., & Freunberger, S. A. (n.d.). A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering. ChemRxiv.","ama":"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."},"page":"50","date_published":"2019-12-26T00:00:00Z","language":[{"iso":"eng"}]},{"abstract":[{"lang":"eng","text":"The number of human genomes being genotyped or sequenced increases exponentially and efficient haplotype estimation methods able to handle this amount of data are now required. Here we present a method, SHAPEIT4, which substantially improves upon other methods to process large genotype and high coverage sequencing datasets. It notably exhibits sub-linear running times with sample size, provides highly accurate haplotypes and allows integrating external phasing information such as large reference panels of haplotypes, collections of pre-phased variants and long sequencing reads. We provide SHAPEIT4 in an open source format and demonstrate its performance in terms of accuracy and running times on two gold standard datasets: the UK Biobank data and the Genome In A Bottle."}],"extern":"1","article_number":"5436","type":"journal_article","author":[{"last_name":"Delaneau","first_name":"Olivier","full_name":"Delaneau, Olivier"},{"full_name":"Zagury, Jean-François","last_name":"Zagury","first_name":"Jean-François"},{"orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson","first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard"},{"full_name":"Marchini, Jonathan L.","last_name":"Marchini","first_name":"Jonathan L."},{"first_name":"Emmanouil T.","last_name":"Dermitzakis","full_name":"Dermitzakis, Emmanouil T."}],"date_updated":"2021-01-12T08:15:01Z","date_created":"2020-04-30T10:40:32Z","oa_version":"Published Version","volume":10,"_id":"7710","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Accurate, scalable and integrative haplotype estimation","status":"public","publication_status":"published","publisher":"Springer Nature","intvolume":" 10","day":"28","month":"11","article_processing_charge":"No","publication_identifier":{"issn":["2041-1723"]},"date_published":"2019-11-28T00:00:00Z","doi":"10.1038/s41467-019-13225-y","language":[{"iso":"eng"}],"publication":"Nature Communications","main_file_link":[{"url":"https://doi.org/10.1038/s41467-019-13225-y","open_access":"1"}],"citation":{"chicago":"Delaneau, Olivier, Jean-François Zagury, Matthew Richard Robinson, Jonathan L. Marchini, and Emmanouil T. Dermitzakis. “Accurate, Scalable and Integrative Haplotype Estimation.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-13225-y.","short":"O. Delaneau, J.-F. Zagury, M.R. Robinson, J.L. Marchini, E.T. Dermitzakis, Nature Communications 10 (2019).","mla":"Delaneau, Olivier, et al. “Accurate, Scalable and Integrative Haplotype Estimation.” Nature Communications, vol. 10, 5436, Springer Nature, 2019, doi:10.1038/s41467-019-13225-y.","apa":"Delaneau, O., Zagury, J.-F., Robinson, M. R., Marchini, J. L., & Dermitzakis, E. T. (2019). Accurate, scalable and integrative haplotype estimation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-13225-y","ieee":"O. Delaneau, J.-F. Zagury, M. R. Robinson, J. L. Marchini, and E. T. Dermitzakis, “Accurate, scalable and integrative haplotype estimation,” Nature Communications, vol. 10. Springer Nature, 2019.","ista":"Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. 2019. Accurate, scalable and integrative haplotype estimation. Nature Communications. 10, 5436.","ama":"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"},"oa":1,"quality_controlled":"1","article_type":"original"},{"publication_identifier":{"issn":["2522-5812"]},"article_processing_charge":"No","day":"09","month":"12","citation":{"ama":"Bevers RPJ, Litovchenko M, Kapopoulou A, et al. Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. Nature Metabolism. 2019;1(12):1226-1242. doi:10.1038/s42255-019-0147-3","ista":"Bevers RPJ, Litovchenko M, Kapopoulou A, Braman VS, Robinson MR, Auwerx J, Hollis B, Deplancke B. 2019. Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. Nature Metabolism. 1(12), 1226–1242.","apa":"Bevers, R. P. J., Litovchenko, M., Kapopoulou, A., Braman, V. S., Robinson, M. R., Auwerx, J., … Deplancke, B. (2019). Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. Nature Metabolism. Springer Nature. https://doi.org/10.1038/s42255-019-0147-3","ieee":"R. P. J. Bevers et al., “Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel,” Nature Metabolism, vol. 1, no. 12. Springer Nature, pp. 1226–1242, 2019.","mla":"Bevers, Roel P. J., et al. “Mitochondrial Haplotypes Affect Metabolic Phenotypes in the Drosophila Genetic Reference Panel.” Nature Metabolism, vol. 1, no. 12, Springer Nature, 2019, pp. 1226–42, doi:10.1038/s42255-019-0147-3.","short":"R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, Nature Metabolism 1 (2019) 1226–1242.","chicago":"Bevers, Roel P. J., Maria Litovchenko, Adamandia Kapopoulou, Virginie S. Braman, Matthew Richard Robinson, Johan Auwerx, Brian Hollis, and Bart Deplancke. “Mitochondrial Haplotypes Affect Metabolic Phenotypes in the Drosophila Genetic Reference Panel.” Nature Metabolism. Springer Nature, 2019. https://doi.org/10.1038/s42255-019-0147-3."},"publication":"Nature Metabolism","page":"1226-1242","quality_controlled":"1","article_type":"original","date_published":"2019-12-09T00:00:00Z","doi":"10.1038/s42255-019-0147-3","language":[{"iso":"eng"}],"type":"journal_article","issue":"12","abstract":[{"lang":"eng","text":"The nature and extent of mitochondrial DNA variation in a population and how it affects traits is poorly understood. Here we resequence the mitochondrial genomes of 169 Drosophila Genetic Reference Panel lines, identifying 231 variants that stratify along 12 mitochondrial haplotypes. We identify 1,845 cases of mitonuclear allelic imbalances, thus implying that mitochondrial haplotypes are reflected in the nuclear genome. However, no major fitness effects are associated with mitonuclear imbalance, suggesting that such imbalances reflect population structure at the mitochondrial level rather than genomic incompatibilities. Although mitochondrial haplotypes have no direct impact on mitochondrial respiration, some haplotypes are associated with stress- and metabolism-related phenotypes, including food intake in males. Finally, through reciprocal swapping of mitochondrial genomes, we demonstrate that a mitochondrial haplotype associated with high food intake can rescue a low food intake phenotype. Together, our findings provide new insight into population structure at the mitochondrial level and point to the importance of incorporating mitochondrial haplotypes in genotype–phenotype relationship studies."}],"extern":"1","_id":"7711","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2019","intvolume":" 1","publisher":"Springer Nature","status":"public","title":"Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel","publication_status":"published","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s42255-020-0202-0"}]},"author":[{"last_name":"Bevers","first_name":"Roel P. J.","full_name":"Bevers, Roel P. J."},{"full_name":"Litovchenko, Maria","last_name":"Litovchenko","first_name":"Maria"},{"full_name":"Kapopoulou, Adamandia","last_name":"Kapopoulou","first_name":"Adamandia"},{"full_name":"Braman, Virginie S.","first_name":"Virginie S.","last_name":"Braman"},{"full_name":"Robinson, Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813","first_name":"Matthew Richard","last_name":"Robinson"},{"full_name":"Auwerx, Johan","first_name":"Johan","last_name":"Auwerx"},{"full_name":"Hollis, Brian","last_name":"Hollis","first_name":"Brian"},{"first_name":"Bart","last_name":"Deplancke","full_name":"Deplancke, Bart"}],"oa_version":"None","volume":1,"date_created":"2020-04-30T10:40:56Z","date_updated":"2021-01-12T08:15:01Z"},{"date_published":"2019-06-14T00:00:00Z","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.1101/632380 ","open_access":"1"}],"oa":1,"citation":{"ista":"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, .","ieee":"J. Sulc 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. Cold Spring Harbor Laboratory, 2019.","apa":"Sulc, J., Mounier, N., Günther, F., Winkler, T., Wood, A. R., Frayling, T. M., … 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. Cold Spring Harbor Laboratory.","ama":"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.","chicago":"Sulc, Jonathan, Ninon Mounier, Felix Günther, Thomas Winkler, Andrew R. Wood, Timothy M. Frayling, Iris M. Heid, Matthew Richard Robinson, and Zoltán Kutalik. “Maximum Likelihood Method Quantifies the Overall Contribution of Gene-Environment Interaction to Continuous Traits: An Application to Complex Traits in the UK Biobank.” BioRxiv. Cold Spring Harbor Laboratory, 2019.","mla":"Sulc, Jonathan, 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, Cold Spring Harbor Laboratory, 2019.","short":"J. Sulc, N. Mounier, F. Günther, T. Winkler, A.R. Wood, T.M. Frayling, I.M. Heid, M.R. Robinson, Z. Kutalik, BioRxiv (2019)."},"publication":"bioRxiv","page":"20","article_processing_charge":"No","day":"14","month":"06","author":[{"full_name":"Sulc, Jonathan","first_name":"Jonathan","last_name":"Sulc"},{"full_name":"Mounier, Ninon","first_name":"Ninon","last_name":"Mounier"},{"full_name":"Günther, Felix","last_name":"Günther","first_name":"Felix"},{"full_name":"Winkler, Thomas","first_name":"Thomas","last_name":"Winkler"},{"full_name":"Wood, Andrew R.","first_name":"Andrew R.","last_name":"Wood"},{"first_name":"Timothy M.","last_name":"Frayling","full_name":"Frayling, Timothy M."},{"last_name":"Heid","first_name":"Iris M.","full_name":"Heid, Iris M."},{"first_name":"Matthew Richard","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813","full_name":"Robinson, Matthew Richard"},{"last_name":"Kutalik","first_name":"Zoltán","full_name":"Kutalik, Zoltán"}],"oa_version":"Preprint","date_created":"2020-04-30T13:04:26Z","date_updated":"2021-01-12T08:15:30Z","_id":"7782","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2019","publisher":"Cold Spring Harbor Laboratory","publication_status":"published","title":"Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank","status":"public","abstract":[{"text":"As genome-wide association studies (GWAS) increased in size, numerous gene-environment interactions (GxE) have been discovered, many of which however explore only one environment at a time and may suffer from statistical artefacts leading to biased interaction estimates. Here we propose a maximum likelihood method to estimate the contribution of GxE to complex traits taking into account all interacting environmental variables at the same time, without the need to measure any. This is possible because GxE induces fluctuations in the conditional trait variance, the extent of which depends on the strength of GxE. The approach can be applied to continuous outcomes and for single SNPs or genetic risk scores (GRS). Extensive simulations demonstrated that our method yields unbiased interaction estimates and excellent confidence interval coverage. We also offer a strategy to distinguish specific GxE from general heteroscedasticity (scale effects). Applying our method to 32 complex traits in the UK Biobank reveals that for body mass index (BMI) the GRSxE explains an additional 1.9% variance on top of the 5.2% GRS contribution. However, this interaction is not specific to the GRS and holds for any variable similarly correlated with BMI. On the contrary, the GRSxE interaction effect for leg impedance Embedded Image is significantly (P < 10−56) larger than it would be expected for a similarly correlated variable Embedded Image. We showed that our method could robustly detect the global contribution of GxE to complex traits, which turned out to be substantial for certain obesity measures.","lang":"eng"}],"extern":"1","type":"preprint"},{"article_number":"e1007049","extern":"1","file_date_updated":"2020-07-14T12:48:08Z","publisher":"Public Library of Science","publication_status":"published","pmid":1,"year":"2019","volume":15,"date_created":"2020-06-25T12:50:39Z","date_updated":"2021-01-12T08:16:31Z","author":[{"full_name":"Currin, Christopher B.","last_name":"Currin","first_name":"Christopher B."},{"full_name":"Khoza, Phumlani N.","first_name":"Phumlani N.","last_name":"Khoza"},{"last_name":"Antrobus","first_name":"Alexander D.","full_name":"Antrobus, Alexander D."},{"full_name":"Latham, Peter E.","first_name":"Peter E.","last_name":"Latham"},{"id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","orcid":"0000-0003-3295-6181","first_name":"Tim P","last_name":"Vogels","full_name":"Vogels, Tim P"},{"last_name":"Raimondo","first_name":"Joseph V.","full_name":"Raimondo, Joseph V."}],"publication_identifier":{"issn":["1553-7358"]},"month":"07","quality_controlled":"1","external_id":{"pmid":["31295253"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1371/journal.pcbi.1007049","type":"journal_article","issue":"7","intvolume":" 15","status":"public","ddc":["570"],"title":"Think: Theory for Africa","_id":"8013","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","file":[{"file_size":773969,"content_type":"application/pdf","creator":"cziletti","access_level":"open_access","file_name":"2019_PlosCompBio_Currin.pdf","checksum":"723bdfb6ee5c747cbbb32baf01d17fad","date_updated":"2020-07-14T12:48:08Z","date_created":"2020-07-02T12:22:57Z","relation":"main_file","file_id":"8079"}],"oa_version":"Published Version","has_accepted_license":"1","article_processing_charge":"No","day":"11","article_type":"original","citation":{"ama":"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","apa":"Currin, C. B., Khoza, P. N., Antrobus, A. D., Latham, P. E., Vogels, T. P., & Raimondo, J. V. (2019). Think: Theory for Africa. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007049","ieee":"C. B. Currin, P. N. Khoza, A. D. Antrobus, P. E. Latham, T. P. Vogels, and J. V. Raimondo, “Think: Theory for Africa,” PLOS Computational Biology, vol. 15, no. 7. Public Library of Science, 2019.","ista":"Currin CB, Khoza PN, Antrobus AD, Latham PE, Vogels TP, Raimondo JV. 2019. Think: Theory for Africa. PLOS Computational Biology. 15(7), e1007049.","short":"C.B. Currin, P.N. Khoza, A.D. Antrobus, P.E. Latham, T.P. Vogels, J.V. Raimondo, PLOS Computational Biology 15 (2019).","mla":"Currin, Christopher B., et al. “Think: Theory for Africa.” PLOS Computational Biology, vol. 15, no. 7, e1007049, Public Library of Science, 2019, doi:10.1371/journal.pcbi.1007049.","chicago":"Currin, Christopher B., Phumlani N. Khoza, Alexander D. Antrobus, Peter E. Latham, Tim P Vogels, and Joseph V. Raimondo. “Think: Theory for Africa.” PLOS Computational Biology. Public Library of Science, 2019. https://doi.org/10.1371/journal.pcbi.1007049."},"publication":"PLOS Computational Biology","date_published":"2019-07-11T00:00:00Z"},{"date_published":"2019-06-01T00:00:00Z","article_type":"original","page":"1-12","publication":"Neuroscience and Biobehavioral Reviews","citation":{"mla":"Manohar, Sanjay G., et al. “Neural Mechanisms of Attending to Items in Working Memory.” Neuroscience and Biobehavioral Reviews, vol. 101, Elsevier , 2019, pp. 1–12, doi:10.1016/j.neubiorev.2019.03.017.","short":"S.G. Manohar, N. Zokaei, S.J. Fallon, T.P. Vogels, M. Husain, Neuroscience and Biobehavioral Reviews 101 (2019) 1–12.","chicago":"Manohar, Sanjay G., Nahid Zokaei, Sean J. Fallon, Tim P Vogels, and Masud Husain. “Neural Mechanisms of Attending to Items in Working Memory.” Neuroscience and Biobehavioral Reviews. Elsevier , 2019. https://doi.org/10.1016/j.neubiorev.2019.03.017.","ama":"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","ista":"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.","ieee":"S. G. Manohar, N. Zokaei, S. J. Fallon, T. P. Vogels, and M. Husain, “Neural mechanisms of attending to items in working memory,” Neuroscience and Biobehavioral Reviews, vol. 101. Elsevier , pp. 1–12, 2019.","apa":"Manohar, S. G., Zokaei, N., Fallon, S. J., Vogels, T. P., & Husain, M. (2019). Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. Elsevier . https://doi.org/10.1016/j.neubiorev.2019.03.017"},"day":"01","has_accepted_license":"1","article_processing_charge":"No","oa_version":"Published Version","file":[{"date_updated":"2020-07-14T12:48:08Z","date_created":"2020-07-02T13:17:52Z","checksum":"7b972e3d6f7bb3122c8c5648f44e60ca","relation":"main_file","file_id":"8080","content_type":"application/pdf","file_size":1754418,"creator":"cziletti","file_name":"2019_NeurosBiobehavRev_Manohar.pdf","access_level":"open_access"}],"title":"Neural mechanisms of attending to items in working memory","status":"public","ddc":["570"],"intvolume":" 101","_id":"8014","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","abstract":[{"text":"Working memory, the ability to keep recently accessed information available for immediate manipulation, has been proposed to rely on two mechanisms that appear difficult to reconcile: self-sustained neural firing, or the opposite—activity-silent synaptic traces. Here we review and contrast models of these two mechanisms, and then show that both phenomena can co-exist within a unified system in which neurons hold information in both activity and synapses. Rapid plasticity in flexibly-coding neurons allows features to be bound together into objects, with an important emergent property being the focus of attention. One memory item is held by persistent activity in an attended or “focused” state, and is thus remembered better than other items. Other, previously attended items can remain in memory but in the background, encoded in activity-silent synaptic traces. This dual functional architecture provides a unified common mechanism accounting for a diversity of perplexing attention and memory effects that have been hitherto difficult to explain in a single theoretical framework.","lang":"eng"}],"type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1016/j.neubiorev.2019.03.017","quality_controlled":"1","external_id":{"pmid":["30922977"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/233007 "}],"oa":1,"month":"06","publication_identifier":{"issn":["0149-7634"]},"date_updated":"2021-01-12T08:16:31Z","date_created":"2020-06-25T12:52:13Z","volume":101,"author":[{"full_name":"Manohar, Sanjay G.","first_name":"Sanjay G.","last_name":"Manohar"},{"full_name":"Zokaei, Nahid","last_name":"Zokaei","first_name":"Nahid"},{"first_name":"Sean J.","last_name":"Fallon","full_name":"Fallon, Sean J."},{"id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","orcid":"0000-0003-3295-6181","first_name":"Tim P","last_name":"Vogels","full_name":"Vogels, Tim P"},{"full_name":"Husain, Masud","first_name":"Masud","last_name":"Husain"}],"publication_status":"published","publisher":"Elsevier ","year":"2019","pmid":1,"extern":"1","file_date_updated":"2020-07-14T12:48:08Z"},{"conference":{"name":"FPSAC: International Conference on Formal Power Series and Algebraic Combinatorics","location":"Ljubljana, Slovenia","start_date":"2019-07-01","end_date":"2019-07-05"},"language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1902.08750"}],"external_id":{"arxiv":["1902.08750"]},"quality_controlled":"1","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7"},{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","grant_number":"716117","call_identifier":"H2020","name":"Optimal Transport and Stochastic Dynamics"}],"month":"07","author":[{"full_name":"Betea, Dan","last_name":"Betea","first_name":"Dan"},{"full_name":"Bouttier, Jérémie","first_name":"Jérémie","last_name":"Bouttier"},{"full_name":"Nejjar, Peter","last_name":"Nejjar","first_name":"Peter","id":"4BF426E2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Vuletíc, Mirjana","last_name":"Vuletíc","first_name":"Mirjana"}],"date_updated":"2021-01-12T08:17:18Z","date_created":"2020-07-26T22:01:04Z","year":"2019","acknowledgement":"D.B. is especially grateful to Patrik Ferrari for suggesting simplifications in Section 3 and\r\nto Alessandra Occelli for suggesting the name for the models of Section 2.\r\n","publication_status":"published","publisher":"Formal Power Series and Algebraic Combinatorics","department":[{"_id":"LaEr"}],"ec_funded":1,"article_number":"34","date_published":"2019-07-01T00:00:00Z","publication":"Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics","citation":{"mla":"Betea, Dan, et al. “New Edge Asymptotics of Skew Young Diagrams via Free Boundaries.” Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, 34, Formal Power Series and Algebraic Combinatorics, 2019.","short":"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.","chicago":"Betea, Dan, Jérémie Bouttier, Peter Nejjar, and Mirjana Vuletíc. “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.","ama":"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.","ista":"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.","apa":"Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.","ieee":"D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “New edge asymptotics of skew Young diagrams via free boundaries,” in Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Ljubljana, Slovenia, 2019."},"day":"01","article_processing_charge":"No","scopus_import":"1","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8175","title":"New edge asymptotics of skew Young diagrams via free boundaries","status":"public","abstract":[{"lang":"eng","text":"We study edge asymptotics of poissonized Plancherel-type measures on skew Young diagrams (integer partitions). These measures can be seen as generalizations of those studied by Baik--Deift--Johansson and Baik--Rains in resolving Ulam's problem on longest increasing subsequences of random permutations and the last passage percolation (corner growth) discrete versions thereof. Moreover they interpolate between said measures and the uniform measure on partitions. In the new KPZ-like 1/3 exponent edge scaling limit with logarithmic corrections, we find new probability distributions generalizing the classical Tracy--Widom GUE, GOE and GSE distributions from the theory of random matrices."}],"type":"conference"},{"article_type":"original","citation":{"ama":"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","ista":"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.","apa":"Singer, J., Achatz-Straussberger, G., Bentley-Lukschal, A., Singer, J., Achatz, G., Karagiannis, S. N., & Jensen-Jarolim, E. (2019). AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. Elsevier. https://doi.org/10.1016/j.waojou.2019.100044","ieee":"J. Singer et al., “AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice,” World Allergy Organization Journal, vol. 12, no. 7. Elsevier, 2019.","mla":"Singer, Josef, et al. “AllergoOncology: High Innate IgE Levels Are Decisive for the Survival of Cancer-Bearing Mice.” World Allergy Organization Journal, vol. 12, no. 7, 100044, Elsevier, 2019, doi:10.1016/j.waojou.2019.100044.","short":"J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).","chicago":"Singer, Josef, Gertrude Achatz-Straussberger, Anna Bentley-Lukschal, Judit Singer, Gernot Achatz, Sophia N. Karagiannis, and Erika Jensen-Jarolim. “AllergoOncology: High Innate IgE Levels Are Decisive for the Survival of Cancer-Bearing Mice.” World Allergy Organization Journal. Elsevier, 2019. https://doi.org/10.1016/j.waojou.2019.100044."},"publication":"World Allergy Organization Journal","date_published":"2019-07-29T00:00:00Z","article_processing_charge":"No","day":"29","intvolume":" 12","title":"AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice","status":"public","_id":"8228","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","type":"journal_article","issue":"7","abstract":[{"text":"Background: Atopics have a lower risk for malignancies, and IgE targeted to tumors is superior to IgG in fighting cancer. Whether IgE-mediated innate or adaptive immune surveillance can confer protection against tumors remains unclear.\r\nObjective: We aimed to investigate the effects of active and passive immunotherapy to the tumor-associated antigen HER-2 in three murine models differing in Epsilon-B-cell-receptor expression affecting the levels of expressed IgE.\r\nMethods: We compared the levels of several serum specific anti-HER-2 antibodies (IgE, IgG1, IgG2a, IgG2b, IgA) and the survival rates in low-IgE ΔM1M2 mice lacking the transmembrane/cytoplasmic domain of Epsilon-B-cell-receptors expressing reduced IgE levels, high-IgE KN1 mice expressing chimeric Epsilon-Gamma1-B-cell receptors with 4-6-fold elevated serum IgE levels, and wild type (WT) BALB/c. Prior engrafting mice with D2F2/E2 mammary tumors overexpressing HER-2, mice were vaccinated with HER-2 or vehicle control PBS using the Th2-adjuvant Al(OH)3 (active immunotherapy), or treated with the murine anti-HER-2 IgG1 antibody 4D5 (passive immunotherapy).\r\nResults: Overall, among the three strains of mice, HER-2 vaccination induced significantly higher levels of HER-2 specific IgE and IgG1 in high-IgE KN1, while low-IgE ΔM1M2 mice had higher IgG2a levels. HER-2 vaccination and passive immunotherapy prolonged the survival in tumor-grafted WT and low-IgE ΔM1M2 strains compared with treatment controls; active vaccination provided the highest benefit. Notably, untreated high-IgE KN1 mice displayed the longest survival of all strains, which could not be further extended by active or passive immunotherapy.\r\nConclusion: Active and passive immunotherapies prolong survival in wild type and low-IgE ΔM1M2 mice engrafted with mammary tumors. High-IgE KN1 mice have an innate survival benefit following tumor challenge.","lang":"eng"}],"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.waojou.2019.100044"}],"oa":1,"language":[{"iso":"eng"}],"doi":"10.1016/j.waojou.2019.100044","publication_identifier":{"issn":["1939-4551"]},"month":"07","publisher":"Elsevier","publication_status":"published","year":"2019","volume":12,"date_created":"2020-08-10T11:50:54Z","date_updated":"2021-01-12T08:17:36Z","author":[{"full_name":"Singer, Josef","orcid":"0000-0002-8701-2412","first_name":"Josef","last_name":"Singer"},{"full_name":"Achatz-Straussberger, Gertrude","last_name":"Achatz-Straussberger","first_name":"Gertrude"},{"full_name":"Bentley-Lukschal, Anna","last_name":"Bentley-Lukschal","first_name":"Anna"},{"full_name":"Fazekas-Singer, Judit","id":"36432834-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8777-3502","first_name":"Judit","last_name":"Fazekas-Singer"},{"full_name":"Achatz, Gernot","last_name":"Achatz","first_name":"Gernot"},{"last_name":"Karagiannis","first_name":"Sophia N.","full_name":"Karagiannis, Sophia N."},{"last_name":"Jensen-Jarolim","first_name":"Erika","full_name":"Jensen-Jarolim, Erika"}],"article_number":"100044","extern":"1"},{"language":[{"iso":"eng"}],"doi":"10.3390/nu11102463","quality_controlled":"1","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.3390/nu11102463"}],"month":"10","publication_identifier":{"issn":["2072-6643"]},"date_updated":"2021-01-12T08:17:36Z","date_created":"2020-08-10T11:51:04Z","volume":11,"author":[{"full_name":"Ondracek, Anna S.","orcid":"0000-0001-7625-3651","first_name":"Anna S.","last_name":"Ondracek"},{"last_name":"Heiden","first_name":"Denise","full_name":"Heiden, Denise"},{"last_name":"Oostingh","first_name":"Gertie J.","full_name":"Oostingh, Gertie J."},{"last_name":"Fuerst","first_name":"Elisabeth","full_name":"Fuerst, Elisabeth"},{"orcid":"0000-0002-8777-3502","id":"36432834-F248-11E8-B48F-1D18A9856A87","last_name":"Fazekas-Singer","first_name":"Judit","full_name":"Fazekas-Singer, Judit"},{"full_name":"Bergmayr, Cornelia","first_name":"Cornelia","last_name":"Bergmayr"},{"orcid":"0000-0002-2783-2099","last_name":"Rohrhofer","first_name":"Johanna","full_name":"Rohrhofer, Johanna"},{"orcid":"0000-0003-4019-5765","last_name":"Jensen-Jarolim","first_name":"Erika","full_name":"Jensen-Jarolim, Erika"},{"full_name":"Duschl, Albert","last_name":"Duschl","first_name":"Albert","orcid":"0000-0002-7034-9860"},{"full_name":"Untersmayr, Eva","first_name":"Eva","last_name":"Untersmayr","orcid":"0000-0002-1963-499X"}],"publication_status":"published","publisher":"MDPI","year":"2019","extern":"1","article_number":"2463","date_published":"2019-10-15T00:00:00Z","article_type":"original","publication":"Nutrients","citation":{"chicago":"Ondracek, Anna S., Denise Heiden, Gertie J. Oostingh, Elisabeth Fuerst, Judit Singer, Cornelia Bergmayr, Johanna Rohrhofer, Erika Jensen-Jarolim, Albert Duschl, and Eva Untersmayr. “Immune Effects of the Nitrated Food Allergen Beta-Lactoglobulin in an Experimental Food Allergy Model.” Nutrients. MDPI, 2019. https://doi.org/10.3390/nu11102463.","mla":"Ondracek, Anna S., et al. “Immune Effects of the Nitrated Food Allergen Beta-Lactoglobulin in an Experimental Food Allergy Model.” Nutrients, vol. 11, no. 10, 2463, MDPI, 2019, doi:10.3390/nu11102463.","short":"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).","ista":"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.","ieee":"A. S. Ondracek et al., “Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model,” Nutrients, vol. 11, no. 10. MDPI, 2019.","apa":"Ondracek, A. S., Heiden, D., Oostingh, G. J., Fuerst, E., Singer, J., Bergmayr, C., … Untersmayr, E. (2019). Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. MDPI. https://doi.org/10.3390/nu11102463","ama":"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"},"day":"15","article_processing_charge":"No","oa_version":"Published Version","status":"public","title":"Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model","intvolume":" 11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8229","abstract":[{"text":"Food proteins may get nitrated by various exogenous or endogenous mechanisms. As individuals might get recurrently exposed to nitrated proteins via daily diet, we aimed to investigate the effect of repeatedly ingested nitrated food proteins on the subsequent immune response in non-allergic and allergic mice using the milk allergen beta-lactoglobulin (BLG) as model food protein in a mouse model. Evaluating the presence of nitrated proteins in food, we could detect 3-nitrotyrosine (3-NT) in extracts of different foods and in stomach content extracts of non-allergic mice under physiological conditions. Chemically nitrated BLG (BLGn) exhibited enhanced susceptibility to degradation in simulated gastric fluid experiments compared to untreated BLG (BLGu). Gavage of BLGn to non-allergic animals increased interferon-γ and interleukin-10 release of stimulated spleen cells and led to the formation of BLG-specific serum IgA. Allergic mice receiving three oral gavages of BLGn had higher levels of mouse mast cell protease-1 (mMCP-1) compared to allergic mice receiving BLGu. Regardless of the preceding immune status, non-allergic or allergic, repeatedly ingested nitrated food proteins seem to considerably influence the subsequent immune response.","lang":"eng"}],"issue":"10","type":"journal_article"},{"extern":"1","issue":"10","type":"journal_article","date_updated":"2021-01-12T08:17:35Z","date_created":"2020-08-10T11:50:42Z","oa_version":"Published Version","volume":74,"author":[{"first_name":"Kristina M.","last_name":"Ilieva","full_name":"Ilieva, Kristina M."},{"id":"36432834-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8777-3502","first_name":"Judit","last_name":"Fazekas-Singer","full_name":"Fazekas-Singer, Judit"},{"first_name":"Heather J.","last_name":"Bax","full_name":"Bax, Heather J."},{"full_name":"Crescioli, Silvia","last_name":"Crescioli","first_name":"Silvia"},{"full_name":"Montero‐Morales, Laura","first_name":"Laura","last_name":"Montero‐Morales"},{"last_name":"Mele","first_name":"Silvia","full_name":"Mele, Silvia"},{"last_name":"Sow","first_name":"Heng Sheng","full_name":"Sow, Heng Sheng"},{"last_name":"Stavraka","first_name":"Chara","full_name":"Stavraka, Chara"},{"first_name":"Debra H.","last_name":"Josephs","full_name":"Josephs, Debra H."},{"last_name":"Spicer","first_name":"James F.","full_name":"Spicer, James F."},{"last_name":"Steinkellner","first_name":"Herta","orcid":"0000-0003-4823-1505","full_name":"Steinkellner, Herta"},{"full_name":"Jensen‐Jarolim, Erika","orcid":"0000-0003-4019-5765","first_name":"Erika","last_name":"Jensen‐Jarolim"},{"orcid":"0000-0001-8715-2901","last_name":"Tutt","first_name":"Andrew N. J.","full_name":"Tutt, Andrew N. J."},{"full_name":"Karagiannis, Sophia N.","orcid":"0000-0002-4100-7810","last_name":"Karagiannis","first_name":"Sophia N."}],"status":"public","publication_status":"published","title":"AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody","intvolume":" 74","publisher":"Wiley","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8227","year":"2019","month":"10","day":"01","publication_identifier":{"issn":["0105-4538","1398-9995"]},"article_processing_charge":"No","language":[{"iso":"eng"}],"doi":"10.1111/all.13818","date_published":"2019-10-01T00:00:00Z","article_type":"letter_note","quality_controlled":"1","page":"1985-1989","publication":"Allergy","oa":1,"main_file_link":[{"url":"https://doi.org/10.1111/all.13818","open_access":"1"}],"citation":{"apa":"Ilieva, K. M., Singer, J., Bax, H. J., Crescioli, S., Montero‐Morales, L., Mele, S., … Karagiannis, S. N. (2019). AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. Wiley. https://doi.org/10.1111/all.13818","ieee":"K. M. Ilieva et al., “AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody,” Allergy, vol. 74, no. 10. Wiley, pp. 1985–1989, 2019.","ista":"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.","ama":"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","chicago":"Ilieva, Kristina M., Judit Singer, Heather J. Bax, Silvia Crescioli, Laura Montero‐Morales, Silvia Mele, Heng Sheng Sow, et al. “AllergoOncology: Expression Platform Development and Functional Profiling of an Anti‐HER2 IgE Antibody.” Allergy. Wiley, 2019. https://doi.org/10.1111/all.13818.","short":"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.","mla":"Ilieva, Kristina M., et al. “AllergoOncology: Expression Platform Development and Functional Profiling of an Anti‐HER2 IgE Antibody.” Allergy, vol. 74, no. 10, Wiley, 2019, pp. 1985–89, doi:10.1111/all.13818."}},{"publisher":"Springer Nature","intvolume":" 19","publication_status":"published","title":"Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8263","year":"2019","oa_version":"Published Version","volume":19,"date_updated":"2023-02-23T13:28:54Z","date_created":"2020-08-15T11:04:07Z","author":[{"full_name":"Shelyakin, Pavel V.","first_name":"Pavel V.","last_name":"Shelyakin","orcid":"0000-0003-0120-9319"},{"full_name":"Bochkareva, Olga","first_name":"Olga","last_name":"Bochkareva","id":"C4558D3C-6102-11E9-A62E-F418E6697425","orcid":"0000-0003-1006-6639"},{"full_name":"Karan, Anna A.","first_name":"Anna A.","last_name":"Karan"},{"first_name":"Mikhail S.","last_name":"Gelfand","full_name":"Gelfand, Mikhail S."}],"type":"journal_article","article_number":"83","extern":"1","abstract":[{"text":"Background: The genus Streptococcus comprises pathogens that strongly influence the health of humans and animals. Genome sequencing of multiple Streptococcus strains demonstrated high variability in gene content and order even in closely related strains of the same species and created a newly emerged object for genomic analysis, the pan-genome. Here we analysed the genome evolution of 25 strains of Streptococcus suis, 50 strains of Streptococcus pyogenes and 28 strains of Streptococcus pneumoniae.\r\n\r\nResults: Fractions of the pan-genome, unique, periphery, and universal genes differ in size, functional composition, the level of nucleotide substitutions, and predisposition to horizontal gene transfer and genomic rearrangements. The density of substitutions in intergenic regions appears to be correlated with selection acting on adjacent genes, implying that more conserved genes tend to have more conserved regulatory regions.\r\nThe total pan-genome of the genus is open, but only due to strain-specific genes, whereas other pan-genome fractions reach saturation. We have identified the set of genes with phylogenies inconsistent with species and non-conserved location in the chromosome; these genes are rare in at least one species and have likely experienced recent horizontal transfer between species. The strain-specific fraction is enriched with mobile elements and hypothetical proteins, but also contains a number of candidate virulence-related genes, so it may have a strong impact on adaptability and pathogenicity.\r\nMapping the rearrangements to the phylogenetic tree revealed large parallel inversions in all species. A parallel inversion of length 15 kB with breakpoints formed by genes encoding surface antigen proteins PhtD and PhtB in S. pneumoniae leads to replacement of gene fragments that likely indicates the action of an antigen variation mechanism.\r\n\r\nConclusions: Members of genus Streptococcus have a highly dynamic, open pan-genome, that potentially confers them with the ability to adapt to changing environmental conditions, i.e. antibiotic resistance or transmission between different hosts. Hence, integrated analysis of all aspects of genome evolution is important for the identification of potential pathogens and design of drugs and vaccines.","lang":"eng"}],"quality_controlled":"1","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1186/s12862-019-1403-6"}],"citation":{"short":"P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).","mla":"Shelyakin, Pavel V., et al. “Micro-Evolution of Three Streptococcus Species: Selection, Antigenic Variation, and Horizontal Gene Inflow.” BMC Evolutionary Biology, vol. 19, 83, Springer Nature, 2019, doi:10.1186/s12862-019-1403-6.","chicago":"Shelyakin, Pavel V., Olga Bochkareva, Anna A. Karan, and Mikhail S. Gelfand. “Micro-Evolution of Three Streptococcus Species: Selection, Antigenic Variation, and Horizontal Gene Inflow.” BMC Evolutionary Biology. Springer Nature, 2019. https://doi.org/10.1186/s12862-019-1403-6.","ama":"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","apa":"Shelyakin, P. V., Bochkareva, O., Karan, A. A., & Gelfand, M. S. (2019). Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. Springer Nature. https://doi.org/10.1186/s12862-019-1403-6","ieee":"P. V. Shelyakin, O. Bochkareva, A. A. Karan, and M. S. Gelfand, “Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow,” BMC Evolutionary Biology, vol. 19. Springer Nature, 2019.","ista":"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."},"oa":1,"publication":"BMC Evolutionary Biology","language":[{"iso":"eng"}],"date_published":"2019-03-27T00:00:00Z","doi":"10.1186/s12862-019-1403-6","publication_identifier":{"issn":["1471-2148"]},"article_processing_charge":"No","month":"03","day":"27"},{"publication_identifier":{"isbn":["9781450367271"]},"article_processing_charge":"No","month":"05","day":"01","scopus_import":"1","doi":"10.1145/3317550.3321448","date_published":"2019-05-01T00:00:00Z","conference":{"end_date":"2019-05-15","start_date":"2019-05-13","location":"Bertinoro, Italy","name":"HotOS: Workshop on Hot Topics in Operating Systems"},"language":[{"iso":"eng"}],"citation":{"short":"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.","mla":"Alp, Enis Ceyhun, et al. “Rethinking General-Purpose Decentralized Computing.” Proceedings of the Workshop on Hot Topics in Operating Systems, ACM, 2019, pp. 105–12, doi:10.1145/3317550.3321448.","chicago":"Alp, Enis Ceyhun, Eleftherios Kokoris Kogias, Georgia Fragkouli, and Bryan Ford. “Rethinking General-Purpose Decentralized Computing.” In Proceedings of the Workshop on Hot Topics in Operating Systems, 105–12. ACM, 2019. https://doi.org/10.1145/3317550.3321448.","ama":"Alp EC, Kokoris Kogias E, Fragkouli G, Ford B. Rethinking general-purpose decentralized computing. In: Proceedings of the Workshop on Hot Topics in Operating Systems. ACM; 2019:105-112. doi:10.1145/3317550.3321448","apa":"Alp, E. C., Kokoris Kogias, E., Fragkouli, G., & Ford, B. (2019). Rethinking general-purpose decentralized computing. In Proceedings of the Workshop on Hot Topics in Operating Systems (pp. 105–112). Bertinoro, Italy: ACM. https://doi.org/10.1145/3317550.3321448","ieee":"E. C. Alp, E. Kokoris Kogias, G. Fragkouli, and B. Ford, “Rethinking general-purpose decentralized computing,” in Proceedings of the Workshop on Hot Topics in Operating Systems, Bertinoro, Italy, 2019, pp. 105–112.","ista":"Alp EC, Kokoris Kogias E, Fragkouli G, Ford B. 2019. Rethinking general-purpose decentralized computing. Proceedings of the Workshop on Hot Topics in Operating Systems. HotOS: Workshop on Hot Topics in Operating Systems, 105–112."},"publication":"Proceedings of the Workshop on Hot Topics in Operating Systems","page":"105-112","quality_controlled":"1","abstract":[{"lang":"eng","text":"While showing great promise, smart contracts are difficult to program correctly, as they need a deep understanding of cryptography and distributed algorithms, and offer limited functionality, as they have to be deterministic and cannot operate on secret data. In this paper we present Protean, a general-purpose decentralized computing platform that addresses these limitations by moving from a monolithic execution model, where all participating nodes store all the state and execute every computation, to a modular execution-model. Protean employs secure specialized modules, called functional units, for building decentralized applications that are currently insecure or impossible to implement with smart contracts. Each functional unit is a distributed system that provides a special-purpose functionality by exposing atomic transactions to the smart-contract developer. Combining these transactions into arbitrarily-defined workflows, developers can build a larger class of decentralized applications, such as provably-secure and fair lotteries or e-voting."}],"extern":"1","type":"conference","author":[{"first_name":"Enis Ceyhun","last_name":"Alp","full_name":"Alp, Enis Ceyhun"},{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","last_name":"Kokoris Kogias","first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios"},{"first_name":"Georgia","last_name":"Fragkouli","full_name":"Fragkouli, Georgia"},{"full_name":"Ford, Bryan","first_name":"Bryan","last_name":"Ford"}],"oa_version":"None","date_created":"2020-08-26T11:45:45Z","date_updated":"2021-01-12T08:17:56Z","_id":"8296","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","title":"Rethinking general-purpose decentralized computing","publication_status":"published","status":"public"},{"_id":"8304","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","year":"2019","status":"public","publication_status":"submitted","title":"SoK: Communication across distributed ledgers","author":[{"full_name":"Zamyatin, Alexei","last_name":"Zamyatin","first_name":"Alexei"},{"last_name":"Al-Bassam","first_name":"Mustafa","full_name":"Al-Bassam, Mustafa"},{"first_name":"Dionysis","last_name":"Zindros","full_name":"Zindros, Dionysis"},{"full_name":"Kokoris Kogias, Eleftherios","first_name":"Eleftherios","last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"},{"full_name":"Moreno-Sanchez, Pedro","last_name":"Moreno-Sanchez","first_name":"Pedro"},{"first_name":"Aggelos","last_name":"Kiayias","full_name":"Kiayias, Aggelos"},{"full_name":"Knottenbelt, William J.","first_name":"William J.","last_name":"Knottenbelt"}],"date_updated":"2021-09-24T12:08:14Z","date_created":"2020-08-26T12:16:38Z","oa_version":"Preprint","article_number":"2019/1128","type":"preprint","abstract":[{"text":"Enabling secure communication across distributed systems is usually studied under the assumption of trust between the different systems and an external adversary trying to compromise the messages. With the appearance of distributed ledgers or blockchains, numerous protocols have emerged, which attempt to achieve trustless communication between distrusting ledgers and participants. Cross-chain communication (CCC) thereby plays a fundamental role in cryptocurrency exchanges, sharding, bootstrapping of new and feature-extension of existing distributed ledgers. Unfortunately, existing proposals are designed ad-hoc for specific use-cases, making it hard to gain confidence on their correctness and composability.\r\nWe provide the first systematic exposition of protocols for CCC. First, we formalize the underlying research problem and show that CCC is impossible without a trusted third party, contrary to common beliefs in the blockchain community. We then develop a framework to evaluate existing and to design new cross-chain protocols. The framework is based on the use case, the trust model, and the security assumptions of interlinked blockchains. Finally, we identify security and privacy challenges faced by protocols in the cross-chain setting.\r\nThis Systematization of Knowledge (SoK) offers a comprehensive guide for designing protocols bridging the numerous distributed ledgers available today. It aims to facilitate clearer communication between academia and industry in the field.","lang":"eng"}],"extern":"1","publication":"Cryptology ePrint Archive","citation":{"ista":"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.","ieee":"A. Zamyatin et al., “SoK: Communication across distributed ledgers,” Cryptology ePrint Archive. .","apa":"Zamyatin, A., Al-Bassam, M., Zindros, D., Kokoris Kogias, E., Moreno-Sanchez, P., Kiayias, A., & Knottenbelt, W. J. (n.d.). SoK: Communication across distributed ledgers. Cryptology ePrint Archive.","ama":"Zamyatin A, Al-Bassam M, Zindros D, et al. SoK: Communication across distributed ledgers. Cryptology ePrint Archive.","chicago":"Zamyatin, Alexei, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, and William J. Knottenbelt. “SoK: Communication across Distributed Ledgers.” Cryptology EPrint Archive, n.d.","mla":"Zamyatin, Alexei, et al. “SoK: Communication across Distributed Ledgers.” Cryptology EPrint Archive, 2019/1128.","short":"A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, Cryptology EPrint Archive (n.d.)."},"oa":1,"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2019/1128 "}],"date_published":"2019-10-01T00:00:00Z","language":[{"iso":"eng"}],"month":"10","day":"01","article_processing_charge":"No"},{"_id":"8303","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","year":"2019","title":"Robust and scalable consensus for sharded distributed ledgers","status":"public","publication_status":"submitted","author":[{"last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios"}],"date_updated":"2021-09-24T12:07:11Z","date_created":"2020-08-26T12:13:56Z","oa_version":"Preprint","article_number":"2019/676","type":"preprint","abstract":[{"text":"ByzCoin, a promising alternative of Bitcoin, is a scalable consensus protocol used as a building block of many research and enterprise-level decentralized systems. In this paper, we show that ByzCoin is unsuitable for deployment in an anopen, adversarial network and instead introduceMOTOR. MOTORis designed as a secure, robust, and scalable consensus suitable for permissionless sharded blockchains. MOTORachieves these properties by making four key design choices: (a) it prioritizes robustness in adversarial environments while maintaining adequate scalability, (b) it employees provably correct cryptography that resists DoS attacks from individual nodes, (c) it deploys unpredictable rotating leaders to defend against mildly-adaptive adversaries and prevents censorship, and (d) it creates an incentive compatible reward mechanism. These choices are materialized as (a) a “rotating subleader” communication pattern that balances the scalability needs with the robustness requirements under failures, (b) deployment of provable secure BLS multi-signatures, (c) use of deterministic thresh-old signatures as a source of randomness and (d) careful design of the reward allocation mechanism. We have implemented MOTORand compare it withByzCoin. We show that MOTORcan scale similar to ByzCoin with an at most2xoverhead whereas it maintains good performance even under high-percentage of faults, unlike ByzCoin.","lang":"eng"}],"extern":"1","publication":"Cryptology ePrint Archive","main_file_link":[{"url":"https://eprint.iacr.org/2019/676","open_access":"1"}],"citation":{"ista":"Kokoris Kogias E. Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive, 2019/676.","ieee":"E. Kokoris Kogias, “Robust and scalable consensus for sharded distributed ledgers,” Cryptology ePrint Archive. .","apa":"Kokoris Kogias, E. (n.d.). Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive.","ama":"Kokoris Kogias E. Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive.","chicago":"Kokoris Kogias, Eleftherios. “Robust and Scalable Consensus for Sharded Distributed Ledgers.” Cryptology EPrint Archive, n.d.","mla":"Kokoris Kogias, Eleftherios. “Robust and Scalable Consensus for Sharded Distributed Ledgers.” Cryptology EPrint Archive, 2019/676.","short":"E. Kokoris Kogias, Cryptology EPrint Archive (n.d.)."},"oa":1,"date_published":"2019-06-06T00:00:00Z","language":[{"iso":"eng"}],"day":"06","month":"06","article_processing_charge":"No"},{"language":[{"iso":"eng"}],"degree_awarded":"PhD","supervisor":[{"full_name":"Ford, Bryan Alexander","last_name":"Ford","first_name":"Bryan Alexander"}],"doi":"10.5075/epfl-thesis-7101","date_published":"2019-09-27T00:00:00Z","page":"244","oa":1,"main_file_link":[{"url":"https://www.doi.org/10.5075/epfl-thesis-7101","open_access":"1"}],"citation":{"chicago":"Kokoris Kogias, Eleftherios. “Secure, Confidential Blockchains Providing High Throughput and Low Latency.” École Polytechnique Fédérale de Lausanne, 2019. https://doi.org/10.5075/epfl-thesis-7101.","mla":"Kokoris Kogias, Eleftherios. Secure, Confidential Blockchains Providing High Throughput and Low Latency. École Polytechnique Fédérale de Lausanne, 2019, doi:10.5075/epfl-thesis-7101.","short":"E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.","ista":"Kokoris Kogias E. 2019. Secure, confidential blockchains providing high throughput and low latency. École Polytechnique Fédérale de Lausanne.","ieee":"E. Kokoris Kogias, “Secure, confidential blockchains providing high throughput and low latency,” École Polytechnique Fédérale de Lausanne, 2019.","apa":"Kokoris Kogias, E. (2019). Secure, confidential blockchains providing high throughput and low latency. École Polytechnique Fédérale de Lausanne. https://doi.org/10.5075/epfl-thesis-7101","ama":"Kokoris Kogias E. Secure, confidential blockchains providing high throughput and low latency. 2019. doi:10.5075/epfl-thesis-7101"},"article_processing_charge":"No","day":"27","month":"09","oa_version":"Published Version","date_created":"2020-08-27T11:22:24Z","date_updated":"2021-12-20T15:30:47Z","author":[{"full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"}],"publisher":"École Polytechnique Fédérale de Lausanne","status":"public","title":"Secure, confidential blockchains providing high throughput and low latency","publication_status":"published","year":"2019","_id":"8311","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","extern":"1","abstract":[{"lang":"eng","text":"One of the core promises of blockchain technology is that of enabling trustworthy data dissemination in a trustless environment. What current blockchain systems deliver, however, is slow dissemination of public data, rendering blockchain technology unusable in settings where latency, transaction capacity, or data confidentiality are important. In this thesis we focus on providing solutions on two of the most pressing problems blockchain technology currently faces: scalability and data confidentiality. To address the scalability issue, we present OMNILEDGER, a novel scale-out distributed ledger that preserves long-term security under permissionless operation. It ensures security and correctness by using a bias-resistant public-randomness protocol for choosing large, statistically representative shards that process transactions, and by introducing an efficient cross-shard commit protocol that atomically handles transactions affecting multiple shards. To enable secure sharing of confidential data we present CALYPSO, the first fully decentralized, auditable access-control framework for secure blockchain-based data sharing which builds upon two abstractions. First, on-chain secrets enable collective management of (verifiably shared) secrets under a Byzantine adversary where an access-control blockchain enforces user-specific access rules and a secret-management cothority administers encrypted data. Second, skipchain-based identity and access management enables efficient administration of dynamic, sovereign identities and access policies and, in particular, permits clients to maintain long-term relationships with respect to evolving user identities thanks to the trust-delegating forward links of skipchains. In order to build OMNILEDGER and CALYPSO, we first build a set of tools for efficient decentralization, which are presented in Part II of this dissertation. These tools can be used in decentralized and distributed systems to achieve (1) scalable consensus (BYZCOIN), (2) bias- resistant distributed randomness creations (RANDHOUND), and (3) relationship-keeping between independently updating communication endpoints (SKIPCHAINIAC). Although we use this tools in the scope off this thesis, they can be (and already have been) used in a far wider scope."}],"type":"dissertation"},{"publication":"arXiv","oa":1,"citation":{"short":"G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).","mla":"Avarikioti, Georgia, et al. “Brick: Asynchronous Payment Channels.” ArXiv, 1905.11360.","chicago":"Avarikioti, Georgia, Eleftherios Kokoris Kogias, Roger Wattenhofer, and Dionysis Zindros. “Brick: Asynchronous Payment Channels.” ArXiv, n.d.","ama":"Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv.","apa":"Avarikioti, G., Kokoris Kogias, E., Wattenhofer, R., & Zindros, D. (n.d.). Brick: Asynchronous payment channels. arXiv.","ieee":"G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, and D. Zindros, “Brick: Asynchronous payment channels,” arXiv. .","ista":"Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv, 1905.11360."},"external_id":{"arxiv":["1905.11360"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1905.11360"}],"date_published":"2019-05-27T00:00:00Z","language":[{"iso":"eng"}],"month":"05","day":"27","article_processing_charge":"No","_id":"8314","year":"2019","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Brick: Asynchronous payment channels","publication_status":"submitted","author":[{"full_name":"Avarikioti, Georgia","first_name":"Georgia","last_name":"Avarikioti"},{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","last_name":"Kokoris Kogias","first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios"},{"full_name":"Wattenhofer, Roger","first_name":"Roger","last_name":"Wattenhofer"},{"full_name":"Zindros, Dionysis","first_name":"Dionysis","last_name":"Zindros"}],"date_created":"2020-08-27T11:36:54Z","date_updated":"2021-01-12T08:18:04Z","oa_version":"Preprint","article_number":"1905.11360","type":"preprint","abstract":[{"text":"Off-chain protocols (channels) are a promising solution to the scalability and privacy challenges of blockchain payments. Current proposals, however, require synchrony assumptions to preserve the safety of a channel, leaking to an adversary the exact amount of time needed to control the network for a successful attack. In this paper, we introduce Brick, the first payment channel that remains secure under network asynchrony and concurrently provides correct incentives. The core idea is to incorporate the conflict resolution process within the channel by introducing a rational committee of external parties, called Wardens. Hence, if a party wants to close a channel unilaterally, it can only get the committee's approval for the last valid state. Brick provides sub-second latency because it does not employ heavy-weight consensus. Instead,\r\nBrick uses consistent broadcast to announce updates and close the channel, a light-weight abstraction that is powerful enough to preserve safety and liveness to any rational parties. Furthermore, we consider permissioned blockchains, where the additional property of auditability might be desired for regulatory purposes. We introduce Brick+, an off-chain construction that provides auditability on top of Brick without conflicting with its privacy guarantees. We formally define the properties our payment channel construction should fulfill, and prove that both Brick and Brick+ satisfy them. We also design incentives for Brick such that honest and rational behavior aligns. Finally, we provide a reference implementation of the smart contracts in Solidity.","lang":"eng"}],"extern":"1"},{"publication":"arXiv","citation":{"ieee":"G. Avarikioti, E. Kokoris Kogias, and R. Wattenhofer, “Divide and scale: Formalization of distributed ledger sharding protocols,” arXiv. .","apa":"Avarikioti, G., Kokoris Kogias, E., & Wattenhofer, R. (n.d.). Divide and scale: Formalization of distributed ledger sharding protocols. arXiv.","ista":"Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv, 1910.10434.","ama":"Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv.","chicago":"Avarikioti, Georgia, Eleftherios Kokoris Kogias, and Roger Wattenhofer. “Divide and Scale: Formalization of Distributed Ledger Sharding Protocols.” ArXiv, n.d.","short":"G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).","mla":"Avarikioti, Georgia, et al. “Divide and Scale: Formalization of Distributed Ledger Sharding Protocols.” ArXiv, 1910.10434."},"oa":1,"external_id":{"arxiv":["1910.10434"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1910.10434"}],"language":[{"iso":"eng"}],"date_published":"2019-10-23T00:00:00Z","month":"10","day":"23","article_processing_charge":"No","title":"Divide and scale: Formalization of distributed ledger sharding protocols","publication_status":"submitted","status":"public","_id":"8315","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2019","date_created":"2020-08-27T11:37:43Z","date_updated":"2021-01-12T08:18:05Z","oa_version":"Preprint","author":[{"full_name":"Avarikioti, Georgia","last_name":"Avarikioti","first_name":"Georgia"},{"full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"},{"last_name":"Wattenhofer","first_name":"Roger","full_name":"Wattenhofer, Roger"}],"article_number":"1910.10434","type":"preprint","extern":"1","abstract":[{"lang":"eng","text":"Sharding distributed ledgers is the most promising on-chain solution for scaling blockchain technology. In this work, we define and analyze the properties a sharded distributed ledger should fulfill. More specifically, we show that a sharded blockchain cannot be scalable under a fully adaptive adversary, but it can scale up to $O(n/\\log n)$ under an epoch-adaptive adversary. This is possible only if the distributed ledger creates succinct proofs of the valid state updates at the end of each epoch. Our model builds upon and extends the Bitcoin backbone protocol by defining consistency and\r\nscalability. Consistency encompasses the need for atomic execution of cross-shard transactions to preserve safety, whereas scalability encapsulates the speedup a sharded system can gain in comparison to a non-sharded system. In\r\norder to show the power of our framework, we analyze the most prominent sharded blockchains and either prove their correctness (OmniLedger, RapidChain) under our model or pinpoint where they fail to balance the consistency and\r\nscalability requirements (Elastico, Monoxide). "}]},{"article_processing_charge":"No","month":"08","day":"22","date_published":"2019-08-22T00:00:00Z","oa":1,"ipn":"WO2019158209 (A1)","publication_date":"2019-08-22","citation":{"chicago":"Ford, Bryan, Linus Gasser, Eleftherios Kokoris Kogias, and Philipp Janovic. “Methods and Systems for Secure Data Exchange,” 2019.","mla":"Ford, Bryan, et al. Methods and Systems for Secure Data Exchange. 2019.","short":"B. Ford, L. Gasser, E. Kokoris Kogias, P. Janovic, (2019).","ista":"Ford B, Gasser L, Kokoris Kogias E, Janovic P. 2019. Methods and systems for secure data exchange.","apa":"Ford, B., Gasser, L., Kokoris Kogias, E., & Janovic, P. (2019). Methods and systems for secure data exchange.","ieee":"B. Ford, L. Gasser, E. Kokoris Kogias, and P. Janovic, “Methods and systems for secure data exchange.” 2019.","ama":"Ford B, Gasser L, Kokoris Kogias E, Janovic P. Methods and systems for secure data exchange. 2019."},"main_file_link":[{"url":"https://patents.google.com/patent/WO2019158209A1","open_access":"1"}],"abstract":[{"text":"The present invention concerns a computer-implemented method for secure data exchange between a sender (A) and a recipient (B), wherein the method is performed by the sender (A) and comprises encrypting data using a symmetric key k, creating a write transaction T W , wherein the write transaction T W comprises information usable to derive the symmetric key k and an access policy identifying the recipient (B) as being allowed to decrypt the encrypted data, providing the recipient (B) access to the encrypted data, and sending the write transaction T W to a first group of servers (AC) for being stored in a blockchain data structure maintained by the first group of servers (AC).","lang":"eng"}],"extern":"1","type":"patent","author":[{"last_name":"Ford","first_name":"Bryan","full_name":"Ford, Bryan"},{"full_name":"Gasser, Linus","first_name":"Linus","last_name":"Gasser"},{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","last_name":"Kokoris Kogias","first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios"},{"full_name":"Janovic, Philipp","last_name":"Janovic","first_name":"Philipp"}],"oa_version":"Published Version","ipc":"G06F21/62 ; H04L9/08 ; H04L9/32","date_updated":"2022-01-05T14:00:32Z","date_created":"2020-08-27T11:24:44Z","year":"2019","_id":"8313","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","applicant":["École Polytechnique Fédérale De Lausanne "],"title":"Methods and systems for secure data exchange","status":"public"},{"publication_identifier":{"issn":["2041-1723"]},"month":"06","language":[{"iso":"eng"}],"doi":"10.1038/s41467-019-10490-9","quality_controlled":"1","external_id":{"pmid":["31217444"]},"main_file_link":[{"url":"https://doi.org/10.1038/s41467-019-10490-9","open_access":"1"}],"oa":1,"extern":"1","article_number":"2697","volume":10,"date_created":"2020-09-17T10:28:25Z","date_updated":"2021-01-12T08:19:03Z","author":[{"full_name":"Gauto, Diego F.","first_name":"Diego F.","last_name":"Gauto"},{"first_name":"Leandro F.","last_name":"Estrozi","full_name":"Estrozi, Leandro F."},{"first_name":"Charles D.","last_name":"Schwieters","full_name":"Schwieters, Charles D."},{"full_name":"Effantin, Gregory","first_name":"Gregory","last_name":"Effantin"},{"first_name":"Pavel","last_name":"Macek","full_name":"Macek, Pavel"},{"full_name":"Sounier, Remy","first_name":"Remy","last_name":"Sounier"},{"full_name":"Sivertsen, Astrid C.","first_name":"Astrid C.","last_name":"Sivertsen"},{"full_name":"Schmidt, Elena","last_name":"Schmidt","first_name":"Elena"},{"last_name":"Kerfah","first_name":"Rime","full_name":"Kerfah, Rime"},{"last_name":"Mas","first_name":"Guillaume","full_name":"Mas, Guillaume"},{"full_name":"Colletier, Jacques-Philippe","last_name":"Colletier","first_name":"Jacques-Philippe"},{"full_name":"Güntert, Peter","last_name":"Güntert","first_name":"Peter"},{"full_name":"Favier, Adrien","first_name":"Adrien","last_name":"Favier"},{"full_name":"Schoehn, Guy","last_name":"Schoehn","first_name":"Guy"},{"first_name":"Paul","last_name":"Schanda","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul"},{"first_name":"Jerome","last_name":"Boisbouvier","full_name":"Boisbouvier, Jerome"}],"publisher":"Springer Nature","publication_status":"published","pmid":1,"year":"2019","article_processing_charge":"No","day":"19","keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"date_published":"2019-06-19T00:00:00Z","article_type":"original","citation":{"ama":"Gauto DF, Estrozi LF, Schwieters CD, et al. Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. 2019;10. doi:10.1038/s41467-019-10490-9","apa":"Gauto, D. F., Estrozi, L. F., Schwieters, C. D., Effantin, G., Macek, P., Sounier, R., … Boisbouvier, J. (2019). Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-10490-9","ieee":"D. F. Gauto et al., “Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex,” Nature Communications, vol. 10. Springer Nature, 2019.","ista":"Gauto DF, Estrozi LF, Schwieters CD, Effantin G, Macek P, Sounier R, Sivertsen AC, Schmidt E, Kerfah R, Mas G, Colletier J-P, Güntert P, Favier A, Schoehn G, Schanda P, Boisbouvier J. 2019. Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. 10, 2697.","short":"D.F. Gauto, L.F. Estrozi, C.D. Schwieters, G. Effantin, P. Macek, R. Sounier, A.C. Sivertsen, E. Schmidt, R. Kerfah, G. Mas, J.-P. Colletier, P. Güntert, A. Favier, G. Schoehn, P. Schanda, J. Boisbouvier, Nature Communications 10 (2019).","mla":"Gauto, Diego F., et al. “Integrated NMR and Cryo-EM Atomic-Resolution Structure Determination of a Half-Megadalton Enzyme Complex.” Nature Communications, vol. 10, 2697, Springer Nature, 2019, doi:10.1038/s41467-019-10490-9.","chicago":"Gauto, Diego F., Leandro F. Estrozi, Charles D. Schwieters, Gregory Effantin, Pavel Macek, Remy Sounier, Astrid C. Sivertsen, et al. “Integrated NMR and Cryo-EM Atomic-Resolution Structure Determination of a Half-Megadalton Enzyme Complex.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-10490-9."},"publication":"Nature Communications","abstract":[{"text":"Atomic-resolution structure determination is crucial for understanding protein function. Cryo-EM and NMR spectroscopy both provide structural information, but currently cryo-EM does not routinely give access to atomic-level structural data, and, generally, NMR structure determination is restricted to small (<30 kDa) proteins. We introduce an integrated structure determination approach that simultaneously uses NMR and EM data to overcome the limits of each of these methods. The approach enables structure determination of the 468 kDa large dodecameric aminopeptidase TET2 to a precision and accuracy below 1 Å by combining secondary-structure information obtained from near-complete magic-angle-spinning NMR assignments of the 39 kDa-large subunits, distance restraints from backbone amides and ILV methyl groups, and a 4.1 Å resolution EM map. The resulting structure exceeds current standards of NMR and EM structure determination in terms of molecular weight and precision. Importantly, the approach is successful even in cases where only medium-resolution cryo-EM data are available.","lang":"eng"}],"type":"journal_article","oa_version":"Published Version","intvolume":" 10","title":"Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8405"}]