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.
3179 Entries
2017
-
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
-
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
-
Framework for 2D-3D image fusion of infrared thermography with preoperative MRI , 2017, In: Biomedizinische Technik. Biomedical engineering. 62, 6, p. 599-607, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Fünf Argumente für einen grafischen Programmiereinstieg - eine Studie über vier Jahrgangsstufen , 2017, INFOS 2017 - 17. GI-Fachtagung Informatik und Schule - Informatische Bildung zum Verstehen und Gestalten der digitalen WeltElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Fuzzing and verifying RAT refutations with deletion information , 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 190-193, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Fuzzy Description Logics – A Survey , 2017, Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17). p. 31-45, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Generic Architectures for Individual Self-aware Computing Systems , 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (eds.).p. 149-189, 41 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
GIAnT: Visualizing Group Interaction at Large Wall Displays , 2017, p. 2639-2647, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper