David Nowak
About
David Nowak has authored 11 papers that have received a total of 64 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, Reasoning, and Knowledge (5 papers), Logic, programming, and type systems (5 papers) and Formal Methods in Verification (4 papers). David Nowak is often cited by papers focused on Logic, Reasoning, and Knowledge (5 papers), Logic, programming, and type systems (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in France, Japan and United Kingdom. David Nowak's co-authors include Stéphane Demri, Jean Goubault-Larrecq, Gilles Grimaud, Vlad Rusu and Ranko Lazić and has published in prestigious journals such as Information and Computation, Computing in Science & Engineering and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Charles Crowther are about Top fields papers by Ubai Alsharif are about Top journals papers by S. Dalal are published in Top journals papers by Renaud Lachaize are published in Top countries impacted by papers by Srivatsan Srinivasan Top fields papers by Anton Savchenko are about Top fields papers by Mohammad Bakhshalipour are about Top authors papers by Richard Knowlton are co-authored with