Sitvanit Ruah

2 papers and 7 indexed citations i.

Sitvanit Ruah has authored 2 papers that have received a total of 7 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Software and 1 paper in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Software Testing and Debugging Techniques (1 paper). Sitvanit Ruah is often cited by papers focused on Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Software Testing and Debugging Techniques (1 paper) and collaborates with scholars based in Israel, Canada and United States. Sitvanit Ruah's co-authors include Shoham Ben-David and Dana Fisman and has published in prestigious journals such as Theoretical Computer Science and Formal Methods in System Design