Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (CADE, 2011)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2011)

Decidability of Unification in EL without Top Constructor. - Thanh Binh Nguyen 003 (RR, 2011)

Computing Local Unifiers in the Description Logic EL without the Top Concept. - Franz Baader; Nguyen Thanh Binh 003; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2011)

Sound Security Protocol Transformations. - Thanh Binh Nguyen 003; Christoph Sprenger 001 (POST, 2013)

Abstractions for Security Protocol Verification. - Thanh Binh Nguyen 003; Christoph Sprenger 001 (POST, 2015)

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Notre Dame J. Formal Log., 2016)

Abstractions for security protocol verification. - Thanh Binh Nguyen 003; Christoph Sprenger 001; Cas Cremers (J. Comput. Secur., 2018)