KT and S4 Satisfiability in a Constraint Logic Environment. - Lynn Stevenson; Katarina Britz; Tertia Hörne (PRICAI, 2008)

Planning as model checking: the performance of ProB vs NuSMV. - Tertia Hörne; John A. van der Poll (SAICSIT, 2008)

Representing Chemicals Using OWL, Description Graphs and Rules. - Janna Hastings; Michel Dumontier; Duncan Hull; Matthew Horridge; Christoph Steinbeck; Robert Stevens 001; Ulrike Sattler; Tertia Hörne; Katarina Britz (OWLED, 2010)

Managing Globally Distributed Software Development Projects using Virtual Teams: A Middle East Case Study. - Nelson Denhere; Tertia Hörne; John Andrew van der Poll (SAICSIT, 2015)