Journal Article

Koh, Ming Liang, FitzGerald, Paul A., Warr, Gregory G., Jolliffe, Katrina A. and Perrier, Sébastien (2017) Study of (cyclic peptide)-polymer conjugate assemblies by small-angle neutron scattering. Chemistry - A European Journal, 22 (51). pp. 18419-18428. doi:10.1002/chem.201603091

Perrier, Sébastien (2017) RAFT polymerization - a user guide. Macromolecules, 50 (19). pp. 7433-7447. doi:10.1021/acs.macromol.7b00767

Fitzner, Martin, Joly, Laurent, Ma, Ming, Sosso, Gabriele C., Zen, Andrea and Michaelides, Angelos (2017) Communication : truncated non-bonded potentials can yield unphysical behavior in molecular dynamics simulations of interfaces. The Journal of Chemical Physics, 147 (12). 121102. doi:10.1063/1.4997698

Cormode, Graham (2017) Data sketching. Communications of the ACM, 60 (9). pp. 48-55. doi:10.1145/3080008

Hrib, Luminita M., Pintilie, Lucian and Alexe, M. (Marin) (2017) Magnetocapacitance in La0.7Sr0.3MnO3/Pb(Zr0.2Ti0.8)O3/La0.7Sr0.3MnO3 multiferroic heterostructures. Scientific Reports, 7 (1). 6563. doi:10.1038/s41598-017-06487-3

(2017) Separate neural systems for behavioral change and for emotional responses to failure during behavioral inhibition. Human Brain Mapping, 38 (7). pp. 3527-3537.

Auckland, Philip, Clarke, Nicholas I., Royle, Stephen J. and McAinsh, Andrew D. (2017) Congressing kinetochores progressively load Ska complexes to prevent force-dependent detachment. The Journal of Cell Biology, 216 (6). pp. 1623-1639. doi:10.1083/jcb.201607096

Joubert, Fanny, Martin, Liam T., Perrier, Sébastien and Pasparakis, George (2017) Development of a gemcitabine-polymer conjugate with prolonged cytotoxicity against a pancreatic cancer cell line. ACS Macro Letters, 6 (5). pp. 535-540. doi:10.1021/acsmacrolett.7b00160

Tanaka, Joji, Gleinich, Anne S., Zhang, Qiang, Whitfield, Richard, Kempe, Kristian, Haddleton, David M., Davis, Thomas P., Perrier, Sébastien, Mitchell, Daniel A. and Wilson, Paul (2017) Specific and differential binding of N-acetylgalactosamine glycopolymers to the human macrophage galactose lectin and asialoglycoprotein receptor. Biomacromolecules, 18 (5). pp. 1624-1633. doi:10.1021/acs.biomac.7b00228

Hartlieb, Matthias, Floyd, Thomas, Cook, Alexander B., Sanchez-Cano, Carlos, Catrouillet, Sylvain, Burns, James A. and Perrier, Sébastien (2017) Well-defined hyperstar copolymers based on a thiol–yne hyperbranched core and a poly(2-oxazoline) shell for biomedical applications. Polymer Chemistry, 8 (13). pp. 2041-2054. doi:10.1039/C7PY00303J

(2017) Brain-wide analysis of functional connectivity in first-episode and chronic stages of schizophrenia. Schizophrenia Bulletin, 43 (2). pp. 436-448. doi:10.1093/schbul/sbw099

Cheng, Wei, Rolls, Edmund T., Zhang, Jie, Sheng, W., Ma, L., Wan, L., Luo, Q. and Feng, Jianfeng (2017) Functional connectivity decreases in autism in emotion, self, and face circuits identified by knowledge-based enrichment analysis. NeuroImage, 148 . pp. 169-178. doi:10.1016/j.neuroimage.2016.12.068

Yang, Mingmin, Bhatnagar, Akash, Luo, Zhengdong and Alexe, M. (Marin) (2017) Enhancement of local photovoltaic current at ferroelectric domain walls in BiFeO3. Scientific Reports, 7 . 43070. doi:10.1038/srep43070

Elliott, Charles M., Ranner, Thomas and Venkataraman, Chandrasekhar (2017) Coupled bulk-surface free boundary problems arising from a mathematical model of receptor-ligand dynamics. SIAM Journal on Mathematical Analysis, 49 (1). pp. 360-397.

