Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3568 Entries
2013
-
Short paper: Vehicle shadowing distribution depends on vehicle type: Results of an experimental study , 2013, 5th IEEE Vehicular Networking Conference (VNC 2013)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Sound, Complete, and Minimal Query Rewriting for Existential Rules , 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). p. 3017-3025, 9 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
StreamHub: A Massively Parallel Architecture for High-performance Content-based Publish/Subscribe , 2013, p. 63-74, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
StreamMine3G OneClick - Deploy \& Monitor ESP Applications With A Single Click , 2013, p. 1014-1019, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction , 2013, In: Botanical journal of the Linnean Society. 173, 3, p. 487-500, 14 p.Research output: Contribution to journal > Research article
-
Summer School 2013 – The Dresden Damascus Room , 2013, issue.com. DresdenResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Tableaux for Verification of Data-Centric Processes , 2013, Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer Open, p. 28-43, 16 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
tANGibLE: a Smart Tangible Home Controller , 2013Research output: Contribution to conferences > Paper
-
Task Redundancy Strategy Based on Volunteers' Credibility for Volunteer Thinking Projects. , 2013, First AAAI Conference on Human Computation and Crowdsourcing (Works in Progress / Demos). AAAI Press, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Temporalizing Ontology-Based Data Access , 2013, Proceedings of the 24th International Conference on Automated Deduction (CADE-24). p. 330-344, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Temporal Query Answering in DL-Lite , 2013, Proceedings of the 26th International Workshop on Description Logics (DL 2013)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Temporal Query Answering in the Description Logic DL-Lite , 2013, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013). p. 165-180, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Terminologie und Multilinguales Semantic Web in Symbiose textendash TBX, RDF und OWL , 2013, In: Edition : Fachzeitschrift für Terminologie. 2, p. 9-13, 5 p.Research output: Contribution to journal > Research article
-
Terminology-based patterns for natural language definitions in ontologies , 2013, Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns-Volume 1188. Gangemi, A., Gruninger, M., Hammar, K., Lefort, L., Presutti, V. & Scherp, A. (eds.). CEUR Workshop Proceedings, Vol. 1188. p. 65-69, 5 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts , 2013, Languages for Special Purposes in a Multilingual, Transcultural World, Proceedings of the 19th European Symposium on Languages for Special Purposes, 8-10 July 2013, Vienna, Austria. Budin, G. & Vesna, L. (eds.). University of Vienna, p. 418-428, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Complexity of Lattice-Based Fuzzy Description Logics: From ALC to SHI , 2013, In: Journal on Data Semantics. 2, 1, p. 1-19, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
The SimMed experience: Medical education on interactive tabletops , 2013, ITS 2013 - Proceedings of the 2013 ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 297-300, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The user interfaces of intelligent assistance systems , 2013Research output: Contribution to conferences > Paper
-
Tool-Supported Step-By-Step Debugging for the Object Constraint Language. , 2013, p. 73-82Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Tool Use in Software Modelling Education. , 2013Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Towards a Design Space for Elastic Displays , 2013Research output: Contribution to conferences > Paper
-
Towards an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis , 2013, Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings. Cellier, P., Distel, F. & Ganter, B. (eds.). Springer, p. 60-75, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Interaction with Transparent and Flexible Displays , 2013, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper