Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
A compilation method for ML-style polymorphic record calculi
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Static typing for dynamic messages
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints in computational logics
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The CADE-14 ATP System Competition
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Complexity of Linear Standard Theories
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Complete Selection Function for Lazy Conditional Narrowing
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Integration of Equality Reasoning into the Disconnection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
E-generalization using grammars
Artificial Intelligence
A static type system for JVM access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
General E-unification with Eager Variable Elimination and a Nice Cycle Rule
Journal of Automated Reasoning
Connection Tableaux with Lazy Paramodulation
Journal of Automated Reasoning
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations
High Performance Computing for Computational Science - VECPAR 2008
Advanced service trading for scientific computing over the grid
The Journal of Supercomputing
E-generalization using grammars
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
Intelligent service trading and brokering for distributed network services in GridSolve
VECPAR'10 Proceedings of the 9th international conference on High performance computing for computational science
Enforcing architectural contracts in high-level synthesis
Proceedings of the 48th Design Automation Conference
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Connection tableaux with lazy paramodulation
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Lazy narrowing with simplification
Computer Languages
Substitutivity Principles in Some Theories of Uncertainty
Fundamenta Informaticae
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |