UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
A software development environment for law-governed systems
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
A module mechanism for constraints in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Creating user interfaces using programming by example, visual programming, and constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Kaleidoscope: mixing objects, constraints, and imperative programming
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)
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
State Constraints and Pathwise Decomposition of Programs
IEEE Transactions on Software Engineering
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Incremental reduction with nested constraints
ACM SIGPLAN Notices
Propagators and concurrent constraints
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A logical approach to data structures
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
VB2: an architecture for interaction in synthetic worlds
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Ada abstraction, generation, verification
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Database querying and constraint programming
ACM SIGACT News
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implementation of abstract data types with arrays of unbounded dimensions
Communications of the ACM - Electronic supplement to the December issue
GENOCOP: a genetic algorithm for numerical optimization problems with linear constraints
Communications of the ACM - Electronic supplement to the December issue
International Journal of Parallel Programming
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint-based user interfaces for simulations
WSC '88 Proceedings of the 20th conference on Winter simulation
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Visualization and Computer Graphics
Main Memory Orientated Optimization of OO Queries Using Typed Datalog with Foreign Predicates
IEEE Transactions on Knowledge and Data Engineering
An Object-Oriented Database System Jasmine: Implementation, Application, and Extension
IEEE Transactions on Knowledge and Data Engineering
Logos: A Constraint-Directed Reasoning Shell for Operations Management
IEEE Expert: Intelligent Systems and Their Applications
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
An architecture for workflow scheduling under resource allocation constraints
Information Systems
TclSolver: an algebraic constraint manager for Tcl
TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4
HotWire: a visual debugger for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
The role of semantics in games and simulations
Computers in Entertainment (CIE) - SPECIAL ISSUE: Media Arts (Part II)
VARIAC: an Autogenous Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Constraint reasoning based on interval arithmetic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Weak equivalence for constraint sets
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A correct rule-based geometric constraint solver
Computers and Graphics
Parametric engineering design using constraint-based reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Lexical imprecision in fuzzy constraint networks
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Programming with partially specified aggregates in Java
Computer Languages, Systems and Structures
| Hi-index | 0.00 |