Tertia Hörne

	2010
3		Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz: Representing Chemicals Using OWL, Description Graphs and Rules. OWLED 2010
	2008
2		Lynn Stevenson, Katarina Britz, Tertia Hörne: KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI 2008: 370-381
1		Tertia Hörne, John A. van der Poll: Planning as model checking: the performance of ProB vs NuSMV. SAICSIT Conf. 2008: 114-123

Coauthor Index

1	Katarina Britz (Arina Britz)	[2] [3]
2	Michel Dumontier	[3]
3	Janna Hastings	[3]
4	Matthew Horridge	[3]
5	Duncan Hull	[3]
6	John A. van der Poll	[1]
7	Ulrike Sattler	[3]
8	Christoph Steinbeck	[3]
9	Robert Stevens (Robert D. Stevens)	[3]
10	Lynn Stevenson	[2]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page