Jan Hladik

According to our database, Jan Hladik authored at least 23 papers between 2000 and 2016.

Collaborative distances:

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

2016

Integrating industrial middleware in Linked Data collaboration networks.

Markus Graube, Leon Urbas, Jan Hladik

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2014

Implementation and Operation of Collaborative Manufacturing Networks.

Jens Ziegler, Robert Andrei Buchmann, Markus Graube, Jan Hladik, Tobias Münch, Patricia Órtiz, Johannes Pfeffer, Florian Schneider, Mikel Uriarte, Dimitris Karagiannis, Leon Urbas

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

2013

Improving Industrial Collaboration with Linked Data, OWL.

Jan Hladik, Conny Christl, Frank Haferkorn, Markus Graube

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Using mobile technology for inter-organisational collaboration and end-customer integration.

Conny Christl, Jan Hladik, Markus Graube, Reinhard Willfort, Leon Urbas

Proceedings of the 13th International Conference on Knowledge Management and Knowledge Technologies, 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, Óscar Lázaro, Dimitris Karagiannis, Leon Urbas

Proceedings of the Collaborative Systems for Reindustrialization, 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, Johannes Pfeffer, Markus Graube, Manuel Carnerero, Óscar López, Mikel Uriarte, Patricia Órtiz, Óscar Lázaro

Proceedings of the Future Internet, 2013

Linked data as enabler for mobile applications for complex tasks in industrial settings.

Markus Graube, Jens Ziegler, Leon Urbas, Jan Hladik

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2008

Automata can show PSpace results for description logics.

Franz Baader, Jan Hladik, Rafael Peñaloza

Inf. Comput., 2008

Using OWL DL Reasoning to Decide about authorization in RBAC.

Martin Knechtel, Jan Hladik, Frithjof Dau

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

2007

To and fro between tableaus and automata for description logics.

Jan Hladik

PhD thesis, 2007

SI! Automata Can Show PSPACE Results for Description Logics.

Franz Baader, Jan Hladik, Rafael Peñaloza

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Blocking Automata for PSPACE DLs.

Franz Baader, Jan Hladik, Rafael Peñaloza

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

PSPACE Automata for Description Logics.

Jan Hladik, Rafael Peñaloza

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

A Generator for Description Logic Formulas.

Jan Hladik

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Spinoza's Ontology.

Jan Hladik

Proceedings of the WSPI '04 - First International Workshop on Philosophy and Informatics, Proceedings of the First International Workshop on Philosophy and Informatics, Cologne (Germany), March 31, 2004

Tableau Systems for SHIO and SHIQ.

Jan Hladik, Jörg Model

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

A Tableau System for the Description Logic SHIO.

Jan Hladik

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2003

From Tableaux to Automata for Description Logics.

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter

Fundam. Informaticae, 2003

Reasoning about Nominals with FaCT and RACER.

Jan Hladik

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

A Translation of Looping Alternating Automata into Description Logics.

Jan Hladik, Ulrike Sattler

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.

Jan Hladik

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment.

Jan Hladik

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2000

Implementing the n-ary Description Logic GF1¯.

Jan Hladik

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000