Aurel Cornell
According to our database1,
Aurel Cornell
authored at least 6 papers
between 1991 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
IEEE Trans. Instrum. Meas., 2003
IEEE Trans. Instrum. Meas., 2003
2002
A Language Independent Tool for Documentation Extraction.
Proceedings of the ISCA 17th International Conference Computers and Their Applications, 2002
2001
1993
Real-Time Program Synthesis from Specifications.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1991
Type Consistency Checking for Concurrent Independent Processes.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991