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.
3178 Entries
2015
-
Managing Distributed Context Models Requires Adaptivity too , 2015Research output: Contribution to conferences > Paper
-
Mapping Tasks to Interactions for Graph Exploration and Editing , 2015, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
Model-driven Multi-Quality Auto-Tuning of Robotic Applications , 2015Research output: Contribution to conferences > Paper
-
Models@run.time for Object-Relational Mapping Supporting Schema Evolution , 2015Research output: Contribution to conferences > Paper
-
Modularisierung leichtgewichtiger Kompressionsalgorithmen. , 2015, p. 54-59Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient Computing , 2015, p. 446-450, 5 p.Research output: Contribution to conferences > Paper
-
Neue Interaktionsformen im Auge-Hand-Feld , 2015Research output: Contribution to conferences > 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, p. 276-287, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Decidability Status of Fuzzy ALC with General Concept Inclusions , 2015, In: Journal of Philosophical Logic. 44, 2, p. 117-146, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Optimization of Continuous Queries in Federated Database and Stream Processing Systems , 2015, BTWResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers , 2015, In: Microprocessors and Microsystems. 2014, p. 191-198, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Parallel Symbolic Execution: Merging In-Flight Requests , 2015, Hardware and Software: Verification and Testing. Piterman, N. (ed.). Springer International Publishing, Vol. 9434. p. 120-135, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Plexe: A platooning extension for Veins , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014). p. 53-60, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Poster: A simulator for heterogeneous vehicular networks , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014), Poster SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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 SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Probabilistic Model Checking for Feature-oriented Systems , 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (eds.). Springer, Berlin [u. a.], p. 180-220, 41 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
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. (eds.). Springer, Cham, p. 76-92, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.). Springer, Berlin [u. a.], p. 344-356, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. Vol. 2015. p. 1861-4, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reasonable Highly Expressive Query Languages , 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2826-2832, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.). Springer, Cham, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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). p. 49-65, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reasoning in Infinitely Valued G-IALCQ , 2015, Proceedings of the 3rd Workshop on Weighted Logics for AI (WL4AI'15). p. 2-8, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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 (eds.). Springer International Publishing AG, Vol. 9060. p. 249-264, 16 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
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. (eds.).p. 32-47, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution