Department Informatik

Query-Driven Knowledge-Sharing for Data Integration and Collaborative Data Science (2017) Wahl AM, Endler G, Schwab P, Herbst S, Lenz R Conference contribution, Conference Contribution Visual structure in mathematical expressions (2017) Kohlhase M, Kohlhase A, Fürsich M Conference contribution, Original article Software citations, information systems, and beyond (2017) Kohlhase M, Sperber W Conference contribution, Original article Power Density-Aware Resource Management for Heterogeneous Tiled Multicores (2017) Khdr H, Pagani S, Rodrigues Sousa E, Lari V, Pathania A, Hannig F, Shafique M, et al. Journal article Canonical Selection of Colimits (2017) Codesci M, Mossakowski T, Rabe F Conference contribution LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017) Rabe F Conference contribution Efficient Coalgebraic Partition Refinement (2017) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution An Investigation of the Impact of Three-Dimensional Scenarios on VANETs and Their Simulative Implementation (2017) Brummer A Thesis A Modular Type Reconstruction Algorithm (2017) Rabe F Journal article Multi-View Depth-Aware Rigid 2-D/3-D Registration (2017) Schaffert R, Wang J, Fischer P, Borsdorf A, Maier A Conference contribution