A prototype electronic encyclopedia
ACM Transactions on Information Systems (TOIS)
Language constructs for programming by example
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
Animated graphical interfaces using temporal constraints
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Logical composition of object-oriented interfaces
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
An incremental constraint solver
Communications of the ACM
Computational complexity versus virtual worlds
I3D '90 Proceedings of the 1990 symposium on Interactive 3D graphics
Quick: a user-interface design kit for non-programmers
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
Unidraw: a framework for building domain-specific graphical editors
ACM Transactions on Information Systems (TOIS)
Using degrees of freedom analysis to solve geometric constraint systems
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inferring constraints from multiple snapshots
ACM Transactions on Graphics (TOG)
Optimizing toolkit-generated graphical interfaces
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametric design and its impact on solid modeling applications
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Proceedings of the 9th annual ACM symposium on User interface software and technology
Interactive constraint system for solid modeling objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Document Formatting Systems: Survey, Concepts, and Issues
ACM Computing Surveys (CSUR)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
A High-Level Language for Specifying Pictures
ACM Transactions on Graphics (TOG)
Dynamic Links for Mobile Connected Context-Sensitive Systems
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The Filter Browser Defining Interfaces Graphically
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltalk-80 Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Scwm: An Extensible Constraint-Enabled Window Manager
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Increasing the flexibility of modelling tools via constraint-based specification
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
CA '95 Proceedings of the Computer Animation
Formes: An object and time oriented system for music composition and synthesis
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A graphics typesetting language
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Constraints: A uniform model for data and control
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
Support for input adaptability in the ICON toolkit
Proceedings of the 6th international conference on Multimodal interfaces
The MaggLite post-WIMP toolkit: draw it, connect it and run it
Proceedings of the 17th annual ACM symposium on User interface software and technology
Knowledge-based expert systems: a brief bibliography
ACM SIGART Bulletin
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2006 Courses
Visual representations of executing programs
Journal of Visual Languages and Computing
Advances in Mathematical Sketching: Moving Toward the Paradigm's Full Potential
IEEE Computer Graphics and Applications
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2007 courses
An initial evaluation of a pen-based tool for creating dynamic mathematical illustrations
ACM SIGGRAPH 2007 courses
Graphically defining new building blocks in ThingLab
Human-Computer Interaction
Animation using temporal constraints: an overview of the animus system
Human-Computer Interaction
Service-Interaction Descriptions: Augmenting Services with User Interface Models
Engineering Interactive Systems
An object-oriented language for constructing simulations
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
An information presentation system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Qualitative structural analysis using diagrammatic reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Solving geometric constraint systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
An initial evaluation of a pen-based tool for creating dynamic mathematical illustrations
SBM'06 Proceedings of the Third Eurographics conference on Sketch-Based Interfaces and Modeling
| Hi-index | 0.02 |