Joseph P. Near

	2009
2		Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson: Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352
	2008
1		Joseph P. Near, William E. Byrd, Daniel P. Friedman: alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP 2008: 238-252

Coauthor Index

1	Zev Benjamin	[2]
2	William E. Byrd	[1]
3	Daniel P. Friedman	[1]
4	Daniel Jackson	[2]
5	Aleksandar Milicevic	[2]
6	Derek Rayside	[2]
7	Rishabh Singh	[2]

Colors in the list of coauthors