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 authors papers by Tiya Miles are co-authored with Top fields papers by J. Eschke are about Top authors papers by Ian Campbell Ross are co-authored with Top authors papers by Ulrich Flegel are co-authored with Top fields papers by C. Sbarra are about Top fields papers by Yoshiyuki Mochizuki are about Top journals papers by Pierina Lorencini Parise are published in Top journals papers by Dennis Grech are published in