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.
3179 Entries
2014
-
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, Amsterdam [u. a.], 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
-
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
-
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 & privacy : building dependability, reliability, and trustElectronic (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
-
Exploring Similarity , 2014, Human Interface and the Management of Information. Information and Knowledge in Applications and Services. Vol. 8522. p. 160-171, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
FastLane: Software Transactional Memory Optimized for Low Thread Counts , 2014, p. 35-36, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Finding Volunteers' Engagement Profiles in Human Computation for Citizen Science Projects , 2014, In: Human Computation. 1, 2, p. 245-264Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Finite Lattices Do Not Make Reasoning in ALCOI Harder , 2014, Uncertainty Reasoning for the Semantic Web III. p. 122-141, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
FlexiWall: Exploring Layered Data with Elastic Displays , 2014Research output: Contribution to conferences > Paper
-
FlexiWall: Interaction in-between 2D and 3D Interfaces , 2014Research output: Contribution to conferences > Paper
-
Form Follows Function – Investigating Interactive Physical Objects in Virtual Environments , 2014Research output: Contribution to conferences > Paper