Hill, Steven M. (Mark), Nesser, Nicole K., Johnson-Camacho, Katie, Jeffress, Mara, Johnson, Aimee, Boniface, Chris, Spencer, Simon E. F., Lu, Yiling, Heiser, Laura M., Lawrence, Yancey, Pande, Nupur T., Korkola, James, Gray, Joe W., Mills, Gordon B., Mukherjee, Sach and Spellman, Paul T. (2017) Context-specificity in causal signaling networks revealed by phosphoprotein profiling. Cell Systems, 4 (1). 73-83.e10. doi:10.1016/j.cels.2016.11.013

Hartlieb, Matthias, Williams, E. G., Kuroki, Agnès, Perrier, Sébastien and Locock, K. E. (2017) Antimicrobial polymers : mimicking amino acid functionality, sequence control and three-dimensional structure of host-defense peptides. Current Medicinal Chemistry, 24 (19). pp. 2115-2140. doi:10.2174/0929867324666170116122322

Penman, Bridget S., Gupta, S. and Shanks, G. D. (2017) Rapid mortality transition of Pacific Islands in the 19th century. Epidemiology and Infection, 145 (1). pp. 1-11. doi:10.1017/S0950268816001989

Bray, Caroline, Peltier, Raoul, Kim, Hyungsoo, Mastrangelo, Antonio and Perrier, Sébastien (2017) Anionic multiblock core cross-linked star copolymers via RAFT polymerization. Polymer Chemistry, 8 (36). pp. 5513-5524. doi:10.1039/C7PY01062A

Carrillo, Jose A., Ranetbauer, Helene and Wolfram, Marie-Therese (2016) Numerical simulation of continuity equations by evolving diffeomorphisms. Journal of Computational Physics, 327 . pp. 186-202. doi:10.1016/j.jcp.2016.09.040

Whitfield, Richard, Anastaskia, Athina, Truong, Nghia P., Wilson, Paul, Kempe, Kristian, Burns, James A., Davis, Thomas P. and Haddleton, David M. (2016) Well-defined PDMAEA stars via Cu(0)-mediated reversible deactivation radical polymerisation. Macromolecules, 49 (23). pp. 8914-8924. doi:10.1021/acs.macromol.6b01511

Zhang, Qiang, Nurumbetov, Gabit, Simula, Alexandre, Zhu, Chongyu, Li, Muxiu, Wilson, Paul, Kempe, Kristian, Yang, Bin, tao, lei and Haddleton, David M. (2016) Synthesis of well-defined catechol polymers for surface functionalization of magnetic nanoparticles. Polymer Chemistry, 7 (45). 7002-7010 . doi:10.1039/c6py01709f

Gurnani, Pratik, Lunn, Andrew M. and Perrier, Sébastien (2016) Synthesis of mannosylated and PEGylated nanoparticles via RAFT emulsion polymerisation, and investigation of particle-lectin aggregation using turbidimetric and DLS techniques. Polymer, 106 . pp. 229-237. doi:10.1016/j.polymer.2016.08.093

Xing, W. W., Triantafyllidis, Vasileios, Shah, Akeel A., Nair, P. B. and Zabaras , Nicholas (2016) Manifold learning for the emulation of spatial fields from computational models. Journal of Computational Physics, 326 . 666 - 690. doi:10.1016/j.jcp.2016.07.040

Zhang, Junliang, Gody, Guillaume, Hartlieb, Matthias, Catrouillet, Sylvain, Moffat, J. and Perrier, Sébastien (2016) Synthesis of sequence-controlled multi-block single chain nanoparticles by a step-wise folding-chain extension-folding process. Macromolecules, 49 (23). pp. 8933-8942. doi:10.1021/acs.macromol.6b01962

Peters, Jonathan J. P., Apachitei, Geanina, Beanland, R., Alexe, M. (Marin) and Sánchez, Ana M. (2016) Polarization curling and flux closures in multiferroic tunnel junctions. Nature Communications, 7 . 13484 . doi:10.1038/ncomms13484

Whitfield, Richard, Anastasaki, Athina, Truong, Nghia P., Wilson, Paul, Kempe, Kristian, Burns, James A., Davis, Thomas P. and Haddleton, David M. (2016) Well-defined PDMAEA stars via Cu(0)-mediated reversible deactivation radical polymerization. Macromolecules . doi:10.1021/acs.macromol.6b01511

