William L. Scherlis

17 papers and 4.3k indexed citations i.

William L. Scherlis has authored 17 papers that have received a total of 4.3k indexed citations. This includes 10 papers in Artificial Intelligence, 5 papers in Information Systems and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (6 papers), Advanced Software Engineering Methodologies (5 papers) and Formal Methods in Verification (4 papers). William L. Scherlis is often cited by papers focused on Logic, programming, and type systems (6 papers), Advanced Software Engineering Methodologies (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States, France and Australia. William L. Scherlis's co-authors include Sara Kiesler, Robert Kraut, John Boyland, Robert E. Kraut and Michael Patterson and has published in prestigious journals such as American Psychologist, Communications of the ACM and ACM SIGPLAN Notices