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.
3178 Einträge
2014
-
Probabilistic Model Checking for Energy Analysis in Software Product Lines , 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, S. 169-180, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking for Energy-Utility Analysis , 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (Hrsg.). Springer, Cham, S. 96-123, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014. , 2014, (CoRR)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness: PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014 , 2014Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas , 2014, Proceedings of the 5th International Conference on Computational Models of Argument. IOS Press, Amsterdam [u. a.], S. 241-252, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
(Re-) Evaluating User Interface Aspects in ERP Systems - An Empirical User Study , 2014, S. 396-405, 10 S.Publikation: Beitrag zu Konferenzen > Paper
-
Report on the Aachen OCL Meeting , 2014, Proceedings of the MODELS 2013 OCL Workshop: co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013). S. 103-111, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Revisiting Graspable User Interfaces , 2014, Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience. Band 8517. S. 130-141, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited , 2014, in: Journal of Applied Logic. 12, 4, S. 584-613, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Saccade Detection and Processing for Enhancing 3D Visualizations in Real-Time , 2014, HCI International 2014-Posters’ Extended Abstracts. S. 317-322, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Salespoint: A Java framework for teaching object-oriented software development , 2014, in: Science of computer programming : methods of software design: techniques and applications. 79, S. 189-203, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Scalable and Elastic Realtime Click Stream Analysis Using StreamMine3G (Industry Article) , 2014, S. 198-205, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Schema-Agnostic Query Rewriting in SPARQL 1.1 , 2014, The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I. Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K. & Goble, C. (Hrsg.). Springer, Cham, S. 584-600, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Selective Runtime Monitoring: Non-intrusive Elimination of High-frequency Functions , 2014, 2014 International Conference on High Performance Computing & Simulation (HPCS). Smari, W. (Hrsg.). Wiley-IEEE Press, S. 295-302, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SleeD: Using a Sleeve Display to Interact with Touch-Sensitive Display Walls , 2014, Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 129-138, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Sloth: SDN-enabled Activity-based Virtual Machine Deployment (Poster) , 2014, S. 205-206, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Studienvorbereitung per Mausklick: Ein Erfahrungsbericht aus Sachsen , 2014, S. 229-240, 12 S.Publikation: Beitrag zu Konferenzen > Paper
-
Synthesis of Reo Connectors for Strategies and Controllers , 2014, in: Fundamenta Informaticae. 130, 1, S. 1-20, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
T4 - Transparent and Translucent Tangibles on Tabletops , 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 81–88Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
TagStar: A Glyph-based Interface for Indexing and Visual Analysis , 2014, S. 357-358, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Technische Visualistik - Beiträge zur Überwindung der Desktop-Metapher , 2014, InformatikSpektrum. Band 37 Issue 5. S. 454-458, 5 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Temporal OBDA with LTL and DL-Lite. , 2014, Proceedings of the 27th International Workshop on Description Logics (DL 2014). S. 21-32, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Testing Self-adaptive Software - Requirement Analysis and Solution Scheme - International Journal On Advances in Software , 2014, in: International Journal On Advances in Software. 2014, volume 7, numbers 1 and 2, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel