Richard J. Boulton
According to our database1,
Richard J. Boulton
authored at least 24 papers
between 1992 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
4
5
1
1
1
1
1
1
1
1
3
2
4
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
2002
Formal Aspects Comput., 2002
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions.
Proceedings of the Computational Logic, 2000
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Iterative Dialogue and Automated Proofs.
Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998
Proceedings of the Automated Deduction, 1998
1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
1995
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
1993
1992
Boyer-Moore Automation for the HOL System.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992
A Lazy Approach to Fully-Expansive Theorem Proving.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992
Experience with Embedding Hardware Description Languages in HOL.
Proceedings of the Theorem Provers in Circuit Design, 1992