Robert J. Simmons

2009
4	EE	Robert J. Simmons, Frank Pfenning: Linear logical approximations. PEPM 2009: 9-20
2008
3	EE	Robert J. Simmons, Frank Pfenning: Linear Logical Algorithms. ICALP (2) 2008: 336-347
2	EE	Shay B. Cohen, Robert J. Simmons, Noah A. Smith: Dynamic Programming Algorithms as Products of Weighted Logic Programs. ICLP 2008: 114-129
1	EE	Nels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons: Proofs from tests. ISSTA 2008: 3-14

Coauthor Index

1	Nels Beckman	[1]
2	Shay B. Cohen	[2]
3	Aditya V. Nori	[1]
4	Frank Pfenning	[3] [4]
5	Sriram K. Rajamani	[1]
6	Noah A. Smith	[2]

Colors in the list of coauthors