Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(44)
Thomas W. Kelsey
8
Hanne Gottliebsen
7
Stephen A. Linton
7
Tobias Nipkow
5
Richard J. Boulton
4
Conferences
(10)
CADE
7
ISSAC
4
RTA
2
FM
2
IFM
1
Journals
(19)
JSC
4
TOCL
3
ARCH MATH
3
IPL
2
JSYML
2
Keywords
(77)
Embed
Subscribe
Academic
Authors
Ursula Martin
Ursula Martin,Queen Mary University of London,Algorithms & Theory,Scientific Computing,Software Engineering
Edit
Ursula Martin
Queen Mary University of London
Publications:
64
|
Citations:
354
Fields:
Algorithms & Theory
,
Scientific Computing
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
44 co-authors
from 1980 to 2008
|
Cited by
285 authors
Cumulative
Annual
Sort by:
Publications
(64)
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
The Automorphism Group of a Finite p-Group is Almost Always a p-Group
Geir T. Helleloid
,
Ursula Martin
Published in 2006.
Sort by:
Citations
(354 times by 267 publications)
From control law diagrams to Ada via Circus
(
Citations: 4
)
Ana Cavalcanti
,
Phil Clayton
,
Colin O’Halloran
Journal:
Formal Aspects of Computing - FAC
, 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