Linear Logical Algorithms. - Robert J. Simmons; Frank Pfenning (ICALP (2), 2008)

SASyLF: an educational proof assistant for language theory. - Jonathan Aldrich; Robert J. Simmons; Key Shin (FDPE@ICFP, 2008)

Dynamic Programming Algorithms as Products of Weighted Logic Programs. - Shay B. Cohen; Robert J. Simmons; Noah A. Smith (ICLP, 2008)

Proofs from tests. - Nels E. Beckman; Aditya V. Nori; Sriram K. Rajamani; Robert J. Simmons (ISSTA, 2008)

Substructural Operational Semantics as Ordered Logic Programming. - Frank Pfenning; Robert J. Simmons (LICS, 2009)

Linear logical approximations. - Robert J. Simmons; Frank Pfenning (PEPM, 2009)

Profile Luis von Ahn: ReCaptcha, games with a purpose. - Robert J. Simmons (XRDS, 2010)

Proofs from Tests. - Nels E. Beckman; Aditya V. Nori; Sriram K. Rajamani; Robert J. Simmons; SaiDeep Tetali; Aditya V. Thakur (IEEE Trans. Software Eng., 2010)

Rob Bernard: Microsoft's green commitment. - Robert J. Simmons (XRDS, 2011)

Ed Boyden: the synthetic neurobiologist. - Robert J. Simmons (XRDS, 2011)

Cameron Wilson: ACM's man in Washington. - Robert J. Simmons (XRDS, 2011)

Logical approximation for program analysis. - Robert J. Simmons; Frank Pfenning (High. Order Symb. Comput., 2011)

Products of weighted logic programs. - Shay B. Cohen; Robert J. Simmons; Noah A. Smith (Theory Pract. Log. Program., 2011)

Constructive Provability Logic - Robert J. Simmons; Bernardo Toninho (CoRR, 2012)

Relating Reasoning Methodologies in Linear Logic and Process Algebra - Yuxin Deng; Iliano Cervesato; Robert J. Simmons (LINEARITY, 2012)

Dickie George: looking back on 40 years at the NSA. - Robert J. Simmons (XRDS, 2012)

Leah Busque: herding TaskRabbits. - Robert J. Simmons (XRDS, 2012)

Profile Jeff Dean: Big data at Google. - Edward Z. Yang; Robert J. Simmons (XRDS, 2012)

A logical correspondence between natural semantics and abstract machines. - Robert J. Simmons; Ian Zerny (PPDP, 2013)

Structural Focalization. - Robert J. Simmons (ACM Trans. Comput. Log., 2014)

Inbox Games: Poetics and Authoring Support. - Chris Martens 001; Robert J. Simmons (ICIDS, 2021)

Finite-Choice Logic Programming. - Chris Martens 001; Robert J. Simmons; Michael Arntzenius (Proc. ACM Program. Lang., 2025)

Querying Graph-Relational Data. - Michael J. Sullivan; Zhibo Chen 009; Elvis Pranskevichus; Robert J. Simmons; Victor Petrovykh; Aljaz Mur Erzen; Yury Selivanov (CoRR, 2025)