Gerald Lüttgen
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Soraj Hongladarom are published in Top fields papers by S. Rojas are about Top journals papers by Hongjiang Pan are published in Top countries impacted by papers by Seung-Mook Choi Top authors papers by Hongyu Zhou are co-authored with Top authors papers by Vikas Jindal are co-authored with Top authors papers by Fernando Cotait Maluf are co-authored with Top fields papers by Vinod Jani are about