Redefining the Candidate Space in Model-Based Diagnosis. - Gerhard Friedrich; Franz Lackinger; Wolfgang Nejdl (ECAI, 1990)

Qualitative Methoden zur Simulation dynamischer Prozesse. - Franz Lackinger (ASIM, 1990)

Diagnosing Temporal Misbehavior. - Gerhard Friedrich; Franz Lackinger (IJCAI, 1991)

Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems. - Franz Lackinger; Wolfgang Nejdl (IJCAI, 1991)

The Role of Teleology in Qualitative Simulation. - Franz Lackinger (EUROSIM, 1992)

Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. - Franz Lackinger; Wolfgang Nejdl (IEEE Expert, 1993)