Object-Oriented Transformation. - Kenneth Baclawski; Scott A. DeLoach; Mieczyslaw M. Kokar; Jeffrey E. Smith (Behavioral Specifications of Businesses and Systems, 1999)

Mapping an Application to a Control Architecture: Specification of the Problem. - Mieczyslaw M. Kokar; Kevin M. Passino; Kenneth Baclawski; Jeffrey E. Smith (IWSAS, 2000)

Extending UML to Support Ontology Engineering for the Semantic Web. - Kenneth Baclawski; Mieczyslaw M. Kokar; Paul A. Kogut; Lewis Hart; Jeffrey E. Smith; William S. Holmes III; Jerzy Letkowski; Michael L. Aronson (UML, 2001)

Formal Verification of UML Diagrams: A First Step Towards Code Generation. - Jeffrey E. Smith; Mieczyslaw M. Kokar; Kenneth Baclawski (pUML, 2001)

Consistency Checking of RM-ODP Specifications. - Kenneth Baclawski; Mieczyslaw M. Kokar; Jeffrey E. Smith; Jerzy Letkowski (WOODPECKER, 2001)

UML for ontology development. - Paul A. Kogut; Stephen Cranefield; Lewis Hart; Mark Dutra; Kenneth Baclawski; Mieczyslaw M. Kokar; Jeffrey E. Smith (Knowl. Eng. Rev., 2002)

Extending the Unified Modeling Language for ontology development. - Kenneth Baclawski; Mieczyslaw M. Kokar; Paul A. Kogut; Lewis Hart; Jeffrey E. Smith; Jerzy Letkowski; Pat Emery (Softw. Syst. Model., 2002)

On-die termination resistors with analog impedance control for standard CMOS technology. - Yongping Fan; Jeffrey E. Smith (IEEE J. Solid State Circuits, 2003)

Out-of-band and adjacent-channel interference reduction by analog nonlinear filters. - Alexei V. Nikitin; Ruslan L. Davidchack; Jeffrey E. Smith (EURASIP J. Adv. Signal Process., 2015)