Ali Hamie

Ali Hamie: A Formal Semantics for Checking and Analysing UML Models, OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998, (BibTeX entry).
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse: Component Composition in Business and System Modeling, OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, 1997, (BibTeX entry).
Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell: Semantics through Pictures: Towards a Diagrammatic Semantics for OO Modeling Notations, ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, 1997, (BibTeX entry).
Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell: Reflections on the Object Constraint Language, UML'98: Beyond the Notation - International Workshop (Preliminary Proceedings), 1998, (BibTeX entry).
Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell: Reflections on the Object Constraint Language, UML'98: Beyond the Notation - International Workshop (Final Proceedings), 1998, (BibTeX entry).
Ali Hamie, John Howse, Stuart Kent: Interpreting the Object Constraint Language, IEEE Computer Society, 1998, (BibTeX entry).
Ali Hamie, John Howse, Stuart Kent: Navigation Expressions in Object-Oriented Modelling, Springer, 1998, (BibTeX entry).
Ali Hamie: Enhancing the Object Constraint Language for More Expressive Specifications, IEEE Computer Society, 1999, (BibTeX entry).

dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)