Implementing the n-ary Description Logic GF1¯. - Jan Hladik (Description Logics, 2000)

Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment. - Jan Hladik (Description Logics, 2002)

Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. - Jan Hladik (TABLEAUX, 2002)

A Translation of Looping Alternating Automata into Description Logics. - Jan Hladik; Ulrike Sattler (CADE, 2003)

Reasoning about Nominals with FaCT and RACER. - Jan Hladik (Description Logics, 2003)

From Tableaux to Automata for Description Logics. - Franz Baader; Jan Hladik; Carsten Lutz; Frank Wolter (Fundam. Informaticae, 2003)

A Tableau System for the Description Logic SHIO. - Jan Hladik (IJCAR Doctoral Programme, 2004)

Tableau Systems for SHIO and SHIQ. - Jan Hladik; Jörg Model (Description Logics, 2004)

Spinoza's Ontology. - Jan Hladik (WSPI, 2004)

A Generator for Description Logic Formulas. - Jan Hladik (Description Logics, 2005)

PSPACE Automata for Description Logics. - Jan Hladik; Rafael Peñaloza (Description Logics, 2006)

Blocking Automata for PSPACE DLs. - Franz Baader; Jan Hladik; Rafael Peñaloza (Description Logics, 2007)

SI! Automata Can Show PSPACE Results for Description Logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (LATA, 2007)

To and fro between tableaus and automata for description logics. - Jan Hladik (2007)

Using OWL DL Reasoning to Decide about authorization in RBAC. - Martin Knechtel; Jan Hladik; Frithjof Dau (OWLED, 2008)

Automata can show PSpace results for description logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (Inf. Comput., 2008)

Linked data as enabler for mobile applications for complex tasks in industrial settings. - Markus Graube; Jens Ziegler 002; Leon Urbas; Jan Hladik (ETFA, 2013)

ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability. - Angelika Salmen; Tobias Münch; Steffen Buzin; Jan Hladik; Werner Altmann; Conny Weber; Dimitris Karagiannis; Robert Andrei Buchmann; Jens Ziegler 002; Johannes Pfeffer; Markus Graube; Manuel Carnerero; et al. (Future Internet Assembly, 2013)

An Innovative Virtual Enterprise Approach to Agile Micro and SME-Based Collaboration Networks. - Tobias Münch; Robert Andrei Buchmann; Johannes Pfeffer; Patricia Órtiz; Conny Christl; Jan Hladik; Jens Ziegler 002; Óscar Lázaro; Dimitris Karagiannis; Leon Urbas (PRO-VE, 2013)

Using mobile technology for inter-organisational collaboration and end-customer integration. - Conny Christl; Jan Hladik; Markus Graube; Reinhard Willfort; Leon Urbas (I-KNOW, 2013)

Improving Industrial Collaboration with Linked Data, OWL. - Jan Hladik; Conny Christl; Frank Haferkorn; Markus Graube (OWLED, 2013)

Implementation and Operation of Collaborative Manufacturing Networks. - Jens Ziegler 002; Robert Andrei Buchmann; Markus Graube; Jan Hladik; Tobias Münch; Patricia Órtiz; Johannes Pfeffer; Florian Schneider 007; Mikel Uriarte; Dimitris Karagiannis; Leon Urbas (PRO-VE, 2014)

Integrating industrial middleware in Linked Data collaboration networks. - Markus Graube; Leon Urbas; Jan Hladik (ETFA, 2016)