| |
| 1993 | ||
|---|---|---|
| 2 | Aurel Cornell, John Knaack, A. Nangia, Teodor Rus: Real-Time Program Synthesis from Specifications. AMAST 1993: 237-244 | |
| 1991 | ||
| 1 | John Knaack, Teodor Rus: TwoLev: A Two Level Scanner. AMAST 1991: 264-276 | |
| 1 | Aurel Cornell | [2] |
| 2 | A. Nangia | [2] |
| 3 | Teodor Rus | [1] [2] |