Trajectory Constraints in Qualitative Simulation. - Giorgio Brajnik; Daniel J. Clancy 001 (AAAI/IAAI, Vol. 2, 1996)

Guiding and refining simulation using temporal logic. - Giorgio Brajnik; Daniel J. Clancy 001 (TIME, 1996)

Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm. - Daniel J. Clancy 001; Benjamin Kuipers (AAAI/IAAI, 1997)

Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. - Daniel J. Clancy 001; Benjamin Kuipers (AAAI/IAAI, 1997)

Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem. - Daniel J. Clancy 001; Benjamin Kuipers (AAAI/IAAI, 1998)

Qualitative, model-based diagnosis of complex physical devices. - Daniel J. Clancy 001 (SMC, 1998)

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations. - Giorgio Brajnik; Daniel J. Clancy 001 (Ann. Math. Artif. Intell., 1998)

Hybrid Systems Diagnosis. - Sheila A. McIlraith; Gautam Biswas; Dan Clancy; Vineet Gupta 001 (HSCC, 2000)

Time in Qualitative Simulation. - Dan Clancy; Benjamin Kuipers (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)