AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Formal Methods: Promises and Problems
IEEE Software
Generating Data Analysis Programs from Statistical Models
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Web Agents Cooperating Deductively
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Software Construction and Analysis Tools for Future Space Missions
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated Program Synthesis for Java Programming Language
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Applications of Structural Synthesis of Programs
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Learning Search Control Knowledge for Equational Theorem Proving
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Modeling and Programming Devices and Web Agents
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A distributed program synthesizer
Acta Cybernetica
Handbook of automated reasoning
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Amphion/NAV: Deductive Synthesis of State Estimation Software
Proceedings of the 16th IEEE international conference on Automated software engineering
An interactive environment for scientific model construction
Proceedings of the 2nd international conference on Knowledge capture
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Context-sensitive domain-independent algorithm composition and selection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Proceedings of the 5th international conference on Generative programming and component engineering
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Stratified Composition of Web Services
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Advanced service trading for scientific computing over the grid
The Journal of Supercomputing
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Mathematical Service Trading Based on Equational Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic-based service trading: application to linear algebra
VECPAR'06 Proceedings of the 7th international conference on High performance computing for computational science
A taxonomy of theorem-proving strategies
Artificial intelligence today
Oracle-guided component-based program synthesis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Deducing answers to english questions from structured data
Proceedings of the 16th international conference on Intelligent user interfaces
Synthesis of loop-free programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Embedded Systems Design
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Certifiable program generation
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
| Hi-index | 0.00 |