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.
3766 Entries
2014
-
Consistency Reasoning in Lattice-Based Fuzzy Description Logics , 2014, In: International Journal of Approximate Reasoning. 9, p. 1917-1938, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
ContextPoint: An Architecture for Extrinsic Meta-Adaptation in Intelligent Environments , 2014, p. 121-128, 8 p.Research output: Contribution to conferences > Paper
-
Controlling Light Environments Using Segmented Light Sources and Mobile Devices , 2014, Design, User Experience, and Usability. User Experience Design for Diverse Interaction Platforms and Environments. p. 533-540, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
CubeQuery: Tangible Interface for Creating and Manipulating Database Queries , 2014, p. 423-426, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Decidable Gödel description logics without the finitely-valued model property , 2014, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). p. 228-237, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Decomposing Abstract Dialectical Frameworks , 2014, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014). Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). IOS Press, Vol. 266. p. 281-292, 12 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Description Logics , 2014, In: IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society. 29, 1, p. 12-19Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Dienstbasierte Prüfung von CAEX-Exporten mit standardisierten Bibliotheken , 2014Research output: Contribution to conferences > Paper
-
Die Werkstatt - Ein Bildband zum Projekt: Employability for IT , 2014Research output: Book/Report/Anthology > Monograph
-
DoLen: User-side multi-cloud application monitoring , 2014, Future Internet of Things and CloudElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Domänenübergreifende vertikale Integration mit OPC UA , 2014Research output: Contribution to conferences > Paper
-
DreamServer: Truly On-Demand Cloud Services , 2014, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Driving for big data? Privacy concerns in vehicular networking , 2014, In: IEEE Security & PrivacyElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
DropsBox: the Dresden Open Software Toolbox - Domain-specific modelling tools beyond metamodels and transformations. , 2014, In: Software and systems modeling. 13, 1, p. 133-169Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Dynamic fine-grained scheduling for energy-efficient main-memory queries , 2014, Proceedings of the Tenth International Workshop on Data Management on New Hardware - DaMoN textquotesingle14. ACM Press, p. 197-205, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Easy authoring of variable gestural expressions for a humanoid robot , 2014, HRI 2014 - Proceedings of the 2014 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society, p. 328, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Elastic Scaling of a High-Throughput Content-Based Publish/Subscribe Engine , 2014, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Energy-Efficient Data Processing at Sweet Spot Frequencies , 2014Research output: Contribution to conferences > Paper
-
Energy-Efficient Storage and Processing in Edge Clouds , 2014, 2 p.Research output: Contribution to conferences > Paper
-
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking , 2014, Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings. Ciardo, G. & Kindler, E. (eds.). Springer, Cham, p. 20-39, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Energy-Utility Quantiles , 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer, Cham, p. 285-299, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Engineering Gestures for Multimodal User Interfaces , 2014, p. 297-298, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Entwicklung eines Gehirn-Phantoms zur Perfusions- und Brain Shift Simulation. , 2014, 5. Dresdner Medizintechnik-Symposium.. Stuttgart, p. 111-113, 3 p., (Reports on Biomedical Engineering)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
ESTER - Eye-Tracking Science Tool and Experiment Runtime , 2014, HCI} International 2014 - Posters’ Extended Abstracts. p. 379-383, 5 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Experience Report: The Effectiveness of Paper Prototyping for Interactive Visualizations , 2014, Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience. p. 3-13, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report