Publications

2016

• 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
• 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
• 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. (eds.). Springer, Berlin [u. a.], p. 63-75, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 2016Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reliable Wireless Control - Wireless Connection in the Control LoopSoler Perez Olaya, S., Mätzler, S., Wollschlaeger, M., Varutti, P. & Szczepanski, T., 2016Research output: Contribution to conferences > Paper
• Riss 6 solver and derivativesManthey, N., Stephan, A. & Werner, E., 2016, In: SAT COMPETITION . p. 56-57, 2 p.Research output: Contribution to journal > Conference article
• SecureKeeper: Confidential ZooKeeper Using Intel SGXBrenner, S., Wulf, C., Goltzsche, D., Weichbrodt, N., Lorenz, M., Fetzer, C., Pietzuch, P. & 1 others, 2016, Proceedings of the 17th International Middleware Conference. New York, NY, USA: ACM Press, p. 14:1-14:13Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantically enriched Device ProfilesMätzler, S., Hilbert, F. & Wollschlaeger, M., 2016Research output: Contribution to conferences > Paper
• Signal processing and system design for tinnitus treatment - 2016 IEEE Sixth International Conference on Communications and Electronics (ICCE)Lippmann, M., Schlemmer, T., Spindler, M., Finger, A., Weber, G., Schmidt, S., Hösel, H. & 2 others, 2016, p. 277-282, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Simulation Models Verification for Resilient Communication on a Highly Adaptive Energy-Efficient ComputerPfennig, S., Feldhoff, K., Ciorba, F. M., Bielert, M., Franz, E., Ilsche, T., Reiher, T. & 1 others, 2016Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Smart Prototyping - Improving the Evaluation of Design Concepts Using Virtual RealityMüller, M., Günther, T., Kammer, D., Wojdziak, J., Lorenz, S. & Groh, R., 2016, Virtual, Augmented and Mixed Reality: 8th International Conference, VAMR 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings. p. 47-58, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Smart Ubiquitous Projection: Discovering Surfaces for the Projection of Adaptive ContentMatulic, F., Büschel, W., Yang, M. Y., Ihrke, S., Ramraika, A., Rother, C. & Dachselt, R., 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 2592–2600Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stream Packing for Asynchronous Multi-Context Systems using ASPEllmauthaler, S. & Pührer, J., 2016, Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016). Eiter, T., Faber, W. & Woltran, S. (eds.).Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Supporting Graph Exploration Tasks on Display Walls using Spatially-aware Mobile Devices.Kister, U., Klamka, K. & Dachselt, R., 2016Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Teaching Accessibility with PersonasLoitsch, C., Weber, G. & Voegler, J., 2016, p. 453-460, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS HardwareVölp, M., Klüppelholz, S., Castrillon, J., Härtig, H., Asmussen, N., Aßmann, U., Baader, F. & 23 others, 2016, Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES). 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not FinitaryBaader, F. & Ludmann, P., 2016, Proceedings of the 30th International Workshop on Unification (UNIF'16). p. 31-35, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution