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.
3545 Einträge
2014
-
Predicting Energy Consumption with StreamMine3G , 2014, S. 270-275, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Probabilistic Model Checking and Non-standard Multi-objective Reasoning , 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (Hrsg.). Springer, Berlin [u. a.], S. 1-16, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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
-
Rapid fault-space exploration by evolutionary pruning , 2014, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Proceedings. Springer-Verlag, S. 17-32, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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
-
Similarity-based Relaxed Instance Queries in EL++ , 2014, PRUV 2014 Logics for Reasoning about Preferences, Uncertainty, and Vagueness: Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. Lukasiewicz, T., Peñaloza, R. & Turhan, A. (Hrsg.). CEUR-WS.org, S. 101-113, 13 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