| NASA Langley's research and technology-transfer program in formal methods RW Butler, JL Caldwell, VA Carreno, CM Holloway, PS Miner, BL Di Vito COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995 | 65 | 1995 |
| High level design proof of a reliable computing platform BL DiVito, RW Butler, JL Caldwell Dependable Computing for Critical Applications 2, 279-306, 1992 | 37 | 1992 |
| Formal design and verification of a reliable computing platform for real-time control. Phase 1: Results BL DiVito, RW Butler, JL Caldwell | 37 | 1990 |
| Moving proofs-as-programs into practice JL Caldwell Proceedings 12th IEEE International Conference Automated Software …, 1997 | 26 | 1997 |
| Extending dynamic constraint detection with disjunctive constraints N Kuzmina, J Paul, R Gamboa, J Caldwell Proceedings of the 2008 international workshop on dynamic analysis: held in …, 2008 | 19 | 2008 |
| Search algorithms in type theory JL Caldwell, IP Gent, J Underwood Theoretical Computer Science 232 (1-2), 55-90, 2000 | 19 | 2000 |
| Classical propositional decidability via Nuprl proof extraction JL Caldwell International Conference on Theorem Proving in Higher Order Logics, 105-122, 1998 | 18 | 1998 |
| Formal methods technology transfer: A view from NASA JL Caldwell Formal Methods in System Design 12, 125-137, 1998 | 13 | 1998 |
| A machine checked model of idempotent mgu axioms for lists of equational constraints S Kothari, J Caldwell arXiv preprint arXiv:1012.4892, 2010 | 11 | 2010 |
| Specifying and checking fault-tolerant agent-based protocols using Maude J Van Baalen, JL Caldwell, S Mishra Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001 | 11 | 2001 |
| Decidability Extracted: Synthesizing" Correct-by-Construction" DecisionProcedures from Constructive Proofs J Caldwell Cornell University, 1998 | 11 | 1998 |
| On extending wand’s type reconstruction algorithm to handle polymorphic let S Kothari, J Caldwell Logic and Theory of Algorithms, Fourth Conference on Computability in Europe …, 2008 | 9 | 2008 |
| Wand’s Algorithm Extended for the Polymorphic ML-Let S Kothari, JL Caldwell Technical report, University of Wyoming, 2007 | 6 | 2007 |
| Extracting recursion operators in Nuprl’s type-theory J Caldwell Eleventh International Workshop on Logic-based Program Synthesis, LOPSTR-02 …, 2002 | 6 | 2002 |
| Structural induction principles for functional programmers J Caldwell arXiv preprint arXiv:1312.2696, 2013 | 5 | 2013 |
| A machine checked model of MGU axioms: applications of finite maps and functional induction S Kothari, J Caldwell 23th Int. Workshop on Unification UNIF2009, 17-31, 2009 | 5 | 2009 |
| Type Reconstruction Algorithms: A Survey S Kothari Technical report, University of Wyoming, 2007 | 5 | 2007 |
| Intuitionisitic tableau extracted J Caldwell International Conference on Automated Reasoning with Analytic Tableaux and …, 1999 | 5 | 1999 |
| Logic and Discrete Mathematics for Computer Scientists J Caldwell Department of Computer Science, University of Wyoming, Laramie, Wyoming …, 2011 | 4 | 2011 |
| Toward a machine-certified correctness proof of Wand’s type reconstruction algorithm S Kothari, JL Caldwell WMM09: 4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, 2009 | 4 | 2009 |
Sunil KothariHP LabsVerified email at hp.com
