Sotabase

Career

· Researcher, Software Systems Laboratory, Columbia University2026–

Publications (11)

Constraint satisfaction and debugging for interactive user interfaces
1994
404
cited
Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm
Software, Practice & Experience · 1993
171
cited
Skyblue: a multi-way local propagation constraint solver for user interface construction
ACM Symposium on User Interface Software and Technology · 1994
110
cited
The skyblue constraint solver
1992
63
cited
The SkyBlue Constraint Solver and Its Applications
Principles and Practice of Constraint Programming · 1993
50
cited
Multi-Garnet: Integrating Multi-Way Constraints with Garnet
1992
34
cited
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints
Principles and Practice of Constraint Programming · 1994
15
cited
General-purpose software tool for serial segmentation of stacked images
Image Processing · 2000
3
cited
Analyzing Interactive Graphics Systems
1989
ARIZONA OVERVIEW AND NOTES FOR RELEASE 1.0
2007
The Workshop on Principles and Practice of Constraint Programming (2nd) Held in Orcas Island, Washington on 2-4 May 1994
1994
Sotabase
Michael Sannella | Researcher Profile | Sotabase | Sotabase