Publications

2016

• 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 10th Joint Workshop of the German Research Training Groups in Computer Science : Dagstuhl 2016, May 22nd - May 25thEtzold, B., Richter, R., Eibl, M. & Lehner, W., 2016, Chemnitz: Universitätsverlag ChemnitzElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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, p. 22-43, 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
• Resilient store: A heuristic-based data format selector for intermediate resultsMunir, R. F., Romero, O., Abelló, A., Bilalli, B., Thiele, M. & Lehner, W., 2016, Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Pastor, Ó., Almendros Jiménez, J. M., Aït-Ameur, Y. & Bellatreche, L. (eds.). Springer Verlag, p. 42-56, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Robust cardinality estimation for subgraph isomorphism queries on property graphsParadies, M., Vasilyeva, E., Mocan, A. & Lehner, W., 2016, Biomedical Data Management and Graph Online Querying: VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papers. Khan, A., Luo, G., Weng, C., Wang, F., Mitra, P. & Yu, C. (eds.). Springer-Verlag, p. 184-198, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SCONE: Secure linux containers with Intel SGXArnautov, S., Trach, B., Gregor, F., Knauth, T., Martin, A., Priebe, C., Lind, J. & 8 others, 2016, Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016. USENIX Association, p. 689-703, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Slicing the AuroraLay, S., Vermeulen, J., Donovan, E., Dachselt, R. & Carpendale, S., 2016, Metamorphoses: VISAP’16, the IEEE VIS Arts ProgramElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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