Publications

2016

• M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous ManycoresAsmussen, N., Völp, M., Nöthen, B., Härtig, H. & Fettweis, G., 2016, Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. p. 189-203Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Markov Chains and Unambiguous Büchi AutomataBaier, C., Kiefer, S., Klein, J., Klüppelholz, S., Müller, D. & Worrell, J., 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Berlin [u. a.], p. 23-42, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Marrying safety with privacy: A holistic solution for location privacy in VANETsEckhoff, D. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model-Driven Integration of Compression Algorithms in Column-Store Database SystemsHildebrandt, J., Habich, D. & Lehner, W., 2016, Proceedings of the Conference "Lernen, Wissen, Daten, Analysen": Potsdam, Germany, September 12-14, 2016. Krestel, R., Mottin, D. & Müller, E. (eds.).p. 30-41, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling of Fully Printed Organic Field Fffect Transistors for Circuit Design and SimulationKaveh, O., Kheradmand-Boroujeni, B., Kasemann, D., Leo, K. & Ellinger, F., 2016, 2016 13th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling OWL with Rules: The ROWL Protege PluginSarker, K., Carral, D., Krisnadhi, A. & Hitzler, P., 2016, ISWC 2016 Posters & Demonstrations TrackElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling Role-Based Systems with Exogenous CoordinationChrszon, P., Dubslaff, C., Baier, C., Klein, J. & Klüppelholz, S., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.).p. 122-139, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Model Kit for Lightweight Data Compression AlgorithmsHildebrandt, J., Habich, D., Damme, P. & Lehner, W., 2016Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• On the Complexity of Universality for Partially Ordered NFAsKrötzsch, M., Masopust, T. & Thomazo, M., 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) . p. 61:1-61:14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the impact of antenna patterns on VANET simulationEckhoff, D., Brummer, A. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the way towards Videocampus Sachsen - A feasibility study,Auf dem Weg zum Videocampus Sachsen – eine MachbarkeitsuntersuchungBergert, A., Schellbach, U. & Lehmann, A., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontologies for Knowledge Graphs: Breaking the RulesKrötzsch, M. & Thost, V., 2016, The Semantic Web – ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F. & Gil, Y. (eds.). Springer, Cham, p. 376–392Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Open-World Probabilistic DatabasesCeylan, I. I., Darwiche, A. & Van den Broeck, G., 2016, Proceedings of 15. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016). Baral, C., Delgrande, J. P. & Wolter, F. (eds.). AAAI Press, p. 339-348, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Penalized graph partitioning for static and dynamic load balancingKiefer, T., Habich, D. & Lehner, W., 2016, Euro-Par 2016: Parallel Processing. Dutot, P. & Trystram, D. (eds.). Springer, Berlin [u. a.], p. 146-158, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Performance comparison of IEEE 802.11p and ARIB STD-T109Heinovski, J., Klingler, F., Dressler, F. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Performance-Portable Many-Core Plasma Simulations: Porting PIConGPU to OpenPower and BeyondZenker, E., Widera, R., Huebl, A., Juckeland, G., Knuepfer, A., Nagel, W. E. & Bussmann, M., 2016, High Performance Computing. Taufer, M., Mohr, B. & Kunkel, J. (eds.). Springer, Berlin [u. a.], p. 293-301, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pick the right guy: CQI-based LTE forwarder selection in VANETsTurcanu, I., Sommer, C., Baiocchi, A. & Dressler, F., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: Composing Adaptive Software Systems in Decentralized Infrastructures.Wutzler, M., 2016, p. 147, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Preferential Query Answering in the Semantic Web with Possibilistic NetworksBorgwardt, S., Fazzinga, B., Lukasiewicz, T., Shrivastava, A. & Tifrea-Marciuska, O., 2016, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16). p. 994-1000, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Preferential Query Answering in the Semantic Web with Possibilistic NetworksBorgwardt, S., Fazzinga, B., Lukasiewicz, T., Shrivastava, A. & Tifrea-Marciuska, O., 2016, Appendix to the 39th German Conference on Artificial Intelligence (KI'16). p. 264-270, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Proceedings of the 11th International Workshop on Models@run.time, co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016): Saint Malo, France, October 4, 2016Götz, S., Bencomo, N., Bellman, K. & Blair, G., 2016, Aachen, Germany: CEUR-WS.org, 59 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Puttingweb tables into contextBraunschweig, K., Thiele, M., Koci, E. & Lehner, W., 2016, KDIR 2016 - 8th International Conference on Knowledge Discovery and Information Retrieval. Fred, A., Dietz, J., Aveiro, D., Liu, K., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SCITEPRESS - Science and Technology Publications, p. 158-165, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Query and Predicate Emptiness in Ontology-Based Data AccessBaader, F., Bienvenu, M., Lutz, C. & Wolter, F., 2016, In: Journal of Artificial Intelligence Research. 56, p. 1 - 59, 59 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reasoning in Expressive Gödel Description LogicsBorgwardt, S. & Peñaloza, R., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reasoning in fuzzy description logics using automataBorgwardt, S. & Peñaloza, R., 2016, In: Fuzzy Sets and Systems. 298, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article