The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming”

A hybrid approach to software reuse

SSR '95 Proceedings of the 1995 Symposium on Software reusability

Discovering auxiliary information for incremental computation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Efficiency by Incrementalization: An Introduction

Higher-Order and Symbolic Computation

Revisiting decomposition analysis of geometric constraint graphs

Proceedings of the seventh ACM symposium on Solid modeling and applications

Solving Regular Path Queries

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction

Polarity-based stochastic local search algorithms for non-clausal satisfiability

Beyond two

Axiomatic computational model

ACM SIGPLAN Notices

Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis

IEEE Transactions on Knowledge and Data Engineering

Cooperating sensory agents for detecting temporal consistency among events

PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks

Describing Knowledge Architectures

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII

Understanding knowledge architectures

Knowledge-Based Systems

Problems and prospects for quantum computational speed-up

ICCS'03 Proceedings of the 2003 international conference on Computational science