papers
Publications (3)
cs.SE2012
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport +3
cs.SI2012
Experimental study of the impact of historical information in human coordination
Manuel Cebrian, Ramamohan Paturi, Daniel Ricketts
cs.CY2009
Maximizing profit using recommender systems
Aparna Das, Claire Mathieu, Daniel Ricketts