Martin P. Ward
: Reverse Engineering from Assembler to Formal Specifications via Program Transformations.
: Analysis of Polymorphically Typed Logic Programs Using ACI-Unification.
: Applying Slicing Technique to Software Architectures.
: Using Dependence Analysis to Support Software Architecture Understanding.
: On Assessing the Complexity of Software Architectures.
: Component Programming and Interoperability in Constraint Solver Design.
: Joint and conditional estimation of tagging and parsing models.
: Errata and supplements to: Orthonormal RBF Wavelet and Ridgelet-like Series and Transforms for High-Dimensional Problems.
: Probabilistic top-down parsing and language modeling.
: Robust Probabilistic Predictive Syntactic Processing.
: Multi-Channel Parallel Adaptation Theory for Rule Discovery.
: State Analysis and Aggregation Study for Multicast-based Micro Mobility.
: Historical Dynamics of Lexical System as Random Walk Process.