- Tailor (Helping users to examine and modify procedural knowledge using short sentences)
- Wings (Workflow INstance Generation and Selection)
- Pegasus (Planning and Execution for Grids)
- Cognitive Grids (Intelligent Middleware for Distributed Problem Solving)
- Learner (Acquiring world knowledge from volunteer contributors)
- Windward (Automatic Generation of Workflows for Large-Scale Distributed Data Analysis)
- Beamer (Assisting Users with To-Do Lists)
- TellMe (Learning Procedures from Scaffolded Tutorial Instruction)
- MathTrust (Mathematical Analysis of Trust and Deception in Information Sources)
- Metalearning (Meta-reasoning to Coordinate Multiple Learning Methods)
- Privateer (Protecting Data through a Privacy-Aware Workflow System)
