Publications

2017

• Challenges in Personalized Multi-user Interaction at Large Display Wallsvon Zadow, U., 2017, Mensch und Computer 2017. Gesellschaft für Informatik e.V., p. 263-266Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Chomsky-Schützenberger parsing for weighted multiple context-free languagesDenkinger, T., 2017, In: Journal of Language Modelling. 5, 1, p. 3-55, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic termsÁlvarez, L. G. & Bennett, B., 2017, 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs). Clementini, E., Donnelly, M., Yuan, M., Kray, C., Fogliaroni, P. & Ballatore, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 86. p. Dagstuhl, Germany, (8:1--8:15)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Comparing Two Approaches of Tactile Zooming on a Large Pin-Matrix DevicePrescher, D. & Weber, G., 2017, p. 173-186, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Complexity of Universality and Related Problems for Partially Ordered NFAsKrötzsch, M., Masopust, T. & Thomazo, M., 2017, In: Information and Computation. 255, Part 1, p. 177-192Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Computing Conditional Probabilities: Implementation and EvaluationMärcker, S., Baier, C., Klein, J. & Wunderlich, S., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings. Cimatti, A. & Sirjani, M. (eds.). Springer, Berlin [u. a.], p. 349-366, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Consistency of a Tactile Pattern SetPrescher, D., Bornschein, J. & Weber, G., 2017, In: ACM transactions on accessible computing. 10, 2, 29 p., 7Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Cross cultural differences in designing for accessibility and universal designPetrie, H., Weber, G., Darzentas, J. & Jadhav, C., 2017Research output: Book/Report/Anthology > Monograph
• Dealing with uncertainty: An empirical study on the relevance of renewable energy forecasting methodsUlbricht, R., Thoß, A., Donker, H., Gräfe, G. & Lehner, W., 2017, Data Analytics for Renewable Energy Integration: 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers. Aung, Z., Madnick, S., Kramer, O. & Woon, W. L. (eds.). Springer, Berlin [u. a.], p. 54-66, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software SystemsWeißbach, M., Chrszon, P., Springer, T. & Schill, A., 2017, p. 111-120, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Decidability and Complexity of Fuzzy Description LogicsBaader, F., Borgwardt, S. & Peñaloza, R., 2017, In: KI. Künstliche Intelligenz. 31, p. 85-90, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity MeasuresBaader, F. & Fernández Gil, O., 2017, Proceedings of the Symposium on Applied Computing, SAC 2017. ACM Press, p. 983-988, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Defeasible AceRules: A prototypeDiller, M., Wyner, A. Z. & Strass, H., 2017, Proceedings of the 12th International Conference on Computational Semantics. p. 19-22, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Delayed-Choice Semantics for Pomset Families and Message Sequence GraphsDubslaff, C. & Baier, C., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J., Langerak, R. & Rensink, A. (eds.). Springer, Berlin [u. a.], p. 64-84, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Design Evaluation of a Performance Analysis Trace RepositoryGrunzke, R., Neumann, M., Ilsche, T., Hartmann, V., Jejkal, T., Stotzka, R., Knuepfer, A. & 1 others, 2017, In: Procedia Computer Science. 108, p. 2190-2199, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Designing for accessibilityPetrie, H., Weber, G. & Darzentas, J., 2017, Springer, ChamElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• Designing for Pragmatists and Fundamentalists: Privacy Concerns and Attitudes on the Internet of ThingsPonciano, L., Barbosa, P., Brasileiro, F. V., Brito, A. & Andrade, N., 2017, Proceedings of the XVI Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, p. 21:1-21:10, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Detecting Memory-Boundedness with Hardware Performance CountersMolka, D., Schöne, R., Hackenberg, D. & Nagel, W. E., 2017, p. 27-38, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Dielectric elastomer loudspeaker driver: Poster presented at EuroEAP 2017, International Conference on Electromechanically Active Polymer (EAP) Transducers & Artificial Muscles, 6th and 7th of June 2017, Cartagena, SpainBakardjiev, P., Richter, A., Altinsoy, E., Marschner, U. & Troge, J., 2017, EuroEAP 2017Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Digital Drawing Tools for Blind Users: A State-of-the-Art and Requirement AnalysisBorschein, J. & Weber, G., 2017, p. 21-28, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Digitalisierung von GeschäftsprozessenFranke, I., 2017, Mitteldeutschen Mitteilungen. Magdeburg, Vol. 26. p. 47-47, 1 p., (Mitteldeutsche Mitteilungen)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Encoding monotonic multiset preferences using CI-netsDiller, M. & Hunter, A., 2017, Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der InformatikResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy elasticity on heterogeneous hardware using adaptive resource reconfigurationUngethüm, A., Kissinger, T., Mentzel, W. W., Mier, E., Habich, D. & Lehner, W., 2017, Datenbanksysteme fur Business, Technologie und Web, BTW 2017 - 17. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2017, Proceedings. Mitschang, B., Nicklas, D., Leymann, F., Schoning, H., Herschel, M., Teubner, J. & Harder, T. (eds.). Gesellschaft fur Informatik (GI), p. 615, 1 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesBaier, C., Klein, J., Leuschner, L., Parker, D. & Wunderlich, S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer, Berlin [u. a.], p. 160-180, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploiting transistor-level reconfiguration to optimize combinational circuitsRaitza, M., Kumar, A., Völp, M., Walter, D., Trommer, J., Mikolajick, T. & Weber, W., 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution