Rosemary Monahan
About
Rosemary Monahan has authored 19 papers that have received a total of 55 indexed citations.
This includes 12 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 9 papers in Software. The topics of these papers are Formal Methods in Verification (10 papers), Logic, programming, and type systems (6 papers) and Software Testing and Debugging Techniques (5 papers). Rosemary Monahan is often cited by papers focused on Formal Methods in Verification (10 papers), Logic, programming, and type systems (6 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in Ireland, The Netherlands and Germany. Rosemary Monahan's co-authors include Marieke Huisman, James F. Power, Vladimir Klebanov, Kevin Casey and Jonathan Lambert and has published in prestigious journals such as Lecture notes in computer science, Electronics and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Huan Feng are published in Top countries impacted by papers by Ben Fallaw Top fields papers by Stefan Schupp are about Top journals papers by Milind Chabbi are published in Top fields papers by H. Aziza are about Top journals papers by Siti Nuryanti are published in Top countries impacted by papers by Petra Ketteler Top journals papers by S. Ahn are published in