| Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008 | 222 | 2008 |
| Structural focalization RJ Simmons ACM Transactions on Computational Logic (TOCL) 15 (3), 1-33, 2014 | 65 | 2014 |
| Substructural operational semantics as ordered logic programming F Pfenning, RJ Simmons 2009 24th Annual IEEE Symposium on Logic In Computer Science, 101-110, 2009 | 57 | 2009 |
| Substructural Logical Specifications RJ Simmons Carnegie Mellon University, 2012 | 40 | 2012 |
| SASyLF: An educational proof assistant for language theory J Aldrich, RJ Simmons, K Shin Proceedings of the 2008 international workshop on Functional and declarative …, 2008 | 33 | 2008 |
| Linear logical algorithms RJ Simmons, F Pfenning Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 31 | 2008 |
| Products of weighted logic programs SB Cohen, RJ Simmons, NA Smith Theory and Practice of Logic Programming 11 (2-3), 263-296, 2011 | 19 | 2011 |
| Dynamic programming algorithms as products of weighted logic programs SB Cohen, RJ Simmons, NA Smith International conference on logic programming, 114-129, 2008 | 19 | 2008 |
| Relating reasoning methodologies in linear logic and process algebra Y Deng, RJ Simmons, I Cervesato Mathematical Structures in Computer Science 26 (5), 868-906, 2016 | 16 | 2016 |
| Generation and evaluation of test cases for software validation and proofs AV Nori, SK Rajamani, RJ Simmons, N Beckman US Patent App. 12/115,633, 2009 | 14 | 2009 |
| Weak focusing for ordered linear logic RJ Simmons, F Pfenning Technical Report CMU-CS-10-147, Carnegie Mellon University, 2011 | 12 | 2011 |
| Linear logical approximations RJ Simmons, F Pfenning Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 11 | 2009 |
| Logical approximation for program analysis RJ Simmons, F Pfenning Higher-Order and Symbolic Computation 24 (1), 41-80, 2011 | 9 | 2011 |
| Constructive provability logic RJ Simmons, B Toninho arXiv preprint arXiv:1205.6402, 2012 | 7 | 2012 |
| Twelf as a unified framework for language formalization and implementation R Simmons Undergraduate honors thesis, Princeton University, 2005 | 7 | 2005 |
| Trace matching in a concurrent logical framework I Cervesato, F Pfenning, JL Sacchini, C Schürmann, RJ Simmons Proceedings of the seventh international workshop on Logical frameworks and …, 2012 | 6 | 2012 |
| Distributed deductive databases, declaratively: The L10 logic programming language RJ Simmons, B Toninho, F Pfenning Proceedings of the 2011 ACM SIGPLAN X10 Workshop, 1-6, 2011 | 4 | 2011 |
| Profile Luis von Ahn: ReCaptcha, games with a purpose RJ Simmons XRDS: Crossroads, The ACM Magazine for Students 17 (2), 49-49, 2010 | 4 | 2010 |
| Mechanized metatheory for user-defined type extensions D Marino, B Chin, T Millstein, G Tan, RJ Simmons, D Walker ACM SIGPLAN Workshop on Mechanizing Metatheory, 2006 | 4 | 2006 |
| Principles of constructive provability logic RJ Simmons, B Toninho Technical Report CMU-CS-10-151, School of Computer Science, Carnegie Mellon …, 2010 | 3 | 2010 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
