Shahar Maoz

49 papers and 502 indexed citations i.

About

Shahar Maoz has authored 49 papers that have received a total of 502 indexed citations. This includes 41 papers in Software, 21 papers in Computational Theory and Mathematics and 20 papers in Artificial Intelligence. The topics of these papers are Model-Driven Software Engineering Techniques (24 papers), Software Testing and Debugging Techniques (22 papers) and Formal Methods in Verification (21 papers). Shahar Maoz is often cited by papers focused on Model-Driven Software Engineering Techniques (24 papers), Software Testing and Debugging Techniques (22 papers) and Formal Methods in Verification (21 papers) and collaborates with scholars based in Israel, Germany and Singapore. Shahar Maoz's co-authors include Jan Oliver Ringert, David Lo, Bernhard Rumpe⋆, David Harel and Yaniv Saʼar and has published in prestigious journals such as Computer, Lecture notes in computer science and Information and Computation

In The Last Decade

Rankless by CCL
2025