Martin Große–Rhode

13 papers and 76 indexed citations i.

Martin Große–Rhode has authored 13 papers that have received a total of 76 indexed citations. This includes 11 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 5 papers in Software. The topics of these papers are Formal Methods in Verification (8 papers), Logic, programming, and type systems (6 papers) and Model-Driven Software Engineering Techniques (5 papers). Martin Große–Rhode is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (6 papers) and Model-Driven Software Engineering Techniques (5 papers) and collaborates with scholars based in Germany and Italy. Martin Große–Rhode's co-authors include Hartmut Ehrig, Reiko Heckel, Andrea Corradini, Uwe Wolter and Francesco Parisi-Presicce and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Mathematical Structures in Computer Science.