Ursula Martin

Citado por

	Total	Desde 2016
Citas	1430	356
Índice h	21	10
Índice i10	34	10

100

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020215 11 13 21 17 20 32 31 29 24 38 31 26 51 43 50 44 25 40 58 64 40 42 47 40 35 53 59 43 51 69 50 92 86 8

Coautores

Tom KelseyProfessor of Health Data Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Alison PeaseUniversity of DundeeDirección de correo verificada de dundee.ac.uk
Martin DunstanUniversity of DundeeDirección de correo verificada de dundee.ac.uk
Steve LintonProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
Dr Andrew A. AdamsDeputy Director of the Centre for Business Information Ethics, Meiji University, Tokyo, JapanDirección de correo verificada de meiji.ac.jp
Tracy CampDepartment Head and Professor of Computer Science, Colorado School of MinesDirección de correo verificada de mines.edu
Paulo OlivaQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Joseph CorneliHyperreal Enterprises, Ltd.Dirección de correo verificada de hyperreal.enterprises
Sam OwreSRI InternationalDirección de correo verificada de sri.com
Dave CohenProfessor of Computer Science, Royal Holloway, University of LondonDirección de correo verificada de rhul.ac.uk
Tim StorerSenior Lecturer in Software Engineering, School of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Volker SorgeReader in Scientific Document Analysis, University of BirminghamDirección de correo verificada de cs.bham.ac.uk

Ursula Martin

University of Edinburgh; University of Oxford

Dirección de correo verificada de maths.ox.ac.uk - Página principal

history of science logic algebra


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
An ACM-W literature review on women in computing D Gürer, T Camp ACM SIGCSE Bulletin 34 (2), 121-127, 2002	267	2002
Ordered rewriting and confluence U Martin, T Nipkow International Conference on Automated Deduction, 366-380, 1990	87	1990
Automating the knuth bendix ordering J Dick, J Kalmus, U Martin Acta Informatica 28 (2), 95-119, 1990	68	1990
Computer algebra meets automated theorem proving: Integrating Maple and PVS A Adams, M Dunstan, H Gottliebsen, T Kelsey, U Martin, S Owre International Conference on Theorem Proving in Higher Order Logics, 27-42, 2001	63	2001
Women in computing D Gürer, J Light, C Björkman, R Davies, M Hancock, A Condon, A Craig, ... Wiley Encyclopedia of Computer Science and Engineering, 3099-3122, 2007	55	2007
A ProCoS project description D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ... Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989	52	1989
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study AA Adams, H Gottliebsen, SA Linton, U Martin Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999	47	1999
How to choose the weights in the Knuth Bendix ordering U Martin International Conference on Rewriting Techniques and Applications, 42-53, 1987	46	1987
A geometrical approach to multiset orderings U Martin Theoretical Computer Science 67 (1), 37-54, 1989	37	1989
Almost all 𝑝-groups have automorphism group a 𝑝-group U Martin Bulletin of the American Mathematical Society 15 (1), 78-82, 1986	36	1986
Unification in boolean rings U Martin, T Nipkow International Conference on Automated Deduction, 506-513, 1986	34	1986
Lightweight formal methods for computer algebra systems M Dunstan, T Kelsey, S Linton, U Martin Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998	33	1998
Unification in Boolean rings U Martin, T Nipkow Journal of Automated Reasoning 4 (4), 381-396, 1988	32	1988
Mathematical practice, crowdsourcing, and social machines U Martin, A Pease International Conference on Intelligent Computer Mathematics, 98-119, 2013	30	2013
The automorphism group of a finite p-group is almost always a p-group GT Helleloid, U Martin Journal of Algebra 312 (1), 294-329, 2007	30	2007
Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project A Pease, U Martin Proceedings of AISB/IACAP, 2012	29	2012
The occurrence of groups as automorphisms of nilpotentp-groups UHM Webb Archiv der Mathematik 37 (1), 481-498, 1981	26	1981
VSDITLU: a verifiable symbolic definite integral table look-up AA Adams, H Gottliebsen, SA Linton, U Martin International Conference on Automated Deduction, 112-126, 1999	23	1999
Computers, reasoning and mathematical practice U Martin Computational Logic, 301-346, 1999	23	1999
Slightly dirty maths: The richly textured mechanisms of impact LR Meagher, U Martin Research Evaluation 26 (1), 15-27, 2017	21	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores