| Molecular hydrogen formation on ice under interstellar conditions HB Perets, O Biham, G Manicó, V Pirronello, J Roser, S Swords, G Vidali The Astrophysical Journal 627 (2), 850, 2005 | 112 | 2005 |
| High quality factor measured in fused silica SD Penn, GM Harry, AM Gretarsson, SE Kittelberger, PR Saulson, ... Review of Scientific Instruments 72 (9), 3670-3673, 2001 | 94 | 2001 |
| Molecular hydrogen formation on amorphous silicates under interstellar conditions HB Perets, A Lederhendler, O Biham, G Vidali, L Li, S Swords, E Congiu, ... The Astrophysical Journal Letters 661 (2), L163, 2007 | 78 | 2007 |
| A flexible formal verification framework for industrial scale validation A Slobodová, J Davis, S Swords, W Hunt Jr Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM …, 2011 | 59 | 2011 |
| Kinetic Energy of H2 JE Roser, S Swords, G Vidali, G Manicò, V Pirronello The Astrophysical Journal Letters 596, L55-L58, 2003 | 56 | 2003 |
| Measurement of the kinetic energy of hydrogen molecules desorbing from amorphous water ice JE Roser, S Swords, G Vidali, G Manico, V Pirronello The Astrophysical Journal Letters 596 (1), L55, 2003 | 56 | 2003 |
| Bit-blasting ACL2 theorems S Swords, J Davis arXiv preprint arXiv:1110.4676, 2011 | 41 | 2011 |
| Use of formal verification at Centaur Technology WA Hunt, S Swords, J Davis, A Slobodova Design and Verification of Microprocessor Systems for High-Assurance …, 2010 | 37 | 2010 |
| Centaur technology media unit verification WA Hunt Jr, S Swords International Conference on Computer Aided Verification, 353-367, 2009 | 35 | 2009 |
| A verified framework for symbolic execution in the ACL2 theorem prover SO Swords | 24 | 2010 |
| Verifying x86 instruction implementations S Goel, A Slobodova, R Sumners, S Swords Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 19 | 2020 |
| Microcode Verification–Another Piece of the Microprocessor Verification Puzzle J Davis, A Slobodova, S Swords International Conference on Interactive Theorem Proving, 1-16, 2014 | 17 | 2014 |
| Verified AIG algorithms in ACL2 J Davis, S Swords arXiv preprint arXiv:1304.7861, 2013 | 10 | 2013 |
| Fix Your Types S Swords, J Davis arXiv preprint arXiv:1509.06079, 2015 | 8 | 2015 |
| Balancing automation and control for formal verification of microprocessors S Goel, A Slobodova, R Sumners, S Swords International Conference on Computer Aided Verification, 26-45, 2021 | 7 | 2021 |
| New Rewriter Features in FGL S Swords arXiv preprint arXiv:2009.13763, 2020 | 7 | 2020 |
| Term-Level Reasoning in Support of Bit-blasting S Swords arXiv preprint arXiv:1705.01231, 2017 | 7 | 2017 |
| A mechanically verified AIG-to-BDD conversion algorithm S Swords, WA Hunt Jr International Conference on Interactive Theorem Proving, 435-449, 2010 | 6 | 2010 |
| Meta-extract: Using Existing Facts in Meta-reasoning M Kaufmann, S Swords arXiv preprint arXiv:1705.01227, 2017 | 5 | 2017 |
| Soundness of the simply typed lambda calculus in ACL2 S Swords, WR Cook Proceedings of the sixth international workshop on the ACL2 theorem prover …, 2006 | 3 | 2006 |
