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.
3566 Entries
2019
-
Models@run.time: a guided tour of the state of the art and research challenges , 2019, In: Software and Systems ModelingElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Modular Memory System for RISC-V Based MPSoCs on Xilinx FPGAs , 2019, p. 68-73, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
MorphStore - In-Memory Query Processing based on Morphing Compressed Intermediates LIVE , 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. p. 1917-1920, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
MTLG - Helping students and teachers creating and analysing simulations and games from a didactical and technical perspective , 2019, DELFI 2019 - Die 17. Fachtagung Bildungstechnologien. Pinkwart, N. & Konert, J. (eds.). Gesellschaft fur Informatik (GI), p. 319-320, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Multi-objective design space exploration for system partitioning of FPGA-based Dynamic Partially Reconfigurable Systems. , 2019, In: Integration : the VLSI journal. 67, p. 95-107, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
NeMeSys - Energy adaptive graph pattern matching on numa-based multiprocessor systems , 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), p. 537-541, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On compact mappings for multicore systems , 2019, Embedded Computer Systems: Architectures, Modeling, and Simulation - 19th International Conference, SAMOS 2019, Proceedings. Pnevmatikatos, D. N., Pelcat, M. & Jung, M. (eds.). Springer, Berlin [u. a.], p. 325-335, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Online Peak Power and Maximum Temperature Management in Multi-core Mixed-Criticality Embedded Systems. , 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). p. 546-553, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Complexity of Graded Modal Logics with Converse , 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Berlin [u. a.], p. 642-658, 17 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets , 2019, Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer, Berlin [u. a.], p. 203-219, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-Mediated Query Answering over Log-linear Probabilistic Data , 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19). p. 2711-2718, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-Mediated Query Answering over Log-linear Probabilistic Data (Abstract) , 2019, Proceedings of the 32nd International Workshop on Description Logics (DL'19)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-mediated query answering over temporal and inconsistent data , 2019, In: Semantic Web. 3, p. 475-521, 47 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Optimizing the Utilization of Heterogeneous Systems Using a Single-Source Approach with Dynamic Resource Mapping , 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Parameter tuning for self-optimizing software at scale , 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights , 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Springer, Berlin [u. a.], p. 436–452Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Particulate Matter Matters - The Data Science Challenge @ BTW 2019. , 2019, In: Datenbank-Spektrum. 19, 3, p. 165-182, 18 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems , 2019, Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers. Gribaudo, M., Iacono, M., Phung-Duc, T. & Razumchik, R. (eds.). Springer, Berlin [u. a.], p. 133-147, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Potenziale digitaler Assistenzsysteme für die Kommunikation in interdisziplinären Entwicklungsprojekten , 2019, Digitalisierung und Kommunikation - Konsequenzen der digitalen Transformation für die Wirtschaftskommunikation. Stumpf, M. (ed.). Wiesbaden, p. 369-387, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Practical Query Rewriting for DL-Lite with Numerical Predicates , 2019, GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence. EasyChair, p. 15-27, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Presburger Concept Cardinality Constraints in Very Expressive Description Logics: Allegro sexagenarioso ma non ritardando , 2019, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lutz, C., Sattler, U., Tinelli, C., Turhan, A. & Wolter, F. (eds.). Springer, Berlin [u. a.], p. 542-561, 20 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Profilgetriebene Anlagenapplikationsentwicklung für verteilte heterogene Hardware und Plattformsoftware , 2019Research output: Contribution to conferences > Paper
-
Projection in a Description Logic of Context with Actions , 2019, Proceedings of the 32nd International Workshop on Description Logics: Oslo, Norway, June 18-21, 2019. Šimkus, M. & Weddell, G. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Projection in a Description Logic of Context with Actions , 2019, GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence. Calvanese, D. & Iocchi, L. (eds.).p. 81-93, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Proof-of-Concept einer komplexen Co-Simulationsumgebung für einen Fahrsimulator zur Untersuchung von Car2X-Kommunikations-Szenarien , 2019, Proceedings of 9. VDI/VDE Fachtagung "AUTOREG 2019 - Automatisiertes Fahren und vernetzte Mobilität"Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution