In any conference or journal on that is listed in the ACM Portal. Click here for the full list. You can also sort papers by downloads (6 weeks/12 months).
- A relational model of data for large shared data banks (Communications of the ACM 1970, 980 citations)
- Time, clocks, and the ordering of events in a distributed system (Communications of the ACM 1978, 916 citations)
- Graph-based algorithms for Boolean function manipulation (IEEE Transactions on Computers 1986, 911 citations)



{ 0 comments… add one now }