Publikationen

2017

• Challenges in Personalized Multi-user Interaction at Large Display Wallsvon Zadow, U., 2017, Mensch und Computer 2017. Gesellschaft für Informatik e.V., S. 263-266Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Chomsky-Schützenberger parsing for weighted multiple context-free languagesDenkinger, T., 2017, in: Journal of Language Modelling. 5, 1, S. 3-55, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Band 86. S. Dagstuhl, Germany, (8:1--8:15)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Comparing Two Approaches of Tactile Zooming on a Large Pin-Matrix DevicePrescher, D. & Weber, G., 2017, S. 173-186, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 177-192Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 349-366, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Consistency of a Tactile Pattern SetPrescher, D., Bornschein, J. & Weber, G., 2017, in: ACM transactions on accessible computing. 10, 2, 29 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Cross cultural differences in designing for accessibility and universal designPetrie, H., Weber, G., Darzentas, J. & Jadhav, C., 2017Publikation: Buch/Gutachten/Sammelbände > Monographie
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 54-66, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software SystemsWeißbach, M., Chrszon, P., Springer, T. & Schill, A., 2017, S. 111-120, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Decidability and Complexity of Fuzzy Description LogicsBaader, F., Borgwardt, S. & Peñaloza, R., 2017, in: KI. Künstliche Intelligenz. 31, S. 85-90, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 983-988, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Defeasible AceRules: A prototypeDiller, M., Wyner, A. Z. & Strass, H., 2017, Proceedings of the 12th International Conference on Computational Semantics. S. 19-22, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 64-84, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Design Evaluation of a Performance Analysis Trace RepositoryGrunzke, R., Neumann, M., Ilsche, T., Hartmann, V., Jejkal, T., Stotzka, R., Knuepfer, A. & 1 weitere, 2017, in: Procedia Computer Science. 108, S. 2190-2199, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Designing for accessibilityPetrie, H., Weber, G. & Darzentas, J., 2017, Springer, ChamElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• 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, S. 21:1-21:10, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Detecting Memory-Boundedness with Hardware Performance CountersMolka, D., Schöne, R., Hackenberg, D. & Nagel, W. E., 2017, S. 27-38, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 2017Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Digital Drawing Tools for Blind Users: A State-of-the-Art and Requirement AnalysisBorschein, J. & Weber, G., 2017, S. 21-28, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Digitalisierung von GeschäftsprozessenFranke, I., 2017, Mitteldeutschen Mitteilungen. Magdeburg, Band 26. S. 47-47, 1 S., (Mitteldeutsche Mitteilungen)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Encoding monotonic multiset preferences using CI-netsDiller, M. & Hunter, A., 2017, Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der InformatikPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 615, 1 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 160-180, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 2017Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband