Dogan Ulus

3 papers and 10 indexed citations i.

Dogan Ulus has authored 3 papers that have received a total of 10 indexed citations. This includes 3 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 (3 papers), VLSI and Analog Circuit Testing (1 paper) and Software Testing and Debugging Techniques (1 paper). Dogan Ulus is often cited by papers focused on Formal Methods in Verification (3 papers), VLSI and Analog Circuit Testing (1 paper) and Software Testing and Debugging Techniques (1 paper) and collaborates with scholars based in France, Israel and United States. Dogan Ulus's co-authors include Doron Peled, Alper Şen, Klaus Havelund, Oded Maler and Dejan Ničković and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer and Formal Methods in System Design