Penman, Bridget S., Moffett, Ashley, Chazara, Olympe, Gupta, Sunetra and Parham, Peter (2016) Reproduction, infection and killer-cell immunoglobulin-like receptor haplotype evolution. Immunogenetics, 68 (10). pp. 755-764. doi:10.1007/s00251-016-0935-9

Conant, James, Hatcher, Allen, Kassabov, Martin and Vogtmann, Karen (2016) Assembling homology classes in automorphism groups of free groups. Commentarii Mathematici Helvetici, 91 (4). pp. 751-806. doi:10.4171/CMH/402

Tom, Jessica, Ohno, Kohji and Perrier, Sébastien (2016) Surface-initiated SET living radical polymerisation for the synthesis of silica–polymer core–shell nanoparticles. Polymer Chemistry, 7 (39). pp. 6075-6083. doi:10.1039/C6PY01290F

Engelis, Nikolaos, Anastasaki, Athina, Nurumbetov, Gabit, Truong, Nghia P., Nikolaou, Vasiliki, Shegiwal, Ataulla, Whittaker, Michael R., Davis, Thomas P. and Haddleton, David M. (2016) Sequence-controlled methacrylic multiblock copolymers via sulfur-free RAFT emulsion polymerization. Nature Chemistry, 9 . pp. 171-178. doi:10.1038/nchem.2634

Sethi, Kriti, Palani, Saravanan, Cortés, Juan C G, Sato, Mamiko, Sevugan, Mayalagu, Ramos, Mariona, Vijaykumar, Shruthi, Osumi, Masako, Naqvi, Naweed I, Ribas, Juan Carlos and Balasubramanian, Mohan K. (2016) A new membrane protein Sbg1 links the contractile ring apparatus and septum synthesis machinery in fission yeast. PLoS Genetics, 12 (10). e1006383. doi:10.1371/journal.pgen.1006383

Isahak, Naatasha, Gody, Guillaume, Malins, Lara R., Mitchell, Nicholas J., Payne, Richard J. and Perrier, Sébastien (2016) Single addition of an allylamine monomer enables access to end-functionalized RAFT polymers for native chemical ligation. Chemical Communications, 52 (88). pp. 12952-12955. doi:10.1039/C6CC06010B

Catrouillet, Sylvain, Brendel, Johannes C., Larnaudie, Sophie, Barlow, Tammie R., Jolliffe, Katrina A. and Perrier, Sébastien (2016) Tunable length of cyclic peptide–polymer conjugate self-assemblies in water. ACS Macro Letters, 5 (10). pp. 1119-1123. doi:10.1021/acsmacrolett.6b00586

Barlow, Tammie R., Brendel, Johannes C. and Perrier, Sébastien (2016) Poly(bromoethyl acrylate) : a reactive precursor for the synthesis of functional RAFT materials. Macromolecules, 49 (17). pp. 6203-6212. doi:10.1021/acs.macromol.6b00721

Chakrabarti, Amit, Cormode, Graham and McGregor, Andrew (2016) Robust lower bounds for communication and stream computation. Theory of Computing, 12 . pp. 1-35. 10. doi:10.4086/toc.2016.v012a010

Enki, Doyo G., Garthwaite, Paul H., Farrington, C. Paddy, Noufaily, Angela, Andrews, Nick J. and Charlett, Andre (2016) Comparison of statistical algorithms for the detection of infectious disease outbreaks in large multiple surveillance systems. PLoS One, 11 (8). e0160759. doi:10.1371/journal.pone.0160759

Brendel, Johannes C., Gody, Guillaume and Perrier, Sébastien (2016) Efficient click-addition sequence for polymer–polymer couplings. Polymer Chemistry, 7 (35). pp. 5536-5543. doi:10.1039/C6PY00954A

Zhang, Jie, Cheng, Wei, Liu, Zhaowen, Zhang, Kai, Yao, Ye, Becker, Benjamin, Liu, Yicen, Kendrick, Keith M., Lu, Guangming and Feng, Jianfeng (2016) Neural, electrophysiological and anatomical basis of brain-network variability and its characteristic changes in mental disorders. Brain, 139 (8). pp. 2307-2321. doi:10.1093/brain/aww143

