Systematic software development using VDM
Systematic software development using VDM
Formal specification of a small example based on GKS
ACM Transactions on Graphics (TOG)
Construction of interactive programs in computer graphics
Computer Graphics Forum
Algebraic specification
Introduction to Solid Modeling
Introduction to Solid Modeling
The Z notation: a reference manual
The Z notation: a reference manual
Image representations using Miranda laws
Computer Graphics Forum
Subdivisions of n-dimensional spaces and n-dimensional generalized maps
SCG '89 Proceedings of the fifth annual symposium on Computational geometry
Incremental computation of planar maps
SIGGRAPH '89 Proceedings of the 16th annual conference on Computer graphics and interactive techniques
A rationale for conditional equational programming
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Formal specification of topological subdivisions using hypermaps
Computer-Aided Design
Topological models for boundary representation: a comparison with n-dimensional generalized maps
Computer-Aided Design - Beyond solid modelling
Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Architectural Issues in Solid Modelers
IEEE Computer Graphics and Applications
Recognizing Shape Features in Solid Models
IEEE Computer Graphics and Applications
Hierarchical Contextual Rewriting with Several Levels
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Interacting with parametrized geometric objects using lambda-terms
Proceedings of the seventh ACM symposium on Solid modeling and applications
Parametrizing geometric objects using λ-calculus
SCCG '02 Proceedings of the 18th spring conference on Computer graphics
| Hi-index | 0.00 |