2015

• 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
• Rare earth aluminosilicate glasses for laser supported joining of SiC devicesHerrmann, M., Ahmad, S., Lippmann, W., Seifert, H. J. & Hurtado, A., 2015Research output: Contribution to conferences > Paper
• Rare earth aluminosilicate solders for laser based joining of SiCHerrmann, M., Ahmad, S., Lippmann, W., Seifert, H. J. & Hurtado, A., 2015Research 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
• Rationalisierungsfunktion der VerpackungWeiß, U., 2015, Verpackungstechnik: Mittel und Methoden zur Lösung der Verpackungsaufgabe. Hennig, J. (ed.). Beuth VerlagResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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