Ursula Martin
About
Ursula Martin has authored 33 papers that have received a total of 263 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 4 papers in Discrete Mathematics and Combinatorics. The topics of these papers are Logic, programming, and type systems (10 papers), semigroups and automata theory (8 papers) and Formal Methods in Verification (6 papers). Ursula Martin is often cited by papers focused on Logic, programming, and type systems (10 papers), semigroups and automata theory (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United Kingdom, United States and Germany. Ursula Martin's co-authors include Alison Pease, Paulo Oliva, Adrian Rice, Christopher Hollings and Andrew Aberdein and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, Bulletin of the American Mathematical Society and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Xiangbin Meng are about Top authors papers by Amir Hosein Pishgooie are co-authored with Top countries impacted by papers by Ruidong Wang Top fields papers by Ricardo Galleguillos are about Top journals papers by Qizhen Xiao are published in Top fields papers by Ali Azizi are about Top journals papers by B. Karthikeyan are published in Top journals papers by K. Sanjay are published in