Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3566 Einträge
2014
-
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. (Hrsg.). Springer, Cham, S. 285-299, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Engineering Gestures for Multimodal User Interfaces , 2014, S. 297-298, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Entwicklung eines Gehirn-Phantoms zur Perfusions- und Brain Shift Simulation. , 2014, 5. Dresdner Medizintechnik-Symposium.. Stuttgart, S. 111-113, 3 S., (Reports on Biomedical Engineering)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
ESTER - Eye-Tracking Science Tool and Experiment Runtime , 2014, HCI} International 2014 - Posters’ Extended Abstracts. S. 379-383, 5 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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. S. 3-13, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Exploring Similarity , 2014, Human Interface and the Management of Information. Information and Knowledge in Applications and Services. Band 8522. S. 160-171, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
FastLane: Software Transactional Memory Optimized for Low Thread Counts , 2014, S. 35-36, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Finding Volunteers' Engagement Profiles in Human Computation for Citizen Science Projects , 2014, in: Human Computation. 1, 2, S. 245-264Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Finite Lattices Do Not Make Reasoning in ALCOI Harder , 2014, Uncertainty Reasoning for the Semantic Web III. S. 122-141, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Flexibles Management einer dezentralen Automatisierungsverbundanlage als Beispiel für Industrie 4.0 - Aspekte der Systemmodellierung und dezentralen Architektur , 2014Publikation: Beitrag zu Konferenzen > Paper
-
FlexiWall: Exploring Layered Data with Elastic Displays , 2014Publikation: Beitrag zu Konferenzen > Paper
-
FlexiWall: Interaction in-between 2D and 3D Interfaces , 2014Publikation: Beitrag zu Konferenzen > Paper
-
Form Follows Function – Investigating Interactive Physical Objects in Virtual Environments , 2014Publikation: Beitrag zu Konferenzen > Paper
-
Fuzzy DLs over Finite Lattices with Nominals , 2014, Proceedings of the 27th International Workshop on Description Logics (DL'14). S. 58-70, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
GeneCloud: Secure Cloud Computing for Biomedical Research , 2014, Trusted Cloud Computing. Krcmar, H., Reussner, R. & Rumpe, B. (Hrsg.). Cham: Springer International Publishing, S. 3-14, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Get Inspired: A Visual Divide and Conquer Approach for Motive-based Search Scenarios , 2014Publikation: Beitrag zu Konferenzen > Paper
-
Global Public Inclusive Infrastructure (GPII) – Personalisierte Benutzerschnittstellen , 2014, in: i-com. 13, 3, S. 29-35, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Gödel Description Logics with General Models , 2014, Proceedings of the 27th International Workshop on Description Logics (DL'14). S. 391-403, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Gödel FL_0 with Greatest Fixed-Point Semantics , 2014, Proceedings of the 27th International Workshop on Description Logics (DL’14). S. 71-82, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
HDEEM: High Definition Energy Efficiency Monitoring , 2014, Proceedings of the 2nd International Workshop on Energy Efficient Supercomputing. S. 1-10, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Holistic Performance Analysis for BDEC Systems– a Big Data Challenge?! , 2014Publikation: Beitrag zu Konferenzen > Paper
-
How to Best Nest Regular Path Queries , 2014, DL 2014: 27th International Workshop on Description Logics. Bienvenu, M., Ortiz, M., Rosati, R. & Simkus, M. (Hrsg.).S. 404-415, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Improving Network Traffic Anomaly Detection for Cloud Computing Services , 2014, S. 107 to 113Publikation: Beitrag zu Konferenzen > Paper
-
Increasing the expressivity of humanoid robots with variable gestural expressions , 2014, HRI 2014 - Proceedings of the 2014 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society, S. 314-315, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Informieren. Inspirieren. Ausprobieren: DURCH VOLKES HAND – EIN FREIES LAND: Die Ereignisse und Parolen der Friedlichen Revolution der Jahre 1989 und 1990 interaktiv erleben , 2014Publikation: Beitrag zu Konferenzen > Paper