Fullam, Elizabeth, Prokes, Ivan, Fütterer, Klaus and Besra, Gurdyal S. (2016) Structural and functional analysis of the solute-binding protein UspC from Mycobacterium tuberculosis that is specific for amino sugars. Open Biology (6). doi:10.1098/rsob.160105

Millard, Christopher J., Varma, Niranjan, Saleh, Almutasem, Morris, Kyle L., Watson, Peter J., Bottrill, Andrew R., Fairall, Louise, Smith, Corinne J. and Schwabe, John W. R. (2016) The structure of the core NuRD repression complex provides insights into its interaction with chromatin. eLife, 5 . pp. 1-21. doi:10.7554/eLife.13941

Gody, Guillaume, Roberts, Derrick A., Maschmeyer, Thomas and Perrier, Sébastien (2016) A new methodology for assessing macromolecular click reactions and its application to amine–tertiary isocyanate coupling for polymer ligation. Journal of the American Chemical Society, 138 (12). pp. 4061-4068. doi:10.1021/jacs.5b11831

Luo, Ge, Wang, Lu, Yi, Ke and Cormode, Graham (2016) Quantiles over data streams : experimental comparisons, new analyses, and further improvements. The VLDB Journal, 25 (4). pp. 449-472. doi:10.1007/s00778-016-0424-7

Cook, Alexander B., Barbey, Raphael, Burns, James A. and Perrier, Sébastien (2016) Hyperbranched polymers with high degrees of branching and low dispersity values : pushing the limits of thiol–yne chemistry. Macromolecules, 49 (4). pp. 1296-1304. doi:10.1021/acs.macromol.6b00132

Gody, Guillaume, Zetterlund, Per B., Perrier, Sébastien and Harrisson, Simon (2016) The limits of precision monomer placement in chain growth polymerization. Nature Communications, 7 . 10514. doi:10.1038/ncomms10514

Jones, Glen R., Li, Zaidong, Anastasaki, Athina, Lloyd, Danielle J., Wilson, Paul, Zhang, Qiang and Haddleton, David M. (2016) Rapid synthesis of well-defined polyacrylamide by aqueous Cu(0)-mediated reversible-deactivation radical polymerization. Macromolecules, 49 (2). pp. 483-489. doi:10.1021/acs.macromol.5b01994

Poon, Cheuk Ka, Tang, Owen, Chen, Xin-Ming, Pham, Binh T. T., Gody, Guillaume, Pollock, Carol A., Hawkett, Brian S. and Perrier, Sébastien (2016) Preparation of inert polystyrene latex particles as microRNA delivery vectors by surfactant-free RAFT emulsion polymerization. Biomacromolecules, 17 (3). pp. 965-973. doi:10.1021/acs.biomac.5b01633

Warnett, Jason M., Titarenko, Valeriy, Kiraci, Ercihan, Attridge, Alex, Lionheart, William R. B., Withers, Philip J. and Williams, M. A. (2016) Towards in-process x-ray CT for dimensional metrology. Measurement Science and Technology, 27 (3). pp. 1-14. 035401. doi:10.1088/0957-0233/27/3/035401

Carrillo, Jose A., Martin, Stephan and Wolfram, Marie-Therese (2016) An improved version of the Hughes model for pedestrian flow. Mathematical Models and Methods in Applied Sciences, 26 (4). pp. 671-697. doi:10.1142/S0218202516500147

Bhargava, Manjul, Cremona, J. E., Fisher, Tom, Jones, Nick G. and Keating, Jonathan P. (2016) What is the probability that a random integral quadratic form in n variables has an integral zero? International Mathematics Research Notices, 2016 (12). pp. 3828-3848. doi:10.1093/imrn/rnv251

Bertrand, Olivier, Wilson, Paul, Burns, James A., Bell, Gordon A. and Haddleton, David M. (2015) Cu(0)-mediated living radical polymerisation in dimethyl lactamide (DML) : an unusual green solvent with limited environmental impact. Polymer Chemistry, 6 (48). pp. 8319-8324. doi:10.1039/c5py01420d

Sabouri, Hadi, Huang, Yun, Ohno, Kohji and Perrier, Sébastien (2015) Silica core–polystyrene shell nanoparticle synthesis and assembly in three dimensions. Nanoscale, 7 (45). pp. 19036-19046. doi:10.1039/c5nr06400g

