Robert B. Jones
According to our database1,
Robert B. Jones
authored at least 19 papers
between 1991 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
2
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
ACM Trans. Design Autom. Electr. Syst., 2008
2006
Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006
2005
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Int. J. Softw. Tools Technol. Transf., 2003
2002
Formal Methods Syst. Des., 2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the 37th Conference on Design Automation, 2000
1999
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
Proceedings of the 36th Conference on Design Automation, 1999
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Proceedings of the 35th Conference on Design Automation, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1996
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
1995
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995
1991
Extended subject access to hypertext online documentation, Parts I and II: The search-support and maintenance problems.
J. Am. Soc. Inf. Sci., 1991