Publikationen

2016

• 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. (Hrsg.). Springer, Berlin [u. a.], S. 23-42, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Marrying safety with privacy: A holistic solution for location privacy in VANETsEckhoff, D. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 30-41, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modeling OWL with Rules: The ROWL Protege PluginSarker, K., Carral, D., Krisnadhi, A. & Hitzler, P., 2016, ISWC 2016 Posters & Demonstrations TrackElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 122-139, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Model Kit for Lightweight Data Compression AlgorithmsHildebrandt, J., Habich, D., Damme, P. & Lehner, W., 2016Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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) . S. 61:1-61:14Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the impact of antenna patterns on VANET simulationEckhoff, D., Brummer, A. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Cham, S. 376–392Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). AAAI Press, S. 339-348, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Penalized graph partitioning for static and dynamic load balancingKiefer, T., Habich, D. & Lehner, W., 2016, Euro-Par 2016: Parallel Processing. Dutot, P. & Trystram, D. (Hrsg.). Springer, Berlin [u. a.], S. 146-158, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 293-301, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Poster: Composing Adaptive Software Systems in Decentralized Infrastructures.Wutzler, M., 2016, S. 147, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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). S. 994-1000, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 264-270, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 158-165, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Query and Predicate Emptiness in Ontology-Based Data AccessBaader, F., Bienvenu, M., Lutz, C. & Wolter, F., 2016, in: Journal of Artificial Intelligence Research. 56, S. 1 - 59, 59 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reasoning in Expressive Gödel Description LogicsBorgwardt, S. & Peñaloza, R., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reasoning in fuzzy description logics using automataBorgwardt, S. & Peñaloza, R., 2016, in: Fuzzy Sets and Systems. 298, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reasoning with prototypes in the description logic ALC using weighted tree automataBaader, F. & Ecke, A., 2016, Language and Automata Theory and Applications. Truthe, B., Janoušek, J., Dediu, A. & Martín-Vide, C. (Hrsg.). Springer, Berlin [u. a.], S. 63-75, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuitsTrommer, J., Heinzig, A., Baldauf, T., Mikolajick, T., Weber, W., Raitza, M. & Völp, M., 2016, Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband