Publikationen

2016

• Efficient Axiom Pinpointing in EL using SAT TechnologyManthey, N., Peñaloza, R. & Rudolph, S., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16). Lenzerini, M. & Peñaloza, R. (Hrsg.). CEUR Workshop Proceedings, Band 1577Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Efficient Fault Tolerance using Intel MPX and TSXOleksenko, O., Kuvaiskii, D., Bhatotia, P., Felber, P. & Fetzer, C., 2016, Proceedings of 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Elastische Displays im EinsatzMüller, M., Kammer, D. & Groh, R., 2016Publikation: Beitrag zu Konferenzen > Paper
• Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report)Kuvaiskii, D., Oleksenko, O., Bhatotia, P., Felber, P. & Fetzer, C., 2016, arXiv:1604.00500. 13 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Elzar: Triple Modular Redundancy using Intel AVX (Practical Experience Report)Kuvaiskii, D., Oleksenko, O., Bhatotia, P., Felber, P. & Fetzer, C., 2016, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016). 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Embodied Interactions for Novel Immersive Presentational Experiences.Matulic, F., Dachselt, R., Träger, C. & Engeln, L., 2016, Proceedings of the 34th Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. San José, S. 1713–1720Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Empirical Study on Quality and Effectiveness of Tactile Maps Using HaptOSM SystemHänßgen, D., Waldt, N. & Weber, G., 2016, S. 153-159, 7 S.Publikation: Beitrag zu Konferenzen > Paper
• Event-based PID ControlHensel, B., Ploennigs, J., Vasyutynskyy, V. & Kabitzsch, K., 2016, Event-Based Control and Signal Processing. Miśkowicz, M. (Hrsg.). Boca Raton: CRC Press, S. 235-259, 25 S., (Embedded Systems)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Exploration of Location-Aware You-Are-Here Maps on a Pin-Matrix DisplayZeng, L. & Weber, G., 2016, in:  IEEE Transactions on Human-Machine Systems. 46, 1, S. 88-100, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Exploring On-Demand Composition of Pervasive Collaborations in Smart Computing EnvironmentsWutzler, M., 2016, On the Move to Meaningful Internet Systems: OTM 2016 WorkshopsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Extending the Description Logic tel(deg) with Acyclic TBoxesBaader, F. & Fernández Gil, O., 2016, Proceedings of the Twenty-second European Conference on Artificial Intelligence (ECAI 2016). IOS Press, Amsterdam [u. a.], Band 285. S. 1096-1104, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extending Unification in EL to Disunification: The Case of Dismatching and Local DisunificationBaader, F., Borgwardt, S. & Morawska, B., 2016, in: Logical Methods in Computer Science. 12, 4, S. 1-28, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeatChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Stevens, P. & Wąsowski, A. (Hrsg.). Springer, Berlin [u. a.], S. 287-304, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale ComputingWeinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Härtig, H., Shiloh, A. & 9 weitere, 2016, Software for Exascale Computing - SPPEXA 2013-2015. Springer, Cham, S. 405-426, 22 S., (Lecture Notes in Computational Science and Engineering (LNCSE))Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Foldable3D: Interacting with 3D Content Using Dual-Display DevicesBüschel, W., Reipschläger, P. & Dachselt, R., 2016, ISS '16: Proceedings of the 2016 ACM International Conference on Interactive Surfaces and Spaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 367–372Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Generating Image Descriptions for SmartArtsVoegler, J., Krause, J. & Weber, G., 2016, S. 204, 211 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Generator for modular virtual sensorsHensel, B. & Kabitzsch, K., 2016, IEEE International Conference on Emerging Technologies and Factory Automation, ETFAElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Grand Challenge: Real-time Social Network Graph Analysis using StreamMine3GMartin, A., Brito, A. & Fetzer, C., 2016, S. 322-329, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Greener Bits: Formal Analysis of Demand ResponseBaier, C., Klüppelholz, S., de Meer, H., Niedermeier, F. & Wunderlich, S., 2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Artho, C., Legay, A. & Peled, D. (Hrsg.). Springer, Berlin [u. a.], S. 323–339Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Guest Editorial - Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular CommunicationsCampolo, C., Cheng, L., Sommer, C. & (Michael) Tsai, H., 2016, in: Computer communications : the international journal for the computer and telecommunications industryElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)0000-0003-1065-1870, Klionsky, D. J., Abdelmohsen, K., Abe, A., Abedin, M. J., Abeliovich, H., Arozena, A. A. & 44 weitere, 2016, in: Autophagy. 12, 1, S. 1-222, 222 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• HAFT: Hardware-assisted Fault ToleranceKuvaiskii, D., Faqeh, R., Bhatotia, P., Felber, P. & Fetzer, C., 2016, Proceedings of the Eleventh European Conference on Computer Systems (Eurosys 2016). ACM PressElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• IEEE 802.11p unicast considered harmfulKlingler, F., Dressler, F. & Sommer, C., 2016, 7th IEEE Vehicular Networking Conference (VNC 2015)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Ikonografie der InteraktionGroh, R., 2016, Neuerscheinung Aufl., Dresden, 259 S.Publikation: Buch/Gutachten/Sammelbände > Monographie
• Improvement in environmental accessibility via volunteered geographic information: a case studyZeng, L., Kühn, R. & Weber, G., 2016, in: Universal Access in the Information SocietyElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel