Publikationen

2015

• 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. & 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. (Hrsg.). Springer, S. 21–35, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• 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
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksDvořák, W., Gaggl, S. A., Linsbichler, T. & Wallner, J. P., 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?Hernández, D., Hogan, A. & Krötzsch, M., 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
• Resiliency-aware Data Compression for In-memory Database SystemsKolditz, T., Habich, D., Damme, P., Lehner, W., Kuvaiskii, D., Oleksenko, O. & Fetzer, C., 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications. S. 326-331, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Safe Exception Handling with Transactional MemoryFelber, P., Fetzer, C., Gramoli, V., Harmanci, D. & Nowack, M., 2015, Transactional Memory. Foundations, Algorithms, Tools, and Applications. Guerraoui, R. & Romano, P. (Hrsg.). Springer International Publishing, Band 8913. S. 245-267, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Schema-Agnostic Query Rewriting for OWL QLBischof, S., Krötzsch, M., Polleres, A. & Rudolph, S., 2015, Proceedings of the 28th International Workshop on Description Logics. Calvanese, D. & Konev, B. (Hrsg.).4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Similarity-based Relaxed Instance QueriesEcke, A., Peñaloza, R. & Turhan, A., 2015, in: Journal of Applied Logic. 13, 4, Part 1, S. 480-508, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Simulation tools and techniques for vehicular communications and applicationsSommer, C., Härri, J., Hrizi, F., Schünemann, B. & Dressler, F., 2015, Vehicular Ad Hoc Networks Standards, Solutions, and ResearchElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Simulative performance evaluation of vehicular networksEckhoff, D. & Sommer, C., 2015, Vehicular Communications and Networks: Architectures, Protocols, Operation and DeploymentElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Software Engineering & Management 2015Demuth, B., Aßmann, U., Spitta, T., Marx, R. & Püschel, G., 2015, in: GI-Edition : lecture notes in informatics. Proceedings. P-239Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Studienabbruchsquote dauerhaft senken - ein Versuch mittels MentoringLeonhardt, T., Kwiecien, A., Schmetz, A., Bellgardt, M. & Naumann, U., 2015Publikation: Beitrag zu Konferenzen > Paper
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive RolesBaader, F., Borgwardt, S. & Lippmann, M., 2015, Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15). S. 21-33, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporalizing Rewritable Query Languages over Knowledge BasesBorgwardt, S., Lippmann, M. & Thost, V., 2015, in: Journal of Web Semantics. 33, S. 50-70, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Temporal Query Answering in DL-Lite with NegationBorgwardt, S. & Thost, V., 2015, GCAI 2015. Global Conference on Artificial Intelligence. Band 36. S. 51-65, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporal Query Answering in ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 28th International Workshop on Description Logics (DL’15). S. 83-87Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporal Query Answering in the Description Logic ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). S. 2819-2825, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband