| |
| 2002 | ||
|---|---|---|
| 3 | David J. Serr, Aurel Cornell: A Language Independent Tool for Documentation Extraction. Computers and Their Applications 2002: 253-256 | |
| 1993 | ||
| 2 | Aurel Cornell, John Knaack, A. Nangia, Teodor Rus: Real-Time Program Synthesis from Specifications. AMAST 1993: 237-244 | |
| 1991 | ||
| 1 | Aurel Cornell: Type Consistency Checking for Concurrent Independent Processes. AMAST 1991: 132-141 | |
| 1 | John Knaack | [2] |
| 2 | A. Nangia | [2] |
| 3 | Teodor Rus | [2] |
| 4 | David J. Serr | [3] |