| Some tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007 | 1589 | 2007 |
| Constructing semantic models of programs with the software analysis workbench R Dockins, A Foltzer, J Hendrix, B Huffman, D McNamee, A Tomb Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 70 | 2016 |
| The Maude formal tool environment M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky Algebra and Coalgebra in Computer Science: Second International Conference …, 2007 | 69 | 2007 |
| A sufficient completeness checker for linear order-sorted specifications modulo axioms J Hendrix, J Meseguer, H Ohsaki International Joint Conference on Automated Reasoning, 151-155, 2006 | 54 | 2006 |
| A sufficient completeness reasoning tool for partial specifications J Hendrix, M Clavel, J Meseguer Term Rewriting and Applications: 16th International Conference, RTA 2005 …, 2005 | 44 | 2005 |
| Equational cryptographic reasoning in the Maude-NRL protocol analyzer S Escobar, C Meadows, J Meseguer Electronic Notes in Theoretical Computer Science 171 (4), 23-36, 2007 | 34 | 2007 |
| Order-sorted equational unification revisited J Hendrix, J Meseguer Electronic Notes in Theoretical Computer Science 290, 37-50, 2012 | 30 | 2012 |
| SAW: the software analysis workbench K Carter, A Foltzer, J Hendrix, B Huffman, A Tomb Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013 | 26 | 2013 |
| On the completeness of context-sensitive order-sorted specifications J Hendrix, J Meseguer Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007 | 26 | 2007 |
| Diffie-Hellman cryptographic reasoning in the Maude-NRL protocol analyzer S Escobar, J Hendrix, C Meadows, J Meseguer Proc. of SecRet 2007, 2007 | 20 | 2007 |
| Linear functional fixed-points N Bjørner, J Hendrix Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 19 | 2009 |
| Propositional tree automata J Hendrix, H Ohsaki, M Viswanathan International Conference on Rewriting Techniques and Applications, 50-65, 2006 | 19 | 2006 |
| Sufficient completeness checking with propositional tree automata J Hendrix, H Ohsaki, J Meseguer | 19 | 2005 |
| All about maude: A high-performance logical framework C Braga, M Clavel, F Durán, S Eker, A Farzan, J Hendrix, P Lincoln, ... Lecture Notes in Computer Science 4350, 2007 | 13 | 2007 |
| Dependently typed haskell in industry (experience report) DT Christiansen, IS Diatchki, R Dockins, J Hendrix, T Ravitch Proceedings of the ACM on Programming Languages 3 (ICFP), 1-16, 2019 | 8 | 2019 |
| Matrices in ACL2 J Hendrix Fourth International Workshop on the ACL2 Theorem Prover and Its …, 2003 | 6 | 2003 |
| Coverset induction with partiality and subsorts: A powerlist case study J Hendrix, D Kapur, J Meseguer International Conference on Interactive Theorem Proving, 275-290, 2010 | 5 | 2010 |
| Towards verified binary raising J Hendrix, G Wei, S Winwood Workshop on Instruction Set Architecture Specification (co-located with ITP …, 2019 | 4 | 2019 |
| Maude itp 2.0 tutorial J Hendrix, J Meseguer, R Sasse tech. rep., Technical report, Technical report, 2008 | 4 | 2008 |
| Bounded integer linear constraint solving via lattice search J Hendrix, BF Jones Proceedings of the International Workshop on Satisfiability Modulo Theories, 2015 | 3 | 2015 |
