David P. L. Simons

Learn More
This paper reports on the mechanical verification of the IEEE 1394 root contention protocol. This is an industrial leader election protocol, in which timing parameters play an essential role. A manual verification of this protocol using I/O automata has been published in [24]. We improve the communication model presented in that paper. Using the Uppaal2k(More)
Patients with Bardet-Biedl syndrome (BBS) experience severe retinal degeneration as a result of impaired photoreceptor transport processes that are not yet fully understood. To date, there is no effective treatment for BBS-associated retinal degeneration, and blindness is imminent by the second decade of life. Here we report the development of an(More)
Mutation of the polarity gene Crumbs homolog 1 (CRB1) is responsible for >10% of Leber congenital amaurosis (LCA) cases worldwide; LCA is characterized by early-onset degenerative retinal dystrophy. The role of CRB1 in LCA8 pathogenesis remains elusive since Crb1 mouse mutants, including a null allele, have failed to mimic the early-onset of LCA, most(More)
PURPOSE To engineer a knockin mouse model that can be used to monitor the effects of treatments on degradation and mislocalization of proline-to-histidine change at codon 23 (P23H) rhodopsin, a common cause of autosomal dominant retinitis pigmentosa (ADRP). The goal was to introduce a gene that expressed rhodopsin at low levels to avoid rapid retinal(More)
Leber congenital amaurosis (LCA) and juvenile retinitis pigmentosa (RP) are severe hereditary diseases that causes visual impairment in infants and children. SPATA7 has recently been identified as the LCA3 and juvenile RP gene in humans, whose function in the retina remains elusive. Here, we show that SPATA7 localizes at the primary cilium of cells and at(More)
Rod pathways are a parallel set of synaptic connections which enable night vision by relaying and processing rod photoreceptor light responses. We use dim light stimuli to isolate rod pathway contributions to downstream light responses then characterize these contributions in knockout mice lacking rod transducin-α (Trα), or certain pathway components(More)
Extensive studies have identified many growth factors and intracellular pathways that can promote neuronal survival after retinal injury, but the intrinsic survival mechanisms in the normal retina are poorly understood. Here we report that genetic ablation of Shp2 (Ptpn11) protein phosphatase resulted in progressive apoptosis of all retinal cell types. Loss(More)
Sanfilippo syndrome Type B or Mucopolysaccharidosis IIIB (MPS IIIB) is a neurodegenerative autosomal recessive lysosomal storage disorder in which patients suffer severe vision loss from associated retinopathy. Here we sought to study the underlying retinal functional and morphological changes associated with MPS IIIB disease progression using the(More)
  • 1