Jan Hladik

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