Matthias Güdemann
About
Matthias Güdemann has authored 10 papers that have received a total of 49 indexed citations.
This includes 8 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 4 papers in Software. The topics of these papers are Formal Methods in Verification (6 papers), Software Reliability and Analysis Research (4 papers) and Petri Nets in System Modeling (3 papers). Matthias Güdemann is often cited by papers focused on Formal Methods in Verification (6 papers), Software Reliability and Analysis Research (4 papers) and Petri Nets in System Modeling (3 papers) and collaborates with scholars based in Germany, Spain and France. Matthias Güdemann's co-authors include Manuel Núñez, Frank Ortmeier, Wolfgang Reif, Gwen Salaün and Pascal Poizat and has published in prestigious journals such as Lecture notes in computer science, Journal of Systems and Software and IEEE Transactions on Services Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Efe Bozkir are co-authored with Top countries impacted by papers by Kévin Marquet Top journals papers by Bruno Maia are published in Top authors papers by J. Vollaire are co-authored with Top fields papers by L. Didenko are about Top countries impacted by papers by Humberto Erick de la Torre-Tarazona Top fields papers by Fanjandrainy Rasoaherinomenjanahary are about Top authors papers by C. Palomares are co-authored with