BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Hungary
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
3 × France
Collaborated with:
T.Nipkow S.Linton M.Thomas H.Gottliebsen T.Kelsey E.A.Mathiesen P.Oliva A.A.Adams M.Dunstan P.Pröhle D.Shand R.J.Boulton R.Hardy
Talks about:
verif (2) order (2) interpret (1) confluenc (1) techniqu (1) question (1) mathemat (1) geometri (1) everyday (1) abstract (1)

Person: Ursula Martin

DBLP DBLP: Martin:Ursula

Contributed to:

CADE 20152015
CSL 20062006
IFM 20042004
CADE 19991999
World Congress on Formal Methods 19991999
CADE 19961996
CADE 19941994
FME 19941994
RTA 19931993
CADE 19901990
RTA 19871987
CADE 19861986

Wrote 13 papers:

CADE-2015-Martin #lessons learnt
Stumbling Around in the Dark: Lessons from Everyday Mathematics (UM), pp. 29–51.
CSL-2006-MartinMO #hoare #logic
Hoare Logic in the Abstract (UM, EAM, PO), pp. 501–515.
IFM-2004-BoultonGHKM #design #verification
Design Verification for Control Engineering (RJB, HG, RH, TK, UM), pp. 21–35.
CADE-1999-AdamsGLM #named
VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
FM-v2-1999-DunstanKML #formal method
Formal Methods for Extensions to CAS (MD, TK, UM, SL), pp. 1758–1777.
CADE-1996-LintonMPS #algebra #automation #deduction
Algebra and Automated Deduction (SL, UM, PP, DS), pp. 448–462.
CADE-1996-Martin #proving #theorem proving
Theorem Proving with Group Presentations: Examples and Questions (UM), pp. 358–372.
CADE-1994-Martin #geometry #invariant #termination
Termination, Geometry and Invariants (UM), pp. 432–434.
FME-1994-MartinT #verification
Verification Techniques for LOTOS (UM, MT), pp. 83–92.
RTA-1993-Martin #linear
Linear Interpretations by Counting Patterns (UM), pp. 421–433.
CADE-1990-MartinN #confluence #order
Ordered Rewriting and Confluence (UM, TN), pp. 366–380.
RTA-1987-Martin #how
How to Choose Weights in the Knuth Bendix Ordering (UM), pp. 42–53.
CADE-1986-MartinN #unification
Unification in Boolean Rings (UM, TN), pp. 506–513.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.