Jim des Rivières

7 papers and 333 indexed citations i.

Jim des Rivières has authored 7 papers that have received a total of 333 indexed citations. This includes 4 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (3 papers), Parallel Computing and Optimization Techniques (2 papers) and Semantic Web and Ontologies (1 paper). Jim des Rivières is often cited by papers focused on Logic, programming, and type systems (3 papers), Parallel Computing and Optimization Techniques (2 papers) and Semantic Web and Ontologies (1 paper) and collaborates with scholars based in Canada and United States. Jim des Rivières's co-authors include Robert S. Bourchier, Lisa Tewksbury, Naomi Cappuccino, Henry Spencer and Wilf R. LaLonde and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems