39 citations · 74 across the 4 of their papers we have counts for
4 papers
The TLA+ Toolbox
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineer…
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport +3
TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them wi…
Experimental study of the impact of historical information in human coordination
Manuel Cebrian, Ramamohan Paturi, Daniel Ricketts
We perform laboratory experiments to elucidate the role of historical information in games involving human coordination. Our approach follows prior work studying human network coor…
Maximizing profit using recommender systems
Aparna Das, Claire Mathieu, Daniel Ricketts
Traditional recommendation systems make recommendations based solely on the customer's past purchases, product ratings and demographic data without considering the profitability th…