Type Consistency Checking for Concurrent Independent Processes. - Aurel Cornell (AMAST, 1991)

Real-Time Program Synthesis from Specifications. - Aurel Cornell; John Knaack; A. Nangia; Teodor Rus (AMAST, 1993)

A fuzzy error correction control system. - Kim M. Moulton; Aurel Cornell; Emil M. Petriu (IEEE Trans. Instrum. Meas., 2001)

A Language Independent Tool for Documentation Extraction. - David J. Serr; Aurel Cornell (CATA, 2002)

Instrumentation applications of multibit random-data representation. - Emil M. Petriu; Lichen Zhao; Sunil R. Das; Voicu Z. Groza; Aurel Cornell (IEEE Trans. Instrum. Meas., 2003)

Behavior-based neuro-fuzzy controller for mobile robot navigation. - Petru Rusu; Emil M. Petriu; Thomas E. Whalen; Aurel Cornell; Hans J. W. Spoelder (IEEE Trans. Instrum. Meas., 2003)