Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A session with Tinker: Interleaving program testing with program design
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
APL '79 Proceedings of the international conference on APL: part 1
Reasoning Modeled As A Society Of Communicating Experts
Reasoning Modeled As A Society Of Communicating Experts
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Thinglab--a constraint-oriented simulation laboratory.
Thinglab--a constraint-oriented simulation laboratory.
Feedback vertex sets and cyclically reducible graphs
Journal of the ACM (JACM)
A prototype electronic encyclopedia
ACM Transactions on Information Systems (TOIS)
A generator of direct manipulation office systems
ACM Transactions on Information Systems (TOIS)
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Visual programming, programming by example, and program visualization: a taxonomy
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Defining constraints graphically
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An object-oriented approach to graphical interfaces
ACM Transactions on Graphics (TOG)
Dialogue management for gestural interfaces
ACM SIGGRAPH Computer Graphics
Bibliography of software tools for user interface development
ACM SIGGRAPH Computer Graphics
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Experiences with the alternate reality kit: an example of the tension between literalism and magic
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Out of Flatland: towards 3-D visual programming
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
An industry/academic partnership experiment: a course in artificial intelligence
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Design principles behind Chiron: a UIMS for software environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
A user interface toolkit based on graphical objects and constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A smalltalk window system based on constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A overview of modular smalltalk
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Controlling propagation of operations using attributes on relations
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph attribution as a specification paradigm
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A spreadsheet interface for logic programming
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An annotated bibliography on user interface design
ACM SIGCHI Bulletin
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Voyeur: graphical views of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A module mechanism for constraints in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An incremental constraint solver
Communications of the ACM
Creating user interfaces using programming by example, visual programming, and constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Framework for the Automated Drawing of Data Structure Diagrams
IEEE Transactions on Software Engineering
Spreadsheet-based interactive graphics: from prototype to tool
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A framework for visualizing object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Interactive specification of flexible user interface displays
ACM Transactions on Information Systems (TOIS)
Reconciling environment integration and component independence
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
Interaction with constraints in 3D modeling
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Developing a GUIDE using object-oriented programming
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Separating application code from toolkits: eliminating the spaghetti of call-backs
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
SCIL-VP: a multi-purpose visual programming environment
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Prototype-based languages: from a new taxonomy to constructive proposals and their validation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
Program visualization: the art of mapping programs to pictures
ICSE '92 Proceedings of the 14th international conference on Software engineering
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Relaxed parametric design with probabilistic constraints
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Converting an existing user interface to use constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
A user interface for the electronic encyclopedia exploratorium
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Database querying and constraint programming
ACM SIGACT News
Prototype-based languages (panel): object lessons from class-free programming
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
TBAG: a high level framework for interactive, animated 3D graphics applications
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
Object associations: a simple and practical approach to virtual 3D manipulation
I3D '95 Proceedings of the 1995 symposium on Interactive 3D graphics
ACM Transactions on Computer-Human Interaction (TOCHI)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Directness and liveness in the morphic user interface construction environment
Proceedings of the 8th annual ACM symposium on User interface and software technology
Supporting distributed, concurrent, one-way constraints in user interface applications
Proceedings of the 8th annual ACM symposium on User interface and software technology
Parametric design and its impact on solid modeling applications
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Solving geometric constraints by homotopy
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Strategic issues for human-computer interaction
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Strategic directions in human-computer interaction
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Tailorable information visualization
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Nanites: an approach to structure-based monitoring
ACM Transactions on Computer-Human Interaction (TOCHI)
Interactive beautification: a technique for rapid geometric design
Proceedings of the 10th annual ACM symposium on User interface software and technology
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
A constraint-based manipulator toolset for editing 3D objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MidiSpace: a temporal constraint-based music spatializer
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Less is more: the power of simplicity
Proceedings of the fourth symposium on Virtual reality modeling language
Constraint-based user interfaces for simulations
WSC '88 Proceedings of the 20th conference on Winter simulation
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
CACTIS: a database system for specifying functionally-defined data
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
PROTEUS: objectifying the DBMS user interface
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Constraints in constructive solid geometry
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Classes versus prototypes in object-oriented languages
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
Past, present, and future of user interface software tools
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
Document Formatting Systems: Survey, Concepts, and Issues
ACM Computing Surveys (CSUR)
Constrained objects for modeling complex structures (extended abstract) (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Constrained objects for modeling complex structures (extended abstract)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
A constraint extension to scalable vector graphics
Proceedings of the 10th international conference on World Wide Web
Modelling constrained geometric objects with OBJSA nets
Concurrent object-oriented programming and petri nets
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
A modular geometric constraint solver for user interface applications
Proceedings of the 14th annual ACM symposium on User interface software and technology
Using model dataflow graphs to reduce the storage requirements of constraints
ACM Transactions on Computer-Human Interaction (TOCHI)
Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational logic programming: an extension to equational programming
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A type declaration and inference system for smalltalk
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Constraint Programming: Strategic Directions
Constraints
Constraints
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Solving Geometric Constraints By Homotopy
IEEE Transactions on Visualization and Computer Graphics
Toward Visual Programming Languages for Steering Scientific Computations
IEEE Computational Science & Engineering
A Construction Set for Multimedia Applications
IEEE Software
Validation of an Automated System Model Generator
IEEE Transactions on Knowledge and Data Engineering
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
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
Name Collision in Multiple Classification Hierarchies
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Graph Layout for Displaying Data Structures
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Constraint-based document layout for the Web
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
Change Detection for Aggregate Objects with Aliasing
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Constraining-unification and the programming language unicorn
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
PegaSys: A system for graphical explanation of program designs
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Representation of factual information by equations and their evaluation
ICSE '82 Proceedings of the 6th international conference on Software engineering
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
A user interface for architectural design, a case study
DAC '82 Proceedings of the 19th Design Automation Conference
Automating Delegation in Class-Based Languages
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
A concepts-first introduction to computer science
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Graphical input interaction technique (GIIT)
ACM SIGGRAPH Computer Graphics
Proceedings of the 2nd international conference on Computer graphics and interactive techniques in Australasia and South East Asia
Constraint languages for computer aided design
ACM SIGDA Newsletter
CoJava: a unified language for simulation and optimization
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Intelligent drawing correction using place vocabulary constraints
Proceedings of the 11th international conference on Intelligent user interfaces
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interactive beautification: a technique for rapid geometric design
ACM SIGGRAPH 2006 Courses
Conservation principles and action schemes in the synthesis of geometric concepts
Artificial Intelligence
TclSolver: an algebraic constraint manager for Tcl
TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4
Interactive beautification: a technique for rapid geometric design
ACM SIGGRAPH 2007 courses
IBM Journal of Research and Development - Business optimization
Agent warp engine: formula based shape warping for networked applications
AVI '08 Proceedings of the working conference on Advanced visual interfaces
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Graphically defining new building blocks in ThingLab
Human-Computer Interaction
Animation using temporal constraints: an overview of the animus system
Human-Computer Interaction
The cognitive consequences of object-oriented design
Human-Computer Interaction
Inferring graphical procedures: the compleat metarnouse
Human-Computer Interaction
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Knoesphere: building expert systems with encyclopedic knowledge
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Constraint based automatic construction and manipulation of geometric figures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Directed constraint networks: a relational framework for causal modeling
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Flapjax: a programming language for Ajax applications
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A correct rule-based geometric constraint solver
Computers and Graphics
Taxonomies of visual programming and program visualization
Journal of Visual Languages and Computing
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Model-driven visualizations of constraint-based local search
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A constraint-based graph visualisation architecture for mobile semantic web interfaces
SAMT'07 Proceedings of the semantic and digital media technologies 2nd international conference on Semantic Multimedia
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Supporting agile modeling through experimentation in an integrated urban simulation framework
Proceedings of the 11th Annual International Digital Government Research Conference on Public Administration Online: Challenges and Opportunities
On complementary principles of object-oriented constraint programming
Programming and Computing Software
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
A particle-spring approach to geometric constraints solving
Proceedings of the 2011 ACM Symposium on Applied Computing
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Multi-level interaction in parametric design
SG'05 Proceedings of the 5th international conference on Smart Graphics
A robot decision making framework using constraint programming
Artificial Intelligence Review
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
A constraint solver for flexible protein models
Journal of Artificial Intelligence Research
Hi-index | 0.02 |