Gerald Lüttgen

31 papers and 334 indexed citations i.

Gerald Lüttgen has authored 31 papers that have received a total of 334 indexed citations. This includes 26 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 10 papers in Software. The topics of these papers are Formal Methods in Verification (25 papers), Logic, programming, and type systems (14 papers) and Model-Driven Software Engineering Techniques (8 papers). Gerald Lüttgen is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, programming, and type systems (14 papers) and Model-Driven Software Engineering Techniques (8 papers) and collaborates with scholars based in Germany, United Kingdom and United States. Gerald Lüttgen's co-authors include Walter Vogler, Rance Cleaveland, Michael Mendler, Herbert Bos and Jan Tobias Mühlberg and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and Information and Computation