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: Martin:Ursula
Contributed to:
2015
2006
20041999
1999199619941994
1993199019871986Wrote 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.