Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3568 Entries
2017
-
Dealing with uncertainty: An empirical study on the relevance of renewable energy forecasting methods , 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 Systems , 2017, p. 111-120, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Decidability and Complexity of Fuzzy Description Logics , 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 Measures , 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 prototype , 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 Graphs , 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 Repository , 2017, In: Procedia Computer Science. 108, p. 2190-2199, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Designing for accessibility , 2017, Springer, ChamElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
-
Designing for Pragmatists and Fundamentalists: Privacy Concerns and Attitudes on the Internet of Things , 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 Counters , 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, Spain , 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 Analysis , 2017, p. 21-28, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Digitalisierung von Geschäftsprozessen , 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-nets , 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 reconfiguration , 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 Processes , 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 circuits , 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
-
Exploration of OpenCL for FPGAs using SDAccel and comparison to GPUs and multicore CPUs , 2017, 2017 27th International Conference on Field Programmable Logic and Applications (FPL). IEEE Xplore, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Exploring Big Data Landscapes with Elastic Displays , 2017Research output: Contribution to conferences > Paper
-
Extending a compiler backend for complete memory error detection , 2017, Automotive - Safety and Security 2017: Sicherheit und Zuverlassigkeit fur Automobile Informationstechnik. Plodereder, E., Dencker, P., Klenk, H. & Keller, H. B. (eds.). Gesellschaft fur Informatik (GI), p. 61-74, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts , 2017, Proceedings of GCAI 2017. 3rd Global Conference on Artificial Intelligence. p. 6-19, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Extending the Functionality of Score-P Through Plugins: Interfaces and Use Cases , 2017, Tools for High Performance Computing 2016: Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing. Neuerscheinung ed., Stuttgart, Cham, p. 59-82, 24 p., (Tools for High Performance Computing 2016 - Proceedings of the 10th International Workshop on Parallel Computing)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Extending Two-Variable Logic on Trees , 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 82. p. 11:1-11:20, (Leibniz International Proceedings in Informatics (LIPIcs))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Externalizing cognitive maps via map reconstruction and verbal description , 2017, In: Universal Access in the Information Society. 16, p. 667–680, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Feature-driven time series generation , 2017, Proceedings of the 29th GI-Workshop Grundlagen von Datenbanken: Blankenburg/Harz, Germany, May 30 - June 02, 2017. Schneider , K. & Specht, G. (eds.).p. 54-59, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution