David Pym

60 papers and 685 indexed citations i.

David Pym has authored 60 papers that have received a total of 685 indexed citations. This includes 44 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 20 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (40 papers), Logic, Reasoning, and Knowledge (38 papers) and Formal Methods in Verification (16 papers). David Pym is often cited by papers focused on Logic, programming, and type systems (40 papers), Logic, Reasoning, and Knowledge (38 papers) and Formal Methods in Verification (16 papers) and collaborates with scholars based in United Kingdom, France and United States. David Pym's co-authors include James Harland, Eike Ritter, Christos Ioannidis, Didier Galmiche and Tristan Caulfield and has published in prestigious journals such as European Journal of Operational Research, Journal of the Operational Research Society and Theoretical Computer Science.