Wolfgang Küchlin
About
Wolfgang Küchlin has authored 28 papers that have received a total of 174 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 9 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, programming, and type systems (7 papers). Wolfgang Küchlin is often cited by papers focused on Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in Germany, Austria and United States. Wolfgang Küchlin's co-authors include Carsten Sinz, Wolfgang Blochinger, Andreas Kaiser, Andreas Weber⋆ and Andreas Weber and has published in prestigious journals such as Mathematics and Computers in Simulation, Theoretical Computer Science and Information and Software Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by William Deverell are published in Top countries impacted by papers by Ramna Thakur Top fields papers by Tracey S. Hodges are about Top countries impacted by papers by Koray Daş Top fields papers by Chandra Wickramasinghe are about Top authors papers by Renaud Epstein are co-authored with Top authors papers by M. Singh are co-authored with Top journals papers by Ning Weng are published in