Publications

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, p. 117-146, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Optimierung der Anfrageverarbeitung mittels Kompression der ZwischenergebnisseHabich, D., Damme, P. & Lehner, W., 2015, p. 259-278Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Gesellschaft fur Informatik (GI), p. 259-278, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimization of Continuous Queries in Federated Database and Stream Processing SystemsJi, Y., Jerzak, Z., Nica, A., Hackenbroich, G. & Fetzer, C., 2015, BTWResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 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 RequestsNowack, M., Tietze, K. & Fetzer, C., 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
• 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. (eds.). Gesellschaft fur Informatik (GI), p. 363-382, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Plant Asset Management and Condition Monitoring using FDITheurich, S. & Wollschlaeger, M., 2015Research output: Contribution to conferences > 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). p. 53-60, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• POIESIS: a Tool for Quality-aware ETL Process RedesignTheodorou, V., Abelló, A., Thiele, M. & Lehner, W., 2015, p. 545-548Electronic (full-text) versionResearch output: Contribution to conferences > 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 p., 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: A simulator for heterogeneous vehicular networksHagenauer, F., Dressler, F. & Sommer, C., 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 receiverBloessl, B., Sommer, C. & Dressler, F., 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 SystemsDubslaff, C., Baier, C. & Klüppelholz, S., 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
• Probabilistic Query Answering in the Bayesian Description Logic BELCeylan, I. I. & Peñ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. (eds.). Springer, p. 21–35, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, ElsevierElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• 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. (eds.). Springer, Cham, p. 76-92, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). RTWH Aachen, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Query processing on low-energy many-core processorsUngethüm, A., Habich, D., Karnagel, T., Lehner, W., Asmussen, N., Völp, M., Noethen, B. & 1 others, 2015, p. 155-160Electronic (full-text) versionResearch output: Contribution to conferences > 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. (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 functionOtto, O., Rosendahl, P., Golfier, S., Mietke, A., Herbig, M., Jacobi, A., Topfner, N. & 6 others, 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). p. 1861-1864, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (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 ModelsBaier, C., 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 SemanticsBorgwardt, S. & Peñaloza, R., 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-IALCQBorgwardt, S. & Peñaloza, R., 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