Dirk Pattinson
About
Dirk Pattinson has authored 55 papers that have received a total of 493 indexed citations.
This includes 46 papers in Artificial Intelligence, 39 papers in Computational Theory and Mathematics and 6 papers in Mathematical Physics. The topics of these papers are Logic, Reasoning, and Knowledge (42 papers), Logic, programming, and type systems (38 papers) and Formal Methods in Verification (16 papers). Dirk Pattinson is often cited by papers focused on Logic, Reasoning, and Knowledge (42 papers), Logic, programming, and type systems (38 papers) and Formal Methods in Verification (16 papers) and collaborates with scholars based in Germany, United Kingdom and Australia. Dirk Pattinson's co-authors include Lutz Schröder, Alexander Kurz, Clemens Kupke, Corina Ĉırstea and Abbas Edalat and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and The Computer Journal
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by G. Henneberger are co-authored with Top journals papers by Eliana M. Cancello are published in Top fields papers by P. U. Krishnaraj are about Top fields papers by Hassouna Dhaouadi are about Top journals papers by Sony Dimas Bicudo are published in Top fields papers by Tadashi Adachi are about Top fields papers by Guang Yuan are about Top fields papers by Е. А. Филиппова are about