We stand with Ukraine  

Robert J. Simmons

Orcid: 0000-0003-2420-3067

According to our database1, Robert J. Simmons authored at least 22 papers between 2008 and 2025.

Collaborative distances:

Timeline

2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
4
5
2
1
1
1
2
4

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Finite-Choice Logic Programming.
[BibTeX]
[DOI]
Chris Martens
,
Robert J. Simmons
,
Michael Arntzenius
Proc. ACM Program. Lang., 2025

2021
Inbox Games: Poetics and Authoring Support.
[BibTeX]
[DOI]
Chris Martens
,
Robert J. Simmons
Proceedings of the Interactive Storytelling, 2021

2014
Structural Focalization.
[BibTeX]
[DOI]
Robert J. Simmons
ACM Trans. Comput. Log., 2014

2013
A logical correspondence between natural semantics and abstract machines.
[BibTeX]
[DOI]
Robert J. Simmons
,
Ian Zerny
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012
Profile Jeff Dean: Big data at Google.
[BibTeX]
[DOI]
Edward Z. Yang
,
Robert J. Simmons
XRDS, 2012

Leah Busque: herding TaskRabbits.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2012

Dickie George: looking back on 40 years at the NSA.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2012

Relating Reasoning Methodologies in Linear Logic and Process Algebra
[BibTeX]
[DOI]
Yuxin Deng
,
Iliano Cervesato
,
Robert J. Simmons
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

Constructive Provability Logic
[BibTeX]
[DOI]
Robert J. Simmons
,
Bernardo Toninho
CoRR, 2012

2011
Products of weighted logic programs.
[BibTeX]
[DOI]
Shay B. Cohen
,
Robert J. Simmons
,
Noah A. Smith
Theory Pract. Log. Program., 2011

Logical approximation for program analysis.
[BibTeX]
[DOI]
Robert J. Simmons
,
Frank Pfenning
High. Order Symb. Comput., 2011

Cameron Wilson: ACM's man in Washington.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2011

Ed Boyden: the synthetic neurobiologist.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2011

Rob Bernard: Microsoft's green commitment.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2011

2010
Proofs from Tests.
[BibTeX]
[DOI]
Nels E. Beckman
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Robert J. Simmons
,
SaiDeep Tetali
,
Aditya V. Thakur
IEEE Trans. Software Eng., 2010

Profile Luis von Ahn: ReCaptcha, games with a purpose.
[BibTeX]
[DOI]
Robert J. Simmons
XRDS, 2010

2009
Linear logical approximations.
[BibTeX]
[DOI]
Robert J. Simmons
,
Frank Pfenning
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Substructural Operational Semantics as Ordered Logic Programming.
[BibTeX]
[DOI]
Frank Pfenning
,
Robert J. Simmons
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008
Proofs from tests.
[BibTeX]
[DOI]
Nels E. Beckman
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Robert J. Simmons
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Dynamic Programming Algorithms as Products of Weighted Logic Programs.
[BibTeX]
[DOI]
Shay B. Cohen
,
Robert J. Simmons
,
Noah A. Smith
Proceedings of the Logic Programming, 24th International Conference, 2008

SASyLF: an educational proof assistant for language theory.
[BibTeX]
[DOI]
Jonathan Aldrich
,
Robert J. Simmons
,
Key Shin
Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

Linear Logical Algorithms.
[BibTeX]
[DOI]
Robert J. Simmons
,
Frank Pfenning
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008


  Loading...