@InProceedings{kurtoglu09first,
  author =       {Tolga Kurtoglu and Sriram Narasimhan and Scott Poll
                  and David Garcia and Lukas Kuhn and Johan de Kleer
                  and Arjan van Gemund and Alexander Feldman},
  title =        {First International Diagnosis Competition -
                  {DXC'09}},
  booktitle =    {Proceedings of the Twentieth International Workshop
                  on Principles of Diagnosis (DX'09), Stockholm,
                  Sweden},
  year =         {2009},
  pages =        {383--396},
  month =        {June}
}

@InProceedings{kurtoglu09towards,
  author =       {Tolga Kurtoglu and Sriram Narasimhan and Scott Poll
                  and David Garcia and Lukas Kuhn and Johan de Kleer
                  and Arjan van Gemund and Alexander Feldman},
  title =        {Towards a Framework for Evaluating and Comparing
                  Diagnosis Algorithms},
  booktitle =    {Proceedings of the Twentieth International Workshop
                  on Principles of Diagnosis (DX'09), Stockholm,
                  Sweden},
  year =         {2009},
  pages =        {373--382},
  month =        {June}
}

@InProceedings{feldman09lydia,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {The {Lydia} Approach to Combinational Model-Based
                  Diagnosis},
  booktitle =    {Proceedings of the Twentieth International Workshop
                  on Principles of Diagnosis (DX'09), Stockholm,
                  Sweden},
  year =         {2009},
  pages =        {403--408},
  month =        {June}
}

@InProceedings{feldman09gre_dx,
  author =       {Alexander Feldman and Gregory Provan and Johan de
                  Kleer and Lukas Kuhn and Arjan van Gemund},
  title =        {Automated Redesign with the {General Redesign
                  Engine}},
  booktitle =    {Proceedings of the Twentieth International Workshop
                  on Principles of Diagnosis (DX'09), Stockholm,
                  Sweden},
  year =         {2009},
  pages =        {307--314},
  month =        {June}
}

@InProceedings{feldman09gre_sara,
  author =       {Alexander Feldman and Gregory Provan and Johan de
                  Kleer and Lukas Kuhn and Arjan van Gemund},
  title =        {Automated Redesign with the {General Redesign
                  Engine}},
  booktitle =    {Proceedings of the Eighth Symposium on Abstraction,
                  Reformulation, and Approximation (SARA'09), Lake
                  Arrowhead, California, US},
  year =         {2009},
  month =        {July}
}

@InProceedings{feldman08fractal_dx,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {A Framework and Algorithm for Model-Based Active
                  Testing},
  booktitle =    {Proceedings of the Nineteenth International Workshop
                  on Principles of Diagnosis (DX'08), Blue Mountains,
                  Australia},
  pages =        {71--78},
  year =         {2008},
  month =        {September}
}

@InProceedings{feldman07safari_sara,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Approximate Model-Based Diagnosis Using Greedy
                  Stochastic Search},
  booktitle =    {Proceedings of the Seventh Symposium on Abstraction,
                  Reformulation, and Approximation (SARA'07),
                  Whistler, Canada},
  pages =        {139--154},
  year =         {2007},
  month =        {July}
}

@InProceedings{feldman07safari_dx,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Approximate Model-Based Diagnosis Using Greedy
                  Stochastic Search},
  booktitle =    {Proceedings of the Eighteenth International Workshop
                  on Principles of Diagnosis (DX'07), Nashville,
                  Tennessee, USA},
  pages =        {290--297},
  year =         {2007},
  month =        {May}
}

@InProceedings{feldman07miranda,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Generating Manifestations of Max-Fault
                  Min-Cardinality Diagnoses},
  booktitle =    {Proceedings of the Eighteenth International Workshop
                  on Principles of Diagnosis (DX'07), Nashville,
                  Tennessee, USA},
  pages =        {83--90},
  year =         {2007},
  month =        {May}
}

@InProceedings{feldman07interchange,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Interchange Formats and Automated Benchmark Model
                  Generators for Model-Based Diagnostic Inference},
  booktitle =    {Proceedings of the Eighteenth International Workshop
                  on Principles of Diagnosis (DX'07), Nashville,
                  Tennessee, USA},
  pages =        {91--98},
  year =         {2007},
  month =        {May}
}

@InProceedings{feldman06multi,
  author =       {Alexander Feldman and Jurryt Pietersma and Arjan van
                  Gemund},
  title =        {A Multi-Valued {SAT}-Based Algorithm for Faster
                  Model-Based Diagnosis},
  booktitle =    {Proceedings of the Seventeenth International
                  Workshop on Principles of Diagnosis (DX'06),
                  Pe\~{n}aranda de Duero, Burgos, Spain},
  year =         {2006},
  month =        {June}
}

@InProceedings{feldman05hybrid,
  author =       {Alexander Feldman and Arjan van Gemund and Andr\'e
                  Bos},
  title =        {A Hybrid Approach to Hierarchical Fault Diagnosis},
  booktitle =    {Proceedings of the Sixteenth International Workshop
                  on Principles of Diagnosis (DX'05), Monterey,
                  California, USA},
  pages =        {101--106},
  year =         {2005},
  month =        {June}
}