META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
Verification and Validation of AI Systems that Control Deep-Space Spacecraft
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Hi-index | 4.10 |