Wolfram Kahl

19 papers and 56 indexed citations i.

Wolfram Kahl has authored 19 papers that have received a total of 56 indexed citations. This includes 15 papers in Artificial Intelligence, 7 papers in Software and 6 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (12 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, Reasoning, and Knowledge (5 papers). Wolfram Kahl is often cited by papers focused on Logic, programming, and type systems (12 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in Canada, Germany and Australia. Wolfram Kahl's co-authors include Timothy G. Griffin, Peter Höfner, Markad V. Kamath, Graham L. Jones and Martin Müller and has published in prestigious journals such as Information Sciences, IEEE Transactions on Computers and Lecture notes in computer science.