Tarski's influence on computer science
Ten Incredibly Dangerous Software Ideas
The Business of Selling Electronic Documents
The equations of the ideal latches
The equations of the ideal latches
The intersection and the union of the asynchronous systems
The non-anticipation of the asynchronous systems
The Persistent Buffer Tree : An I/O-efficient Index for Temporal Data
The pre-history of quantum computation
The Revolution Yet to Happen
Towards an explanatory and computational theory of scientific discovery