Henning Schnoor

15 papers and 225 indexed citations i.

Henning Schnoor has authored 15 papers that have received a total of 225 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 4 papers in Economics and Econometrics. The topics of these papers are Formal Methods in Verification (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Logic, programming, and type systems (4 papers). Henning Schnoor is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, Reasoning, and Knowledge (7 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Germany, United States and United Kingdom. Henning Schnoor's co-authors include Edith Hemaspaandra, Thomas Schneider, Heribert Vollmer, Martin Mundhenk and Piotr Faliszewski and has published in prestigious journals such as Information Processing Letters, ACM Transactions on Computational Logic and Electronic Notes in Theoretical Computer Science