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 journals papers by K. S. Jancaitis are published in Top countries impacted by papers by J. Pyrlik Top countries impacted by papers by E. Pueschel Top journals papers by Maria Brosius are published in Top authors papers by Frank Mittelbach are co-authored with Top journals papers by Nathalie Julien are published in Top fields papers by D. Herrup are about Top fields papers by Andrés González‐Melo are about