Publications

2016

• Composition of stochastic transition systems based on spans and couplingsGburek, D., Baier, C. & Klüppelholz, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 102:1-102:15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computational Drug Repositioning by Target Hopping: A Use Case in Chagas DiseaseHaupt, V. J., Aguilar Uvalle, J. E., Salentin, S., Daminelli, S., Leonhardt, F., Konc, J. & Schroeder, M., 2016, In: Current pharmaceutical design. 22, 21, p. 3124-34, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Concept lattices with negative information: A characterization theorem.Rodríguez-Jiménez, J. M., Cordero, P., Enciso, M. & Rudolph, S., 2016, In: Inf. Sci.. 369, p. 51-62, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Conflict Management in Multi-user Applications for People with DisabilitiesLoitsch, C., Hille, D. & Weber, G., 2016Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Consistent Unanticipated Adaptation for Context-Dependent Applications.Taing, N., Wutzler, M., Springer, T., Cardozo, N. & Schill, A., 2016, COP@ECOOP. p. 33-38, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Constructive Alignment in Teaching ModelingDemuth, B., 2016Research output: Contribution to conferences > Paper
• Content Sharing Between Spatially-Aware Mobile Phones and Large Vertical Displays Supporting Collaborative WorkLangner, R., von Zadow, U., Horak, T., Mitschick, A. & Dachselt, R., 2016, Collaboration Meets Interactive Spaces. Anslow, C., Campos, P. & Jorge, J. (eds.). Springer International Publishing, p. 75-96, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Convexity Shape Constraints for Image SegmentationRoyer, L. A., Richmond, D. L., Rother, C., Andres, B. & Kainmueller, D., 2016, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). p. 402-410Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cost-Utility Analysis in Probabilistic ModelsBaier, C., 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering: TASE 2016. IEEE, New York [u. a.], p. 1-1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decentralized coordination of dynamic software updates in the Internet of Things.Weißbach, M., Taing, N., Wutzler, M., Springer, T., Schill, A. & Clarke, S., 2016, WF-IoT. p. 171-176, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top ConstructorBaader, F., Nguyen, T. B., Borgwardt, S. & Morawska, B., 2016, In: Notre Dame Journal of Formal Logic. 57, 4, p. 443 - 476, 34 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Defining Relations: a general incremental approach with spatial temporal case studiesBennett, B., Du, H., Álvarez, L. G. & Cohn, A., 2016, Frontiers in Artificial Intelligence and Applications. 9th International Conference on Formal Ontology in Information Systems (FOIS 2016). Ferrario, R. & Kuhn, W. (eds.). IOS Press, Amsterdam [u. a.], p. Annecy, France, (23-36)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Demo: OpenC2X - An open source experimental and prototyping platform supporting ETSI ITS-G5Laux, S., Pannu, G., Schneider, S., Tiemann, J., Klingler, F., Sommer, C. & Dressler, F., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016), Demo SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). CEUR Workshop Proceedings, Vol. 1577Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Elastische Displays im EinsatzMüller, M., Kammer, D. & Groh, R., 2016Research output: Contribution to conferences > 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 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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é, p. 1713–1720Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Empirical Study on Quality and Effectiveness of Tactile Maps Using HaptOSM SystemHänßgen, D., Waldt, N. & Weber, G., 2016, p. 153-159, 7 p.Research output: Contribution to conferences > Paper
• Event-based PID ControlHensel, B., Ploennigs, J., Vasyutynskyy, V. & Kabitzsch, K., 2016, Event-Based Control and Signal Processing. Miśkowicz, M. (ed.). Boca Raton: CRC Press, p. 235-259, 25 p., (Embedded Systems)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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, p. 88-100, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exploring On-Demand Composition of Pervasive Collaborations in Smart Computing EnvironmentsWutzler, M., 2016, On the Move to Meaningful Internet Systems: OTM 2016 WorkshopsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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.], Vol. 285. p. 1096-1104, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 1-28, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article