[{"publication":"ACS Central Science","citation":{"ieee":"M. Simunovic, A. Šarić, J. M. Henderson, K. Y. C. Lee, and G. A. Voth, “Long-range organization of membrane-curving proteins,” ACS Central Science, vol. 3, no. 12. American Chemical Society, pp. 1246–1253, 2017.","apa":"Simunovic, M., Šarić, A., Henderson, J. M., Lee, K. Y. C., & Voth, G. A. (2017). Long-range organization of membrane-curving proteins. ACS Central Science. American Chemical Society. https://doi.org/10.1021/acscentsci.7b00392","ista":"Simunovic M, Šarić A, Henderson JM, Lee KYC, Voth GA. 2017. Long-range organization of membrane-curving proteins. ACS Central Science. 3(12), 1246–1253.","ama":"Simunovic M, Šarić A, Henderson JM, Lee KYC, Voth GA. Long-range organization of membrane-curving proteins. ACS Central Science. 2017;3(12):1246-1253. doi:10.1021/acscentsci.7b00392","chicago":"Simunovic, Mijo, Anđela Šarić, J. Michael Henderson, Ka Yee C. Lee, and Gregory A. Voth. “Long-Range Organization of Membrane-Curving Proteins.” ACS Central Science. American Chemical Society, 2017. https://doi.org/10.1021/acscentsci.7b00392.","short":"M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.","mla":"Simunovic, Mijo, et al. “Long-Range Organization of Membrane-Curving Proteins.” ACS Central Science, vol. 3, no. 12, American Chemical Society, 2017, pp. 1246–53, doi:10.1021/acscentsci.7b00392."},"article_type":"original","page":"1246-1253","date_published":"2017-11-21T00:00:00Z","scopus_import":"1","keyword":["general chemical engineering","general chemistry"],"day":"21","has_accepted_license":"1","article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"10369","title":"Long-range organization of membrane-curving proteins","ddc":["540"],"status":"public","intvolume":" 3","oa_version":"Published Version","file":[{"file_id":"10371","relation":"main_file","success":1,"checksum":"1cf3e5e5342f2d728f47560acc3ec560","date_updated":"2021-11-29T09:00:40Z","date_created":"2021-11-29T09:00:40Z","access_level":"open_access","file_name":"2017_ACSCentSci_Simunovic.pdf","creator":"cchlebak","file_size":2635263,"content_type":"application/pdf"}],"type":"journal_article","abstract":[{"text":"Biological membranes have a central role in mediating the organization of membrane-curving proteins, a dynamic process that has proven to be challenging to probe experimentally. Using atomic force microscopy, we capture the hierarchically organized assemblies of Bin/amphiphysin/Rvs (BAR) proteins on supported lipid membranes. Their structure reveals distinct long linear aggregates of proteins, regularly spaced by up to 300 nm. Employing accurate free-energy calculations from large-scale coarse-grained computer simulations, we found that the membrane mediates the interaction among protein filaments as a combination of short- and long-ranged interactions. The long-ranged component acts at strikingly long distances, giving rise to a variety of micron-sized ordered patterns. This mechanism may contribute to the long-ranged spatiotemporal control of membrane remodeling by proteins in the cell.","lang":"eng"}],"issue":"12","main_file_link":[{"url":"https://pubs.acs.org/doi/10.1021/acscentsci.7b00392","open_access":"1"}],"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"},"external_id":{"pmid":["29296664"]},"oa":1,"quality_controlled":"1","doi":"10.1021/acscentsci.7b00392","language":[{"iso":"eng"}],"month":"11","publication_identifier":{"eissn":["2374-7951"],"issn":["2374-7943"]},"year":"2017","acknowledgement":"M.S. and G.A.V. acknowledge their research reported in this publication as being supported by the National Institute of General Medical Sciences of the National Institutes of Health under Award Number R01-GM063796. Computational resources were provided to M.S. and G.A.V. by the National Science Foundation through XSEDE (Grant TG-MCA94P017, supercomputers Stampede and Gordon), and also by the Blue Waters computing project at the National Center for Supercomputing Applications (University of Illinois at Urbana–Champaign, NSF Awards OCI-0725070 and ACI-1238993). A.Š. acknowledges support from the Human Frontier Science Program and Royal Society. J.M.H. and K.Y.C.L. acknowledge the support from the National Science Foundation (Grant MCB-1413613) and the NSF-supported MRSEC program at the University of Chicago (Grant DMR-1420709). We are grateful to Carsten Mim and Vinzenz Unger of Northwestern University for generously providing us with the protein. We thank all the members of the Voth group for fruitful discussions, especially John M. A. Grime.","pmid":1,"publication_status":"published","publisher":"American Chemical Society","author":[{"last_name":"Simunovic","first_name":"Mijo","full_name":"Simunovic, Mijo"},{"full_name":"Šarić, Anđela","orcid":"0000-0002-7854-2139","id":"bf63d406-f056-11eb-b41d-f263a6566d8b","last_name":"Šarić","first_name":"Anđela"},{"last_name":"Henderson","first_name":"J. Michael","full_name":"Henderson, J. Michael"},{"first_name":"Ka Yee C.","last_name":"Lee","full_name":"Lee, Ka Yee C."},{"first_name":"Gregory A.","last_name":"Voth","full_name":"Voth, Gregory A."}],"date_created":"2021-11-29T08:49:50Z","date_updated":"2021-11-29T09:28:06Z","volume":3,"file_date_updated":"2021-11-29T09:00:40Z","license":"https://creativecommons.org/licenses/by/4.0/","extern":"1"},{"extern":"1","author":[{"last_name":"Wirnsberger","first_name":"Peter","full_name":"Wirnsberger, Peter"},{"last_name":"Fijan","first_name":"Domagoj","full_name":"Fijan, Domagoj"},{"full_name":"Lightwood, Roger A.","last_name":"Lightwood","first_name":"Roger A."},{"full_name":"Šarić, Anđela","id":"bf63d406-f056-11eb-b41d-f263a6566d8b","orcid":"0000-0002-7854-2139","first_name":"Anđela","last_name":"Šarić"},{"full_name":"Dellago, Christoph","first_name":"Christoph","last_name":"Dellago"},{"full_name":"Frenkel, Daan","first_name":"Daan","last_name":"Frenkel"}],"volume":114,"date_updated":"2021-11-29T09:59:12Z","date_created":"2021-11-29T09:28:24Z","pmid":1,"acknowledgement":"P.W. acknowledges many invaluable discussions with Martin Neumann, Chao Zhang, Michiel Sprik, Aleks Reinhardt, Carl Pölking, and Tine Curk. We acknowledge financial support from the Austrian Academy of Sciences through a doctoral (DOC) fellowship (to P.W.), the Austrian Science Fund (FWF) within the Spezialforschungsbereich Vienna Computational Materials Laboratory (Project F41) (C.D.), and the European Union Early Training Network NANOTRANS (Grant 674979 to D. Frenkel). The results presented here have been achieved in part using the Vienna Scientific Cluster.","year":"2017","publisher":"National Academy of Sciences","publication_status":"published","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"month":"04","doi":"10.1073/pnas.1621494114","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://www.pnas.org/content/114/19/4911"}],"oa":1,"external_id":{"pmid":["28439003"],"arxiv":["1610.06840"]},"quality_controlled":"1","issue":"19","abstract":[{"lang":"eng","text":"Electric charges are conserved. The same would be expected to hold for magnetic charges, yet magnetic monopoles have never been observed. It is therefore surprising that the laws of nonequilibrium thermodynamics, combined with Maxwell’s equations, suggest that colloidal particles heated or cooled in certain polar or paramagnetic solvents may behave as if they carry an electric/magnetic charge. Here, we present numerical simulations that show that the field distribution around a pair of such heated/cooled colloidal particles agrees quantitatively with the theoretical predictions for a pair of oppositely charged electric or magnetic monopoles. However, in other respects, the nonequilibrium colloidal particles do not behave as monopoles: They cannot be moved by a homogeneous applied field. The numerical evidence for the monopole-like fields around heated/cooled colloidal particles is crucial because the experimental and numerical determination of forces between such colloidal particles would be complicated by the presence of other effects, such as thermophoresis."}],"type":"journal_article","oa_version":"Published Version","_id":"10373","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 114","title":"Numerical evidence for thermally induced monopoles","status":"public","article_processing_charge":"No","day":"24","scopus_import":"1","keyword":["multidisciplinary"],"date_published":"2017-04-24T00:00:00Z","citation":{"chicago":"Wirnsberger, Peter, Domagoj Fijan, Roger A. Lightwood, Anđela Šarić, Christoph Dellago, and Daan Frenkel. “Numerical Evidence for Thermally Induced Monopoles.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1621494114.","mla":"Wirnsberger, Peter, et al. “Numerical Evidence for Thermally Induced Monopoles.” Proceedings of the National Academy of Sciences, vol. 114, no. 19, National Academy of Sciences, 2017, pp. 4911–14, doi:10.1073/pnas.1621494114.","short":"P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.","ista":"Wirnsberger P, Fijan D, Lightwood RA, Šarić A, Dellago C, Frenkel D. 2017. Numerical evidence for thermally induced monopoles. Proceedings of the National Academy of Sciences. 114(19), 4911–4914.","ieee":"P. Wirnsberger, D. Fijan, R. A. Lightwood, A. Šarić, C. Dellago, and D. Frenkel, “Numerical evidence for thermally induced monopoles,” Proceedings of the National Academy of Sciences, vol. 114, no. 19. National Academy of Sciences, pp. 4911–4914, 2017.","apa":"Wirnsberger, P., Fijan, D., Lightwood, R. A., Šarić, A., Dellago, C., & Frenkel, D. (2017). Numerical evidence for thermally induced monopoles. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1621494114","ama":"Wirnsberger P, Fijan D, Lightwood RA, Šarić A, Dellago C, Frenkel D. Numerical evidence for thermally induced monopoles. Proceedings of the National Academy of Sciences. 2017;114(19):4911-4914. doi:10.1073/pnas.1621494114"},"publication":"Proceedings of the National Academy of Sciences","page":"4911-4914","article_type":"original"},{"oa_version":"Published Version","_id":"10374","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 8","ddc":["540"],"title":"Scaling behaviour and rate-determining steps in filamentous self-assembly","status":"public","issue":"10","abstract":[{"text":"The formation of filaments from naturally occurring protein molecules is a process at the core of a range of functional and aberrant biological phenomena, such as the assembly of the cytoskeleton or the appearance of aggregates in Alzheimer's disease. The macroscopic behaviour associated with such processes is remarkably diverse, ranging from simple nucleated growth to highly cooperative processes with a well-defined lagtime. Thus, conventionally, different molecular mechanisms have been used to explain the self-assembly of different proteins. Here we show that this range of behaviour can be quantitatively captured by a single unifying Petri net that describes filamentous growth in terms of aggregate number and aggregate mass concentrations. By considering general features associated with a particular network connectivity, we are able to establish directly the rate-determining steps of the overall aggregation reaction from the system's scaling behaviour. We illustrate the power of this framework on a range of different experimental and simulated aggregating systems. The approach is general and will be applicable to any future extensions of the reaction network of filamentous self-assembly.","lang":"eng"}],"type":"journal_article","date_published":"2017-08-31T00:00:00Z","citation":{"chicago":"Meisl, Georg, Luke Rajah, Samuel A. I. Cohen, Manuela Pfammatter, Anđela Šarić, Erik Hellstrand, Alexander K. Buell, et al. “Scaling Behaviour and Rate-Determining Steps in Filamentous Self-Assembly.” Chemical Science. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7sc01965c.","mla":"Meisl, Georg, et al. “Scaling Behaviour and Rate-Determining Steps in Filamentous Self-Assembly.” Chemical Science, vol. 8, no. 10, Royal Society of Chemistry, 2017, pp. 7087–97, doi:10.1039/c7sc01965c.","short":"G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.","ista":"Meisl G, Rajah L, Cohen SAI, Pfammatter M, Šarić A, Hellstrand E, Buell AK, Aguzzi A, Linse S, Vendruscolo M, Dobson CM, Knowles TPJ. 2017. Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. 8(10), 7087–7097.","apa":"Meisl, G., Rajah, L., Cohen, S. A. I., Pfammatter, M., Šarić, A., Hellstrand, E., … Knowles, T. P. J. (2017). Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/c7sc01965c","ieee":"G. Meisl et al., “Scaling behaviour and rate-determining steps in filamentous self-assembly,” Chemical Science, vol. 8, no. 10. Royal Society of Chemistry, pp. 7087–7097, 2017.","ama":"Meisl G, Rajah L, Cohen SAI, et al. Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. 2017;8(10):7087-7097. doi:10.1039/c7sc01965c"},"publication":"Chemical Science","page":"7087-7097","article_type":"original","article_processing_charge":"No","day":"31","scopus_import":"1","keyword":["general chemistry"],"author":[{"last_name":"Meisl","first_name":"Georg","full_name":"Meisl, Georg"},{"full_name":"Rajah, Luke","last_name":"Rajah","first_name":"Luke"},{"last_name":"Cohen","first_name":"Samuel A. I.","full_name":"Cohen, Samuel A. I."},{"full_name":"Pfammatter, Manuela","first_name":"Manuela","last_name":"Pfammatter"},{"full_name":"Šarić, Anđela","id":"bf63d406-f056-11eb-b41d-f263a6566d8b","orcid":"0000-0002-7854-2139","first_name":"Anđela","last_name":"Šarić"},{"full_name":"Hellstrand, Erik","first_name":"Erik","last_name":"Hellstrand"},{"first_name":"Alexander K.","last_name":"Buell","full_name":"Buell, Alexander K."},{"first_name":"Adriano","last_name":"Aguzzi","full_name":"Aguzzi, Adriano"},{"full_name":"Linse, Sara","last_name":"Linse","first_name":"Sara"},{"full_name":"Vendruscolo, Michele","first_name":"Michele","last_name":"Vendruscolo"},{"full_name":"Dobson, Christopher M.","first_name":"Christopher M.","last_name":"Dobson"},{"first_name":"Tuomas P. J.","last_name":"Knowles","full_name":"Knowles, Tuomas P. J."}],"volume":8,"date_updated":"2021-11-29T10:00:00Z","date_created":"2021-11-29T09:29:31Z","pmid":1,"acknowledgement":"The research leading to these results has received funding from the European Research Council under the European Union's Seventh Framework Programme (FP7/2007-2013) through the ERC grant PhysProt (agreement no. 337969) (SL, TPJK), Sidney Sussex College Cambridge (GM), the Frances and Augusta Newman Foundation (TPJK), the Biotechnology and Biological Science Research Council (TPJK), the Swedish Research Council (SL), the Academy of Medical Sciences (AŠ), Wellcome Trust (AŠ), and the Cambridge Centre for Misfolding Diseases (CMD, TPJK, MV).","year":"2017","publisher":"Royal Society of Chemistry","publication_status":"published","extern":"1","license":"https://creativecommons.org/licenses/by-nc/3.0/","doi":"10.1039/c7sc01965c","language":[{"iso":"eng"}],"external_id":{"pmid":["29147538"]},"tmp":{"name":"Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/3.0/legalcode","short":"CC BY-NC (3.0)","image":"/images/cc_by_nc.png"},"main_file_link":[{"open_access":"1","url":"https://pubs.rsc.org/en/content/articlelanding/2017/SC/C7SC01965C"}],"oa":1,"quality_controlled":"1","publication_identifier":{"issn":["2041-6520"],"eissn":["2041-6539"]},"month":"08"},{"language":[{"iso":"eng"}],"doi":"10.1039/c7sm00433h","quality_controlled":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","short":"CC BY (3.0)","image":"/images/cc_by.png"},"main_file_link":[{"url":"https://pubs.rsc.org/en/content/articlelanding/2017/SM/C7SM00433H","open_access":"1"}],"oa":1,"external_id":{"pmid":["28677712"],"arxiv":["1703.00776"]},"publication_identifier":{"eissn":["1744-6848"],"issn":["1744-683X"]},"month":"06","volume":13,"date_created":"2021-11-29T10:00:39Z","date_updated":"2021-11-29T10:33:36Z","author":[{"full_name":"Vahid, Afshin","first_name":"Afshin","last_name":"Vahid"},{"full_name":"Šarić, Anđela","last_name":"Šarić","first_name":"Anđela","orcid":"0000-0002-7854-2139","id":"bf63d406-f056-11eb-b41d-f263a6566d8b"},{"full_name":"Idema, Timon","first_name":"Timon","last_name":"Idema"}],"publisher":"Royal Society of Chemistry","publication_status":"published","pmid":1,"acknowledgement":"This work was supported by the Netherlands Organisation for Scientific Research (NWO/OCW), as part of the Frontiers of Nanoscience program.","year":"2017","license":"https://creativecommons.org/licenses/by/3.0/","extern":"1","date_published":"2017-06-15T00:00:00Z","page":"4924-4930","article_type":"original","citation":{"short":"A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.","mla":"Vahid, Afshin, et al. “Curvature Variation Controls Particle Aggregation on Fluid Vesicles.” Soft Matter, vol. 13, no. 28, Royal Society of Chemistry, 2017, pp. 4924–30, doi:10.1039/c7sm00433h.","chicago":"Vahid, Afshin, Anđela Šarić, and Timon Idema. “Curvature Variation Controls Particle Aggregation on Fluid Vesicles.” Soft Matter. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7sm00433h.","ama":"Vahid A, Šarić A, Idema T. Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. 2017;13(28):4924-4930. doi:10.1039/c7sm00433h","ieee":"A. Vahid, A. Šarić, and T. Idema, “Curvature variation controls particle aggregation on fluid vesicles,” Soft Matter, vol. 13, no. 28. Royal Society of Chemistry, pp. 4924–4930, 2017.","apa":"Vahid, A., Šarić, A., & Idema, T. (2017). Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c7sm00433h","ista":"Vahid A, Šarić A, Idema T. 2017. Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. 13(28), 4924–4930."},"publication":"Soft Matter","article_processing_charge":"No","day":"15","keyword":["condensed matter physics","general chemistry"],"scopus_import":"1","oa_version":"Published Version","intvolume":" 13","title":"Curvature variation controls particle aggregation on fluid vesicles","status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"10375","issue":"28","abstract":[{"lang":"eng","text":"Cellular membranes exhibit a large variety of shapes, strongly coupled to their function. Many biological processes involve dynamic reshaping of membranes, usually mediated by proteins. This interaction works both ways: while proteins influence the membrane shape, the membrane shape affects the interactions between the proteins. To study these membrane-mediated interactions on closed and anisotropically curved membranes, we use colloids adhered to ellipsoidal membrane vesicles as a model system. We find that two particles on a closed system always attract each other, and tend to align with the direction of largest curvature. Multiple particles form arcs, or, at large enough numbers, a complete ring surrounding the vesicle in its equatorial plane. The resulting vesicle shape resembles a snowman. Our results indicate that these physical interactions on membranes with anisotropic shapes can be exploited by cells to drive macromolecules to preferred regions of cellular or intracellular membranes, and utilized to initiate dynamic processes such as cell division. The same principle could be used to find the midplane of an artificial vesicle, as a first step towards dividing it into two equal parts."}],"type":"journal_article"},{"_id":"10418","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 2","status":"public","title":"A new proof rule for almost-sure termination","oa_version":"Published Version","type":"journal_article","issue":"POPL","abstract":[{"lang":"eng","text":"We present a new proof rule for proving almost-sure termination of probabilistic programs, including those that contain demonic non-determinism. An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates \"almost surely\". Proving that can be hard, and this paper presents a new method for doing so. It applies directly to the program's source code, even if the program contains demonic choice. Like others, we use variant functions (a.k.a. \"super-martingales\") that are real-valued and decrease randomly on each loop iteration; but our key innovation is that the amount as well as the probability of the decrease are parametric. We prove the soundness of the new rule, indicate where its applicability goes beyond existing rules, and explain its connection to classical results on denumerable (non-demonic) Markov chains."}],"citation":{"chicago":"Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.","mla":"Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.","short":"A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).","ista":"Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.","ieee":"A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.","apa":"Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121","ama":"Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158121"},"publication":"Proceedings of the ACM on Programming Languages","article_type":"original","date_published":"2017-12-07T00:00:00Z","scopus_import":"1","article_processing_charge":"No","day":"07","acknowledgement":"McIver and Morgan are grateful to David Basin and the Information Security Group at ETH Zürich for hosting a six-month stay in Switzerland, during part of which this work began. And thanks particularly to Andreas Lochbihler, who shared with us the probabilistic termination problem that led to it. They acknowledge the support of ARC grant DP140101119. Part of this work was carried out during the Workshop on Probabilistic Programming Semantics\r\nat McGill University’s Bellairs Research Institute on Barbados organised by Alexandra Silva and\r\nPrakash Panangaden. Kaminski and Katoen are grateful to Sebastian Junges for spotting a flaw in §5.4.","year":"2017","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publisher":"Association for Computing Machinery","publication_status":"published","author":[{"full_name":"Mciver, Annabelle","first_name":"Annabelle","last_name":"Mciver"},{"last_name":"Morgan","first_name":"Carroll","full_name":"Morgan, Carroll"},{"full_name":"Kaminski, Benjamin Lucien","first_name":"Benjamin Lucien","last_name":"Kaminski"},{"full_name":"Katoen, Joost P","first_name":"Joost P","last_name":"Katoen","id":"4524F760-F248-11E8-B48F-1D18A9856A87"}],"volume":2,"date_updated":"2021-12-07T08:04:14Z","date_created":"2021-12-05T23:01:49Z","article_number":"33","oa":1,"main_file_link":[{"open_access":"1","url":"https://dl.acm.org/doi/10.1145/3158121"}],"external_id":{"arxiv":["1711.03588"]},"quality_controlled":"1","doi":"10.1145/3158121","conference":{"location":"Los Angeles, CA, United States","start_date":"2018-01-07","end_date":"2018-01-13","name":"POPL: Programming Languages"},"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2475-1421"]},"month":"12"}]