Robert J. Simmons

	2009
5		Frank Pfenning, Robert J. Simmons: Substructural Operational Semantics as Ordered Logic Programming. LICS 2009: 101-110
4		Robert J. Simmons, Frank Pfenning: Linear logical approximations. PEPM 2009: 9-20
	2008
3		Robert J. Simmons, Frank Pfenning: Linear Logical Algorithms. ICALP (2) 2008: 336-347
2		Shay B. Cohen, Robert J. Simmons, Noah A. Smith: Dynamic Programming Algorithms as Products of Weighted Logic Programs. ICLP 2008: 114-129
1		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]
5	Sriram K. Rajamani	[1]
6	Noah A. Smith	[2]

Colors in the list of coauthors