UMCS Technical Reports 1994

UMCS-94-12-3

Variable Delay Timing Analysis of Logic Circuits.
B. Bani-Eqbal.

UMCS-94-12-2

The ELLA Verification Environment: A Tutorial Introduction .
Howard Barringer, Graham Gough, Brian Monahan and Alan Williams.

UMCS-94-12-1

A Process Algebra Foundation for Reasoning about Core ELLA.
Howard Barringer, Graham Gough, Brian Monahan and Alan Williams.

UMCS-94-11-1

Autonomous acquisition of sensor-motor couplings in robots.
U. Nehmzow.

UMCS-94-9-2

Constraint Logic Planning.
Y. Zhang and H. Barringer.

UMCS-94-9-1

Action Constraint Maintenance.
Y. Zhang and H. Barringer.

UMCS-94-8-1

Domain Constraint Maintenance.
Y. Zhang, H. Barringer and D. Carlisle.

UMCS-94-7-1

A Reified Temporal Logic for Nonlinear Planning.
Y. Zhang and H. Barringer.

UMCS-94-6-1

MathPIP: A Mathematica Interface for PIP.
Zbigniew Chamski.

UMCS-94-5-1

The Uflow Computational Model and Intermediate Format.
J. Sargeant, C. Kirkham and S. Anderson.

UMCS-94-4-3

A Comparative Study of Data-Flow Architectures.
David F. Snelling and Gregory K. Egan.

UMCS-94-4-2

Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications.
Salvador Mir. PhD thesis.

UMCS-94-4-1

The Global-yet-Personal Information System.
J. R. Gurd and C. B. Jones.

UMCS-94-2-2

Accelerated Ray Tracing on the KSR1.
M. J. Keates and R. J. Hubbold.

UMCS-94-2-1

A Memory Model for Case Retrieval by Activation Passing.
Michael Brown. PhD thesis.