Jonathan S. Ostroff
About
Jonathan S. Ostroff has authored 28 papers that have received a total of 379 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 16 papers in Software and 12 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (21 papers), Model-Driven Software Engineering Techniques (12 papers) and Logic, programming, and type systems (7 papers). Jonathan S. Ostroff is often cited by papers focused on Formal Methods in Verification (21 papers), Model-Driven Software Engineering Techniques (12 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in Canada, United Kingdom and Switzerland. Jonathan S. Ostroff's co-authors include Richard F. Paige, Richard F. Paige, W.M. Wonham, Phillip J. Brooke and H. Alla and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology and IEEE Transactions on Parallel and Distributed Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Kajsa M. Parding Top authors papers by Frank Dodd Tony Smith are co-authored with Top authors papers by Evert van Imhoff are co-authored with Top countries impacted by papers by Wenwu Xu Top countries impacted by papers by Kirsten Koehler Top journals papers by Bayad Jamal Ali are published in Top fields papers by Vishwa Deepak Tripathi are about Top journals papers by José Rafael Cápua Proveti are published in