Ursula Martin

According to our database1, Ursula Martin
  • authored at least 42 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016
Computational logic and the social.
J. Log. Comput., 2016

2015
Stumbling Around in the Dark: Lessons from Everyday Mathematics.
Proceedings of the Automated Deduction - CADE-25, 2015

Ada Lovelace, a scientist in the archives.
Proceedings of the Ada Lovelace Symposium 2015, 2015

2013
Applications of real number theorem proving in PVS.
Formal Asp. Comput., 2013

A Hoare logic for linear systems.
Formal Asp. Comput., 2013

What does mathoverflow tell us about the production of mathematics?
CoRR, 2013

Mathematical practice, crowdsourcing, and social machines
CoRR, 2013

Mathematical Practice, Crowdsourcing, and Social Machines.
Proceedings of the Intelligent Computer Mathematics, 2013

2009
A general framework for sound and complete Floyd-Hoare logics.
ACM Trans. Comput. Log., 2009

2008

A General Framework for Sound and Complete Floyd-Hoare Logics
CoRR, 2008

2006
Hoare Logic in the Abstract.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005
Hidden verification for computational mathematics.
J. Symb. Comput., 2005

2004
Design Verification for Control Engineering.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2001
The Classification of Polynomial Orderings on Monadic Terms.
Appl. Algebra Eng. Commun. Comput., 2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000
Invariants, Patterns and Weights for Ordering Terms.
J. Symb. Comput., 2000

Workshop: The Role of Automated Deduction in Mathematics.
Proceedings of the Automated Deduction, 2000

1999
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

Formal Methods for Extensions to CAS.
Proceedings of the FM'99 - Formal Methods, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.
Proceedings of the Automated Deduction, 1999

1998
Lightweight Formal Methods for Computer Algebra Systems.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997
The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets.
J. Symb. Log., 1997

1996
Theorem Proving with Group Presentations: Examples and Questions.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Algebra and Automated Deduction.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
On the Diversity of Orderings on Strings.
Fundam. Inform., 1995

1994
Verification Techniques for LOTOS.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Termination, Geometry and Invariants.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
Linear Interpretations by Counting Patterns.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

The order types of termination orderings on monadic terms, strings and multisets
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992
Some Experiments with a Completion Theorem Prover.
J. Symb. Comput., 1992

1990
A Note on Division Orderings on Strings.
Inf. Process. Lett., 1990

Automating the Knuth Bendix Ordering.
Acta Inf., 1990

Ordered Rewriting and Confluence.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
A Geometrical Approach to Multiset Orderings.
Theor. Comput. Sci., 1989

Boolean Unification - The Story So Far.
J. Symb. Comput., 1989

1988
Unification in Boolean Rings.
J. Autom. Reasoning, 1988

1987
Extension Functions for Multiset Orderings.
Inf. Process. Lett., 1987

How to Choose Weights in the Knuth Bendix Ordering.
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

1986
Unification in Boolean Rings.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...