|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 7 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert J. Simmons |
Dickie George: looking back on 40 years at the NSA.  |
ACM Crossroads  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Simmons |
Ed Boyden: the synthetic neurobiologist. |
ACM Crossroads |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Simmons |
Rob Bernard: Microsoft's green commitment. |
ACM Crossroads |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Simmons |
Cameron Wilson: ACM's man in Washington. |
ACM Crossroads |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Simmons |
Structural focalization |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
Products of weighted logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur |
Proofs from Tests. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Software model checking, abstraction refinement, directed testing |
| 1 | Robert J. Simmons |
Profile Luis von Ahn: ReCaptcha, games with a purpose. |
ACM Crossroads |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
Products of Weighted Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Simmons, Frank Pfenning |
Linear logical approximations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bottom-up linear logic programming, abstract interpretation, operational semantics |
| 1 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
Proofs from tests. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
abstraction refinemen, software model checking, directed testing |
| 1 | Robert J. Simmons, Frank Pfenning |
Linear Logical Algorithms. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
Bottom-up logic programming, forward reasoning, cost semantics, abstract running time, deductive databases, linear logic |
| 1 | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
Dynamic Programming Algorithms as Products of Weighted Logic Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")