Hockham, Carinna, Piel, Frédéric B., Gupta, Sunetra and Penman, Bridget S. (2015) Understanding the contrasting spatial haplotype patterns of malaria-protective β-globin polymorphisms. Infection, Genetics and Evolution , 36 . pp. 174-183. doi:10.1016/j.meegid.2015.09.018

Bhargava, Manjul, Cremona, J. E., Fisher, Tom, Jones, Nick G. and Keating, Jonathan P. (2015) What is the probability that a random integral quadratic form in n variables has an integral zero? International Mathematics Research Notices . rnv251. doi:10.1093/imrn/rnv251

Cheng, Wei, Rolls, Edmund T., Huaguang, Gu, Zhang, Jie and Feng, Jianfeng (2015) Autism : reduced connectivity between cortical areas involved in face expression, theory of mind, and the sense of self. Brain, 138 (Part 5). pp. 1382-1393. doi:10.1093/brain/awv051

Penman, Bridget S., Gupta, Sunetra and Weatherall, David J. (2015) Epistasis and the sensitivity of phenotypic screens for beta thalassaemia. British Journal of Haematology, 169 (1). pp. 117-128. doi:10.1111/bjh.13241

Zhang, J., Kendrick, K. M., Lu, G. and Feng, Jianfeng (2015) The fault lies on the other side : altered brain functional connectivity in psychiatric disorders is mainly caused by counterpart regions in the oppposite hemisphere. Cerebral Cortex, 25 (10). pp. 3475-3486. doi:10.1093/cercor/bhu173

Gurcha, Sudagar S., Usha, Veeraraghavan, Cox, Jonathan A. G., Fütterer, Klaus, Abrahams, Katherine A., Bhatt, Apoorva, Alderwick, Luke J., Reynolds, Robert C., Loman, Nicholas J., Nataraj, VijayaShankar, Alemparte, Carlos, Barros, David, Lloyd, Adrian J., Ballell, Lluis, Hobrath, Judith V. and Besra, Gurdyal S. (2014) Biochemical and structural characterization of mycobacterial aspartyl-tRNA synthetase AspS, a promising TB drug target. PLoS One, Volume 9 (Number 11). Article number e113568. doi:10.1371/journal.pone.0113568

(2014) The correlation between reading and mathematics ability at age twelve has a substantial genetic component. Nature Communications, Volume 5 . Article number 4204 . doi:10.1038/ncomms5204

Guo, Shuixia, Yu, Yun, Zhang, Jie and Feng, Jianfeng (2013) A reversal coarse-grained analysis with application to an altered functional circuit in depression. Brain and Behavior, Volume 3 (Number 6). pp. 637-648. doi:10.1002/brb3.173

Ge, Tian, Luo, Qiang, Grabenhorst, Fabian, Feng, Jianfeng and Rolls, Edmund T. (2013) Attention-dependent modulation of cortical taste circuits revealed by granger causality with signal-dependent noise. PLoS Computational Biology, 9 (10). . e1003265. doi:10.1371/journal.pcbi.1003265

Zhang, Qiang, Collins, Jennifer, Anastasaki, Athina, Wallis, Russell, Mitchell, Daniel A., Becer, C. Remzi and Haddleton, David M. (2013) Sequence-controlled multi-block glycopolymers to inhibit DC-SIGN-gp120 binding. Angewandte Chemie International Edition, 52 (16). pp. 4435-4439. doi:10.1002/anie.201300068

Guo, Shuixia, Kendrick, Keith M., Zhang, Jie, Broome, Matthew R., Yu, Rongjun, Liu, Zhening and Feng, Jianfeng (2013) Brain-wide functional inter-hemispheric disconnection is a potential biomarker for schizophrenia and distinguishes it from depression. NeuroImage: Clinical, Volume 2 . pp. 818-826. doi:10.1016/j.nicl.2013.06.008

Penman, Bridget S., Gupta, Sunetra and Buckee, Caroline O. (2012) The emergence and maintenance of sickle cell hotspots in the Mediterranean. Infection, Genetics and Evolution , 12 (7). pp. 1543-1550. doi:10.1016/j.meegid.2012.06.001

