A Hybrid Tableau Algorithm for ALCQ. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (Description Logics, 2008)

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (ECAI, 2008)

Algebraic Tableau Algorithm for ALCOQ. - Jocelyne Faddoul; Volker Haarslev; Ralf Möller 001 (Description Logics, 2009)

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. - Jocelyne Faddoul; Volker Haarslev (Description Logics, 2010)

Algebraic tableau reasoning for the description logic SHOQ. - Jocelyne Faddoul; Volker Haarslev (J. Appl. Log., 2010)

Parallelizing Algebraic Reasoning for the Description Logic SHOQ. - Jocelyne Faddoul; Wendy MacCaull (CSWS, 2013)

A Parallel Framework for Handling Non-determinism with Expressive Description Logics. - Jocelyne Faddoul; Wendy MacCaull (IPDPS Workshops, 2014)

Handling Non-determinism with Description Logics using a Fork/Join Approach. - Jocelyne Faddoul; Wendy MacCaull (Int. J. Netw. Comput., 2015)