Robert J. Simmons

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 3

Top Topics

Top Venues

Math. Struct. Comput. Sci.

ACM Trans. Comput. Log.

Publications

Robert J. Simmons, Michael Arntzenius, Chris Martens
Finite-Choice Logic Programming. CoRR (2024)
Chris Martens, Robert J. Simmons
Inbox Games: Poetics and Authoring Support. ICIDS (2021)
Yuxin Deng, Robert J. Simmons, Iliano Cervesato
Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26 (5) (2016)
Robert J. Simmons
Structural Focalization. ACM Trans. Comput. Log. 15 (3) (2014)
Robert J. Simmons, Ian Zerny
A logical correspondence between natural semantics and abstract machines. PPDP (2013)
Edward Z. Yang, Robert J. Simmons
Profile Jeff Dean: Big data at Google. XRDS 19 (1) (2012)
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
Relating Reasoning Methodologies in Linear Logic and Process Algebra LINEARITY (2012)
Robert J. Simmons
Leah Busque: herding TaskRabbits. XRDS 18 (4) (2012)
Robert J. Simmons
Dickie George: looking back on 40 years at the NSA. XRDS 18 (3) (2012)
Robert J. Simmons, Bernardo Toninho
Constructive Provability Logic CoRR (2012)
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
Products of weighted logic programs. Theory Pract. Log. Program. 11 (2-3) (2011)
Robert J. Simmons
Ed Boyden: the synthetic neurobiologist. XRDS 18 (1) (2011)
Robert J. Simmons, Frank Pfenning
Logical approximation for program analysis. High. Order Symb. Comput. 24 (1-2) (2011)
Robert J. Simmons
Cameron Wilson: ACM's man in Washington. XRDS 18 (2) (2011)
Robert J. Simmons
Rob Bernard: Microsoft's green commitment. XRDS 17 (4) (2011)
Robert J. Simmons
Structural focalization CoRR (2011)
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
Products of Weighted Logic Programs CoRR (2010)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
Proofs from Tests. IEEE Trans. Software Eng. 36 (4) (2010)
Robert J. Simmons
Profile Luis von Ahn: ReCaptcha, games with a purpose. XRDS 17 (2) (2010)
Robert J. Simmons, Frank Pfenning
Linear logical approximations. PEPM (2009)
Frank Pfenning, Robert J. Simmons
Substructural Operational Semantics as Ordered Logic Programming. LICS (2009)
Jonathan Aldrich, Robert J. Simmons, Key Shin
SASyLF: an educational proof assistant for language theory. FDPE@ICFP (2008)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
Proofs from tests. ISSTA (2008)
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
Dynamic Programming Algorithms as Products of Weighted Logic Programs. ICLP (2008)
Robert J. Simmons, Frank Pfenning
Linear Logical Algorithms. ICALP (2) (2008)