Robert Kirk

InterChemNet: Integrating Instrumentation, Management, and Assessment in the General Chemistry Laboratory Course

Barbara Stewart, Robert Kirk, David LaBrecque, 2006 .

Decision, Control, and Integration

Robert Kirk, 2005 .

A Study of Concepts

Robert Kirk, R. Kirk, 1994 .

Physicalism and strict implication

Robert Kirk, R. Kirk, 2006, Synthese.

SIDS - A Symbolic Interactive Design System

Steve Sapiro, Robert Kirk, Dave Clary, 1980, 17th Design Automation Conference.

A Timing Verification System Based on Extracted MOS/VLSI Circuit Parameters

Wolfram Glauert, Robert Kirk, Pauline Ng, 1981, 18th Design Automation Conference.

How physicalists can avoid reductionism

Robert Kirk, 2004, Synthese.