Skip to main content

2 Result(s)

within Article Remove this filter Alexander J. Summers Remove this filter English Remove this filter

and

  1. Article

    Open Access

    Shisa6 mediates cell-type specific regulation of depression in the nucleus accumbens

    Depression is the leading cause of disability and produces enormous health and economic burdens. Current treatment approaches for depression are largely ineffective and leave more than 50% of patients symptoma...

    Hee-Dae Kim, **g Wei, Tanessa Call, Nicole Teru Quintus… in Molecular Psychiatry (2021)

    Download PDF (3955 KB) View Article

  2. No Access

    Article

    Automating deductive verification for weak-memory programs (extended version)

    Writing correct programs for weak-memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of suc...

    Alexander J. Summers, Peter Müller in International Journal on Software Tools fo… (2020)