Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(43)
Tom W. Kelsey
8
Hanne Gottliebsen
7
Steve Linton
7
Tobias Nipkow
5
Richard J. Boulton
4
Conferences
(10)
CADE
7
ISSAC
4
RTA
2
FM
2
IFM
1
Journals
(18)
JSC
4
TOCL
3
IPL
2
ARCH MATH
2
J ALGEBRA
2
Keywords
(77)
Embed
Subscribe
Academic
Authors
Ursula Martin
Edit
Ursula Martin
Queen Mary University of London
Publications: 62
|
Citations: 348
|
G-Index: 16
|
H-Index: 10
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Scientific Computing
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
43 co-authors
from 1980 to 2008
; Cited by
278 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(62)
BibTeX
|
RIS
|
RefWorks
Download
Women in Computing
(
Citations: 2
)
Denise W. Gürer
,
Jennifer Light
,
Christina Björkman
,
Rhian Davies
,
Mark S. Hancock
,
Anne Condon
,
Annemieke Craig
,
Vashti Galpin
,
Ursula Martin
,
Margit Pohl
,
Sylvia Wiltner
,
M. Suriya
http://academic.research.microsoft.com/io.ashx?type=5&id=4791615&selfId1=917835&selfId2=0&maxNumber=12&query=
Published in 2008.
A General Framework for Sound and Complete Floyd-Hoare Logics
Rob Arthan
,
Ursula Martin
,
Erik A. Mathiesen
,
Paulo Oliva
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. abs/0807.1, no. 1, pp. 1-31, 2008
The Automorphism Group of a Finite p-Group is Almost Always a p-Group
(
Citations: 4
)
Geir T. Helleloid
,
Ursula Martin
Journal:
Journal of Algebra - J ALGEBRA
, vol. 312, no. 1, pp. 294-329, 2007
Hoare Logic in the Abstract
(
Citations: 1
)
Ursula Martin
,
Erik A. Mathiesen
,
Paulo Oliva
Conference:
Computer Science Logic - CSL
, vol. 4207, pp. 501-515, 2006
Hidden verification for computational mathematics
(
Citations: 5
)
Hanne Gottliebsen
,
Tom Kelsey
,
Ursula Martin
Journal:
Journal of Symbolic Computation - JSC
, vol. 39, no. 5, pp. 539-567, 2005
Order by:
Citations
(348 times by 261 publications)
From control law diagrams to Ada via Circus
(
Citations: 4
)
Ana Cavalcanti
,
Phil Clayton
,
Colin O’Halloran
Conference:
World Congress on Formal Methods - FM
, vol. 23, no. 4, pp. 465-512, 2011
Decision Procedures for Automating Termination Proofs
Ruzica Piskac
,
Thomas Wies
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 371-386, 2011
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
(
Citations: 6
)
Francisco Durán
Published in 2010.
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
(
Citations: 1
)
Camilo Rocha
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming - LPAR(RCLP)
, pp. 594-609, 2010
Easy composition of symbolic computation software: a new lingua franca for symbolic computation
Steve Linton
,
Kevin Hammond
,
Alexander Konovalov
,
Abdallah Al Zain
,
Philip W. Trinder
,
Peter Horn
,
Dan Roozemond
Conference:
International Symposium on Symbolic and Algebraic Computation - ISSAC
, pp. 339-346, 2010
Comments