David Nowak

11 papers and 69 indexed citations i.

David Nowak has authored 11 papers that have received a total of 69 indexed citations. This includes 9 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (5 papers), Logic, Reasoning, and Knowledge (5 papers) and Formal Methods in Verification (4 papers). David Nowak is often cited by papers focused on Logic, programming, and type systems (5 papers), Logic, Reasoning, and Knowledge (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in France, Japan and United States. David Nowak's co-authors include Stéphane Demri, Jacques Garrigue, Sławomir Lasota, Gilles Grimaud and Jean Goubault-Larrecq and has published in prestigious journals such as Information and Computation, Computing in Science & Engineering and Science of Computer Programming.