Ursula Martin

33 papers and 263 indexed citations i.

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