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.

4256 Einträge

2015

On the Decidability Status of Fuzzy ALC with General Concept InclusionsBaader, F., Borgwardt, S. & Peñaloza, R., 2015, in: Journal of Philosophical Logic. 44, 2, S. 117-146, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Optimierung der Anfrageverarbeitung mittels Kompression der ZwischenergebnisseHabich, D., Damme, P. & Lehner, W., 2015, S. 259-278Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Optimierung der Anfrageverarbeitung mittels Kompressionder ZwischenergebnisseHabich, D., Damme, P. & Lehner, W., 2015, Datenbanksysteme für Business, Technologie und Web (BTW 2015). Seidl, T., Ritter, N., Schoning, H., Sattler, K., Harder, T., Friedrich, S. & Wingerath, W. (Hrsg.). Gesellschaft fur Informatik (GI), S. 259-278, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Optimization of Continuous Queries in Federated Database and Stream Processing SystemsJi, Y., Jerzak, Z., Nica, A., Hackenbroich, G. & Fetzer, C., 2015, BTWPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centersRethinagiri, S. K., Palomar, O., Sobe, A., Yalcin, G., Knauth, T., Gil, R. T., Prieto, P. & 6 weitere, 2015, in: Microprocessors and Microsystems. 2014, S. 191-198, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Parallel Symbolic Execution: Merging In-Flight RequestsNowack, M., Tietze, K. & Fetzer, C., 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
Plan operator specialization using reflective compiler techniquesHaensch, C. P., Kissinger, T., Habich, D. & Lehner, W., 2015, Datenbanksysteme fur Business, Technologie und Web, BTW 2015 - Proceedings. Seidl, T., Ritter, N., Schoning, H., Sattler, K., Harder, T., Friedrich, S. & Wingerath, W. (Hrsg.). Gesellschaft fur Informatik (GI), S. 363-382, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Plant Asset Management and Condition Monitoring using FDITheurich, S. & Wollschlaeger, M., 2015Publikation: Beitrag zu Konferenzen > Paper
Plexe: A platooning extension for VeinsSegata, M., Joerer, S., Bloessl, B., Sommer, C., Dressler, F. & Cigno, R., 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
POIESIS: a Tool for Quality-aware ETL Process RedesignTheodorou, V., Abelló, A., Thiele, M. & Lehner, W., 2015, S. 545-548Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Position paper: accessible human-robot interaction (AHRI)Loitsch, C., Schmidt, M. & Weber, G., 2015, PETRA '15: Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 4 S., 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Poster: A simulator for heterogeneous vehicular networksHagenauer, F., Dressler, F. & Sommer, C., 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 receiverBloessl, B., Sommer, C. & Dressler, F., 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 SystemsDubslaff, C., Baier, C. & Klüppelholz, S., 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
Probabilistic Query Answering in the Bayesian Description Logic BELCeylan, I. I. & Peñaloza, R., 2015, Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. Beierle, C. & Dekhtyar, A. (Hrsg.). Springer, S. 21–35, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Proceedings of the 6th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2015, Sankt Augustin, Germany, June 10-12, 2015Velasco, C. A., Weber, G., Barroso, J., Mohamad, Y. & Paredes, H., 2015, ElsevierElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
Quantitative Analysis of Communication ScenariosDubslaff, C. & Baier, C., 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
Query Answering in Bayesian Description LogicsCeylan, I. I., 2015, DL 2015 - Description Logics Workshop: Proceedings of the 28th International Workshop on Description Logics. Calvanese, D. & Konev, B. (Hrsg.). RTWH Aachen, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Query processing on low-energy many-core processorsUngethüm, A., Habich, D., Karnagel, T., Lehner, W., Asmussen, N., Völp, M., Noethen, B. & 1 weitere, 2015, S. 155-160Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Ratio and Weight QuantilesKrähmann, D., Schubert, J., Baier, C. & Dubslaff, C., 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 functionOtto, O., Rosendahl, P., Golfier, S., Mietke, A., Herbig, M., Jacobi, A., Topfner, N. & 6 weitere, 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). S. 1861-1864, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Reasonable Highly Expressive Query LanguagesBourhis, P., Krötzsch, M. & Rudolph, S., 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 ModelsBaier, C., 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 SemanticsBorgwardt, S. & Peñaloza, R., 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-IALCQBorgwardt, S. & Peñaloza, R., 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

Publikationen

2015

Zu dieser Seite

Finden!