Jones, Mathew W., Strickland, Rachel A., Schumacher, Feliz F., Caddick, Stephen, Baker, James R., Gibson, Matthew I. and Haddleton, David M. (2012) Polymeric dibromomaleimides as extremely efficient disulfide bridging bioconjugation and pegylation agents. Journal of the American Chemical Society, 134 (3). pp. 1847-1852. doi:10.1021/ja210335f

Abrahams, Katherine A., Cox, Jonathan A. G., Spivey, Vickey L., Loman, Nicholas J., Pallen, Mark J., Constantinidou, Chrystala, Fernández, Raquel, Alemparte, Carlos, Remuiñán, Modesto J., Barros, David, Ballell, Lluis and Besra, Gurdyal S. (2012) Identification of novel Imidazo[1,2-a]pyridine inhibitors targeting M. tuberculosis QcrB. PLoS One, Volume 7 (Number 12). Article number e52951. doi:10.1371/journal.pone.0052951

Didelot, Xavier, Bowden, Rory, Street, Teresa, Golubchik, Tanya, Spencer, Chris, McVean, Gil, Sangal, Vartul, Anjum, Muna F., Achtman, Mark, Falush, Daniel and Donnelly, Peter (2011) Recombination and population structure in salmonella enterica. PLoS Genetics, Volume 7 (Number 7). Article number e1002191. doi:10.1371/journal.pgen.1002191

Conference Item

Cormode, Graham, Jowhari, Hossein, Monemizadeh, Morteza and Muthukrishnan, S. (2017) The sparse awakens : streaming algorithms for matching size estimation in sparse graphs. In: ESA 2017 – The 25th Annual European Symposium on Algorithms, Vienna, Austria, 04-08 Sep 2017. Published in: ALGO 2017, 2017

Jorgensen, Zach, Yu, Ting and Cormode, Graham (2016) Publishing attributed social graphs with formal privacy guarantees. In: ACM SIGMOD International Conference on Management of Data (SIGMOD), San Francisco, USA, 26 Jun - 1 Jul 2016. Published in: SIGMOD '16 Proceedings of the 2016 International Conference on Management of Data pp. 107-122. ISBN 9781450335317. doi:10.1145/2882903.2915215

Chitnis, Rajesh, Cormode, Graham, Esfandiari, Hossein, Hajiaghayi, Mohammad Taghi, McGregor, Andrew, Monemizadeh, Morteza and Vorotnikova, Sofya (2016) Kernelization via sampling with applications to dynamic graph streams. In: ACM-SIAM Symposium on Discrete Algorithms (SODA) 2016, Arlington, Virginia, 10-12 Jan 2016 (In Press)

Chitnis, Rajesh, Cormode, Graham, Hajiaghayi, Mohammad Taghi and Monezimadeh, Morteza (2015) Parameterized streaming : maximal matching and vertex cover. In: ACM SIAM Symposium on Discrete Algorithms (SODA), San Diego, USA, 4-6 Jan 2015. Published in: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms pp. 1234-1251. ISBN 9781611973747. doi:10.1137/1.9781611973730

Ahn, Kook-Jin, Cormode, Graham, Guha, Sudipto, McGregor, Andrew and Wirth, Anthony Ian (2015) Correlation clustering in data streams. In: International Conference on Machine Learning, Lille, France, 6-11 Jul 2015. Published in: Proceedings of the 32nd International Conference on Machine Learning, 37

Chitnis, Rajesh, Cormode, Graham, Esfandiari, Hossein, Hajiaghayi, Mohammad Taghi and Monemizadeh, Morteza (2015) New streaming algorithms for parameterized maximal matching & beyond. In: 27th ACM symposium on Parallelism in Algorithms and Architectures, Portland, Oregon, USA, 13-15 Jun 2015. Published in: Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures pp. 56-58. ISBN 9781450335881. doi:10.1145/2755573.2755618

Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew, Thaler, Justin and Venkatasubramanian, Suresh (2015) Verifiable stream computation and Arthur-Merlin communication. In: 30th Conference on Computational Complexity (CCC’15), Portland, Oregon, 17-19 Jun 2015. Published in: Leibniz international proceedings in informatics (LIPIcs) pp. 217-243. ISSN 1868-8969. doi:10.4230/LIPIcs.CCC.2015.217