Joel Greenyer

17 papers and 132 indexed citations i.

About

Joel Greenyer has authored 17 papers that have received a total of 132 indexed citations. This includes 12 papers in Software, 9 papers in Artificial Intelligence and 8 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (10 papers), Formal Methods in Verification (8 papers) and Advanced Software Engineering Methodologies (7 papers). Joel Greenyer is often cited by papers focused on Model-Driven Software Engineering Techniques (10 papers), Formal Methods in Verification (8 papers) and Advanced Software Engineering Methodologies (7 papers) and collaborates with scholars based in Germany, Italy and Sweden. Joel Greenyer's co-authors include Assaf Marron, Ekkart Kindler, Stephan Hildebrandt, Matthias Tichy and Andy Schürr and has published in prestigious journals such as Science of Computer Programming, Procedia Manufacturing and Requirements Engineering

In The Last Decade

Rankless by CCL
2025