James Chapman
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Metal complexes synthesis and properties, Advanced Database Systems and Queries
Most-Cited Works
- → Positive allosteric modulator of alpha 7 nicotinic-acetylcholine receptors, PNU-120596 augments the effects of donepezil on learning and memory in aged rodents and non-human primates(2012)104 cited
- → The gentle art of levitation(2010)80 cited
- → General routes for the synthesis of mono, di and tri-N-substituted derivatives of cyclam(1989)78 cited
- → Copper and nickel complexes of 1,8-disubstituted derivatives of 1,4,8,11-tetraazacyclotetradecane(1992)76 cited
- → The Extended UTXO Model(2020)70 cited
- → Monads need not be endofunctors(2015)69 cited
- → In vitro evaluation of a series of Azone analogs as dermal penetration enhancers. II. (Thio) amides(1993)51 cited
- → The nicotine metabolite, cotinine, attenuates glutamate (NMDA) antagonist-related effects on the performance of the five choice serial reaction time task (5C-SRTT) in rats(2012)47 cited
- → Type Theory Should Eat Itself(2009)47 cited