@InProceedings{feldman09multiple,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Multiple Minimal Diagnoses},
  booktitle =    {Proceedings of the First Annual Conference of the
                  Prognostics and Health Management Society (PHM'09),
                  San Diego, California, USA},
  year =         {2009},
  month =        {September}
}

@InProceedings{feldman09solving,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Solving Strong-Fault Diagnostic Models by Model
                  Relaxation},
  booktitle =    {Proceedings of the Twenty-First International Joint
                  Conference on Artificial Intelligence (IJCAI'09),
                  Pasadena, California, USA},
  year =         {2009},
  month =        {July}
}

@InProceedings{feldman09fractal,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {{FRACTAL}: Efficient Fault Isolation Using Active
                  Testing},
  booktitle =    {Proceedings of the Twenty-First International Joint
                  Conference on Artificial Intelligence (IJCAI'09),
                  Pasadena, California, USA},
  year =         {2009},
  month =        {July}
}

@InProceedings{feldman08fractal_phm,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {A Framework and Algorithm for Model-Based Active
                  Testing},
  booktitle =    {Proceedings of the First International Conference on
                  Prognostics and Health Management (PHM'08), Denver,
                  Colorado, USA},
  year =         {2008},
  month =        {October},
  note =         {\textbf{Best Student Paper Award}}
}

@InProceedings{feldman08miranda,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Observation Vectors for Max-Fault
                  Min-Cardinality Diagnoses},
  booktitle =    {Proceedings of the Twenty-Third National Conference
                  on Artificial Intelligence (AAAI'08), Chicago,
                  Illinos, USA},
  pages =        {911--918},
  year =         {2008},
  month =        {July}
}

@InProceedings{feldman08safari,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Computing Minimal Diagnoses by Greedy Stochastic
                  Search},
  booktitle =    {Proceedings of the Twenty-Third National Conference
                  on Artificial Intelligence (AAAI'08), Chicago,
                  Illinos, USA},
  pages =        {919--924},
  year =         {2008},
  month =        {July}
}

@InProceedings{feldman07advances,
  author =       {Alexander Feldman and Marco Caporicci and Oscar
                  Gracia and Andr\'e Bos},
  title =        {Advances in Intelligent Health Reasoning and its
                  Application to {IBDM}},
  booktitle =    {Proceedings of the IEEE Aerospace Conference, Big
                  Sky, Montana, USA},
  year =         {2007},
  month =        {March}
}

@InProceedings{feldman06all,
  author =       {Alexander Feldman and Jurryt Pietersma and Arjan van
                  Gemund},
  title =        {All Roads Lead to Fault Diagnosis: Model-Based
                  Reasoning with \textsc{Lydia}},
  booktitle =    {Proceedings of the Eighteenth Belgium-Netherlands
                  Conference on Artificial Intelligence (BNAIC'06),
                  Namur, Belgium},
  year =         {2006},
  month =        {October}
}

@InProceedings{feldman06two,
  author =       {Alexander Feldman and Arjan van Gemund},
  title =        {A Two-Step Hierarchical Algorithm for Model-Based
                  Diagnosis},
  booktitle =    {Proceedings of the Twenty-First National Conference
                  on Artificial Intelligence (AAAI'06), Boston,
                  Massachusetts, USA},
  year =         {2006},
  month =        {July}
}

@InProceedings{pietersma06modeling,
  author =       {Jurryt Pietersma and Alexander Feldman and Arjan van
                  Gemund},
  title =        {Modeling and Compilation Aspects of Fault Diagnosis
                  Complexity},
  booktitle =    {Proceedings of IEEE AUTOTESTCON'06, Anaheim,
                  California, USA},
  year =         {2006},
  month =        {September}
}