Robert S. Kirk

According to our database, Robert S. Kirk authored at least 6 papers between 1985 and 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1988

Advances in Functional Abstraction from Structure.

Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

Functional Abstraction from Structure in VLSI Simulation Models.

Richard H. Lathrop, Robert J. Hall, Robert S. Kirk

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.

Robert J. Hall, Richard H. Lathrop, Robert S. Kirk

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Precedent-based manipulation of VLSI structures.

Richard H. Lathrop, Robert S. Kirk

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

A System Which Uses Examples to Learn VLSI Structure Manipulations.

Richard H. Lathrop, Robert S. Kirk

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

An extensible object-oriented mixed-mod functional simulation system.

Richard H. Lathrop, Robert S. Kirk

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985