Ted Ralston
About
Ted Ralston has authored 7 papers that have received a total of 96 indexed citations.
This includes 3 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Information Systems. The topics of these papers are Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers). Ted Ralston is often cited by papers focused on Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States. Ted Ralston's co-authors include S. Gerhart and Dan Craigen and has published in prestigious journals such as IEEE Transactions on Software Engineering and IEEE Software
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Silvia Costantini Top fields papers by Mihir Sahasrabudhe are about Top authors papers by Julie McClafferty are co-authored with Top journals papers by Deepak G. Panpatte are published in Top authors papers by Marit Sundset are co-authored with Top fields papers by Gábor Náfrádi are about Top journals papers by Markus Aicheler are published in Top authors papers by Florence Bonnet are co-authored with