Searching for authors named "Jeffrey Van Baalen" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Experience Report on Automated Procedure Construction for Deductive Synthesis
- … Van Baalen Department of Computer Science University of Wyoming Laramie, WY 82071 jvb…
- Add To MetaCart
-
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
- … Van Baalen Steven Roach M.S. 269-2 NASA Ames Research Center Moffet Field, CA {jvb, sroach} @ptolemy…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
- …1 Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems Jeffrey Van…
- Cited by 2 (2 self) – Add To MetaCart
-
The Role of Reversible Grammars in Translating Between Representation Languages
- …The Role of Reversible Grammars in Translating Between Representation Languages Jeffrey Van Baalen…
- Cited by 3 (1 self) – Add To MetaCart
-
Explaining Synthesized Software
- …Explaining Synthesized Software Jeffrey Van Baalen, Peter Robinson * , Michael Lowry, Thomas…
- Cited by 13 (5 self) – Add To MetaCart
-
To The Graduate School:
- … on July 26, 2002. APPROVED: James L. Caldwell, Chairman John R. Cowles Sylvia Hobart Jeffrey Van Baalen…
- Add To MetaCart
-
Transformation Systems at NASA Ames
- … Pressburger Steve Roach Peter Robinson Jeffrey Van Baalen Univ of Calif. Berkeley NASA Ames/RIACS NASA Ames…
- Cited by 3 (0 self) – Add To MetaCart
-
DISTRIBUTED EVOLUTION FOR SWARM ROBOTICS
- …. Bailey Jr. Richard C. Anderson-Sprecher David R. Thayer Jeffrey Van Baalen, Head, Department of Computer…
- Add To MetaCart
Showing 1 through 8.
