Principles of interactive computer graphics (2nd ed.)
Principles of interactive computer graphics (2nd ed.)
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Formal specification of interactive graphics programming languages
Formal specification of interactive graphics programming languages
An input-output model of interactive systems
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal specification of a small example based on GKS
ACM Transactions on Graphics (TOG)
An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Toward a General Spatial Data Model for an Object-Oriented DBMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Descartes: A programming-language approach to interactive display interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
The path-transition paradigm: a practical methodology for adding animation to program interfaces
Journal of Visual Languages and Computing
| Hi-index | 0.00 |