Search the dblp DataBase
James L. Caldwell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. [Citation Graph (0, 0)][DBLP]
FAABS, 2000, pp:180-193 [Conf] - James L. Caldwell
Moving Proofs-As-Programs into Practice. [Citation Graph (0, 0)][DBLP]
ASE, 1997, pp:10-17 [Conf] - James L. Caldwell
Extracting General Recursive Program Schemes in Nuprl's Type Theory. [Citation Graph (0, 0)][DBLP]
LOPSTR, 2001, pp:233-244 [Conf] - Tjark Weber, James L. Caldwell
Constructively Characterizing Fold and Unfold. [Citation Graph (0, 0)][DBLP]
LOPSTR, 2003, pp:110-127 [Conf] - James L. Caldwell
Classical Propositional Decidability via Nuprl Proof Extraction. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:105-122 [Conf] - James L. Caldwell
Formal Methods Technology Transfer: A View from NASA. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1998, v:12, n:2, pp:125-137 [Journal] - James L. Caldwell, Ian P. Gent, Judith L. Underwood
Search algorithms in type theory. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:232, n:1-2, pp:55-90 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002