Jan Hladik

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Venues

PRO-VE

ETFA

I-KNOW

OWLED

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Markus Graube, Leon Urbas, Jan Hladik
Integrating industrial middleware in Linked Data collaboration networks. ETFA (2016)
Jens Ziegler, Robert Andrei Buchmann, Markus Graube, Jan Hladik, Tobias Münch, Patricia Órtiz, Johannes Pfeffer, Florian Schneider, Mikel Uriarte, Dimitris Karagiannis, Leon Urbas
Implementation and Operation of Collaborative Manufacturing Networks. PRO-VE (2014)
Markus Graube, Jens Ziegler, Leon Urbas, Jan Hladik
Linked data as enabler for mobile applications for complex tasks in industrial settings. ETFA (2013)
Angelika Salmen, Tobias Münch, Steffen Buzin, Jan Hladik, Werner Altmann, Conny Weber, Dimitris Karagiannis, Robert Andrei Buchmann, Jens Ziegler, Johannes Pfeffer, Markus Graube, Manuel Carnerero, Óscar López, Mikel Uriarte, Patricia Órtiz, Óscar Lázaro
ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability. Future Internet Assembly (2013)
Tobias Münch, Robert Andrei Buchmann, Johannes Pfeffer, Patricia Órtiz, Conny Christl, Jan Hladik, Jens Ziegler, Óscar Lázaro, Dimitris Karagiannis, Leon Urbas
An Innovative Virtual Enterprise Approach to Agile Micro and SME-Based Collaboration Networks. PRO-VE (2013)
Conny Christl, Jan Hladik, Markus Graube, Reinhard Willfort, Leon Urbas
Using mobile technology for inter-organisational collaboration and end-customer integration. I-KNOW (2013)
Jan Hladik, Conny Christl, Frank Haferkorn, Markus Graube
Improving Industrial Collaboration with Linked Data, OWL. OWLED (2013)
Franz Baader, Jan Hladik, Rafael Peñaloza
Automata can show PSpace results for description logics. Inf. Comput. 206 (9-10) (2008)
Martin Knechtel, Jan Hladik, Frithjof Dau
Using OWL DL Reasoning to Decide about authorization in RBAC. OWLED (2008)
Franz Baader, Jan Hladik, Rafael Peñaloza
Blocking Automata for PSPACE DLs. Description Logics (2007)
Franz Baader, Jan Hladik, Rafael Peñaloza
SI! Automata Can Show PSPACE Results for Description Logics. LATA (2007)
Jan Hladik, Rafael Peñaloza
PSPACE Automata for Description Logics. Description Logics (2006)
Jan Hladik
A Generator for Description Logic Formulas. Description Logics (2005)
Jan Hladik
A Tableau System for the Description Logic SHIO. IJCAR Doctoral Programme (2004)
Jan Hladik, Jörg Model
Tableau Systems for SHIO and SHIQ. Description Logics (2004)
Jan Hladik
Spinoza's Ontology. WSPI (2004)
Jan Hladik
Reasoning about Nominals with FaCT and RACER. Description Logics (2003)
Jan Hladik, Ulrike Sattler
A Translation of Looping Alternating Automata into Description Logics. CADE (2003)
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics. Fundam. Informaticae 57 (2-4) (2003)
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics. LPAR (2003)
Jan Hladik
Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment. Description Logics (2002)
Jan Hladik
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. TABLEAUX (2002)
Jan Hladik
Implementing the n-ary Description Logic GF1¯. Description Logics (2000)

Jan Hladik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Hladik