Tertia Hörne

According to our database, Tertia Hörne authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Managing Globally Distributed Software Development Projects using Virtual Teams: A Middle East Case Study.

Nelson Denhere, Tertia Hörne, John Andrew van der Poll

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

2010

Representing Chemicals Using OWL, Description Graphs and Rules.

Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

2008

Planning as model checking: the performance of ProB vs NuSMV.

Tertia Hörne, John A. van der Poll

Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2008

KT and S4 Satisfiability in a Constraint Logic Environment.

Lynn Stevenson, Katarina Britz, Tertia Hörne

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008