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
2015
-
Managing Distributed Context Models Requires Adaptivity too , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Mapping Tasks to Interactions for Graph Exploration and Editing , 2015, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Model-driven Multi-Quality Auto-Tuning of Robotic Applications , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Models@run.time for Object-Relational Mapping Supporting Schema Evolution , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Modularisierung leichtgewichtiger Kompressionsalgorithmen. , 2015, S. 54-59Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient Computing , 2015, S. 446-450, 5 S.Publikation: Beitrag zu Konferenzen > Paper
-
Online Parameter Optimization for Elastic Data Stream Processing , 2015, SoCC '15: Proceedings of the Sixth ACM Symposium on Cloud Computing. Association for Computing Machinery (ACM), New York, S. 276-287, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the Decidability Status of Fuzzy ALC with General Concept Inclusions , 2015, in: Journal of Philosophical Logic. 44, 2, S. 117-146, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Optimization of Continuous Queries in Federated Database and Stream Processing Systems , 2015, BTWPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers , 2015, in: Microprocessors and Microsystems. 2014, S. 191-198, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Parallel Symbolic Execution: Merging In-Flight Requests , 2015, Hardware and Software: Verification and Testing. Piterman, N. (Hrsg.). Springer International Publishing, Band 9434. S. 120-135, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Plexe: A platooning extension for Veins , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014). S. 53-60, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: A simulator for heterogeneous vehicular networks , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014), Poster SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Power matters: Automatic Gain Control for a Software Defined Radio IEEE 802.11a/g/p receiver , 2015, 34th IEEE Conference on Computer Communications (INFOCOM 2015), Demo SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking for Feature-oriented Systems , 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (Hrsg.). Springer, Berlin [u. a.], S. 180-220, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Quantitative Analysis of Communication Scenarios , 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (Hrsg.). Springer, Cham, S. 76-92, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ratio and Weight Quantiles , 2015, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (Hrsg.). Springer, Berlin [u. a.], S. 344-356, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Real-time deformability cytometry as a label-free indicator of cell function , 2015, Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference. Band 2015. S. 1861-4, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reasonable Highly Expressive Query Languages , 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (Hrsg.). AAAI Press, S. 2826-2832, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reasoning About Cost-Utility Constraints in Probabilistic Models , 2015, Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Bojanczyk, M., Lasota, S. & Potapov, I. (Hrsg.). Springer, Cham, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics , 2015, Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15). S. 49-65, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reasoning in Infinitely Valued G-IALCQ , 2015, Proceedings of the 3rd Workshop on Weighted Logics for AI (WL4AI'15). S. 2-8, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks , 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran & Stefan (Hrsg.). Springer International Publishing AG, Band 9060. S. 249-264, 16 S., (Lecture Notes in Computer Science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Reifying RDF: What Works Well With Wikidata? , 2015, Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems. Liebig, T. & Fokoue, A. (Hrsg.).S. 32-47, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband