Cindy Eisner

11 papers and 195 indexed citations i.

Cindy Eisner has authored 11 papers that have received a total of 195 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 6 papers in Software and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (5 papers) and Model-Driven Software Engineering Techniques (3 papers). Cindy Eisner is often cited by papers focused on Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (5 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Israel and United States. Cindy Eisner's co-authors include Dana Fisman, Ilan Beer, Yaron Wolfsthal, Shoham Ben-David and Daniel Geist and has published in prestigious journals such as Software & Systems Modeling, International Journal on Software Tools for Technology Transfer and Formal Methods in System Design.