Towards a Modal Logic of Durative Actions. - Stuart Kent 001 (Theory and Formal Methods, 1993)

Formally specifying temporal constraints and error recovery. - Stuart Kent 001; T. S. E. Maibaum; William J. Quirk (RE, 1993)

Modelling events from natural language. - Stuart John Harding Kent (1993)

Formal Methods and Object Technology - Stephen J. Goldsack; Stuart J. H. Kent (Formal Methods and Object Technology, 1996)

Semantics Through Pictures. - Stuart Kent 001; Ali Hamie; John Howse; Franco Civello; Richard Mitchell (ECOOP Workshops, 1997)

Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. - Stuart Kent 001 (OOPSLA, 1997)

Integrating VDM++ and Real-Time System Design. - Kevin Lano; Stephen J. Goldsack; Juan Bicarregui; Stuart Kent 001 (ZUM, 1997)

Interpreting the Object Constraint Language. - Ali Hamie; John Howse; Stuart Kent 001 (APSEC, 1998)

Modeling Software Components. - Stuart Kent 001; John Howse; Anthony Lauder (DEXA Workshop, 1998)

Precise Visual Specification of Design Patterns. - Anthony Lauder; Stuart Kent 001 (ECOOP, 1998)

Navigation Expresion in Object-Oriented Modelling. - Ali Hamie; John Howse; Stuart Kent 001 (FASE, 1998)

Three Dimensional Software Modeling. - Joseph Gil; Stuart Kent 001 (ICSE, 1998)

Formalizing UML. Why? How? - Ana Moreira 001; Luís Filipe Andrade; Akash Deshpande; Stuart Kent 001 (OOPSLA Addendum, 1998)

Reflections on the Object Constraint Language. - Ali Hamie; Franco Civello; John Howse; Stuart Kent 001; Richard Mitchell (UML, 1998)

Visualising action contracts in object-oriented modelling. - Stuart Kent 001; Joseph Gil (IEE Proc. Softw., 1998)

A Meta-Model Semantics for Structural Constraints In UML. - Stuart Kent 001; Stephen Gaito; Niall Ross (Behavioral Specifications of Businesses and Systems, 1999)

Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). - Martin Gogolla; Stuart Kent 001; Tom Mens; Mark Richters; Oliver Radfelder (ECOOP Workshops, 1999)

UML Semantics FAQ. - Stuart Kent 001; Andy Evans; Bernhard Rumpe (ECOOP Workshops, 1999)

Is a Precise Semantics Desirable? For What Purpose? - Stuart Kent 001; Bernhard Rumpe; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

What Does the Term Semantics Mean in the Context of UML. - Bernhard Rumpe; Stuart Kent 001; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

EventPorts: preventing legacy componentware. - Anthony Lauder; Stuart Kent 001 (EDOC, 1999)

Validation of Object Oriented Models using Animation. - Ian Oliver; Stuart Kent 001 (EUROMICRO, 1999)

Constraint Diagrams: A Step Beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (TOOLS (30), 1999)

Two-Level Modeling. - Anthony Lauder; Stuart Kent 001 (TOOLS (31), 1999)

Core Meta-Modelling Semantics of UML: The pUML Approach. - Andy Evans; Stuart Kent 001 (UML, 1999)

Mixing Visual and Textual Constraint Languages. - Stuart Kent 001; John Howse (UML, 1999)

Formalizing Spider Diagrams. - Joseph Gil; John Howse; Stuart Kent 001 (VL, 1999)

Reasoning with Spider Diagrams. - John Howse; Fernando Molina; John Taylor 001; Stuart Kent 001 (VL, 1999)

Statecharts for Business Process Modelling. - Anthony Lauder; Stuart Kent 001 (ICEIS, 2000)

Advanced visual modeling (tutorial session): beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (ICSE, 2000)

Advanced Visual Modeling: Beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (TOOLS (33), 2000)

Projections in Venn-Euler Diagrams. - Joseph Gil; John Howse; Stuart Kent 001; John Taylor 001 (VL, 2000)

The Metamodelling Language Calculus: Foundation Semantics for UML. - Tony Clark 001; Andy Evans; Stuart Kent 001 (FASE, 2001)

Towards a Formalization of Constraint Diagrams. - Joseph Gil; John Howse; Stuart Kent 001 (HCC, 2001)

The specification of a reference implementation for the Unified Modeling Language. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Obj. Logiciel Base données Réseaux, 2001)

Spider Diagrams: A Diagrammatic Reasoning System. - John Howse; Fernando Molina; John Taylor 001; Stuart Kent 001; Joseph Gil (J. Vis. Lang. Comput., 2001)

Engineering Modelling Languages: A Precise Meta-Modelling Approach. - Tony Clark 001; Andy Evans; Stuart Kent 001 (FASE, 2002)

Advanced visual modelling: beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (ICSE, 2002)

Model Driven Engineering. - Stuart Kent 001 (IFM, 2002)

A Meta-model Facility for a Family of UML Constraint Languages. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Object Modeling with the OCL, 2002)

Constraint Trees. - Stuart Kent 001; John Howse (Object Modeling with the OCL, 2002)

A Relational Approach to Defining Transformations in a Metamodel. - David H. Akehurst; Stuart Kent 001 (UML, 2002)

A Metamodel for Package Extension with Renaming. - Tony Clark 001; Andy Evans; Stuart Kent 001 (UML, 2002)

A Visual Framework for Modelling with Heterogeneous Notations. - Jean Flower; John Howse; John Taylor 001; Stuart Kent 001 (HCC, 2002)

Model Driven Language Engineering. - Stuart Kent 001 (Software Evolution Through Transformations @ ICGT, 2002)

Visualizing Model Mappings in UML. - Jan Hendrik Hausmann; Stuart Kent 001 (SOFTVIS, 2003)

Aspect-oriented Metamodelling. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Comput. J., 2003)

The Bidirectional Mapping Problem. - Stuart Kent 001; Robert Smith (UNIGRA, 2003)

A relational approach to defining and implementing transformations between metamodels. - David H. Akehurst; Stuart Kent 001; Octavian Patrascoiu (Softw. Syst. Model., 2003)