Publications

2017

• Practical Fixed-Domain Reasoning for Description Logics - Extended AbstractGaggl, S. A., Rudolph, S. & Schweizer, L., 1 Jun 2017, Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017. Reutter, J. L. & Srivastava, D. (eds.). CEUR-WS.org, Vol. 1912. (CEUR Workshop Proceedings)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Predictable Low-Latency Interrupt Response with General-Purpose SystemsLackorzynski, A., Weinhold, C. & Härtig, H., 1 Jun 2017, Proceedings of the 13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications. Duprovnik, CroatiaResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Citizen Science Terminology Matters: Exploring Key TermsEitzel, M. V., Cappadonna, J. L., Santos-Lang, C., Duerr, R. E., Virapongse, A., West, S. E., Kyba, C. C. M. & 16 others, Jun 2017, In: Citizen science: theory and practice. 2, 1Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Lateral Thinking for Trustworthy AppsLackorzynski, A., Härtig, H., Roitzsch, M. & Weinhold, C., Jun 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Covert-channel-resistant congestion control for traffic normalization in uncontrolled networksByrenheid, M., Rossberg, M., Schaefer, G. & Dorn, R., 25 May 2017, 2017 IEEE International Conference on Communications (ICC). Wiley-IEEE Press, p. 1-7, 7 p., 7996936Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An analysis of the feasibility of graph compression techniques for indexing regular path qeriesTetzel, F., Voigt, H., Paradies, M. & Lehner, W., 19 May 2017, 5th International Workshop on Graph Data Management Experiences and Systems, GRADES 2017 - Co-located with SIGMOD/PODS 2017. Association for Computing Machinery, Inc, 3078458Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Trading fault tolerance for performance in AN encodingRink, N. A. & Castrillon, J., 15 May 2017, ACM International Conference on Computing Frontiers 2017, CF 2017. Association for Computing Machinery, Inc, p. 183-190, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Abstract: An analysis of LSM caching in NVRAMLersch, L., Oukid, I., Lehner, W. & Schreter, I., 14 May 2017, DAMON '17: Proceedings of the 13th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Big data causing big (TLB) problems: Taming random memory accesses on the GPUKarnagel, T., Ben-Nun, T., Werner, M., Habich, D. & Lehner, W., 14 May 2017, DAMON '17: Proceedings of the 13th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New York, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Accounting for systematic errors in approximate computingBruestel, M. & Kumar, A., 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Lausanne: IEEE Xplore, p. 298-301, 4 p., 7927003Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Embracing approximate computing for energy-efficient motion estimation in high efficiency video codingEl-Harouni, W., Rehman, S., Prabakaran, B. S., Kumar, A., Hafiz, R. & Shafique, M., 11 May 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. Lausanne: IEEE Xplore, p. 1384-1389, 6 p., 7927209Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Rethinking on-chip DRAM cache for simultaneous performance and energy optimizationHameed, F. & Castrillon, J., 11 May 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. Lausanne: IEEE Xplore, p. 362-367, 6 p., 7927017Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SecureCloud: Secure big data processing in untrusted cloudsKelbert, F., Gregor, F., Pires, R., Kopsell, S., Pasin, M., Havet, A., Schiavoni, V. & 3 others, 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Lausanne: IEEE Xplore, p. 282-285, 4 p., 7926999Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Soft error-aware architectural exploration for designing reliability adaptive cache hierarchies in multi-coresSubramaniyan, A., Rehman, S., Shafique, M., Kumar, A. & Henkel, J., 11 May 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. Lausanne: IEEE Xplore, p. 37-42, 6 p., 7926955Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Data structure engineering for byte-addressable non-volatile MemoryOukid, I. & Lehner, W., 9 May 2017, SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of Data. Association for Computing Machinery (ACM), New York, p. 1759-1764, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Living in parallel realities - Co-existing schema versions with a bidirectional database evolution languageHerrmann, K., Voigt, H., Behrend, A., Rausch, J. & Lehner, W., 9 May 2017, SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of Data. Association for Computing Machinery (ACM), New York, p. 1101-1116, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BD-CAT: Balanced dynamic content addressing in treesRoos, S., Byrenheid, M., Deusser, C. & Strufe, T., 4 May 2017, IEEE INFOCOM 2017 - IEEE Conference on Computer Communications. Wiley-IEEE Press, p. 1-9, 9 p., 8057003Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)Baier, C. & Tinelli, C., 24 Apr 2017, In: Acta informatica. 54, 8, p. 727–728Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Analyzing state-of-the-art role-based programming languagesSchütze, L. & Castrillon, J., 3 Apr 2017, Programming 2017 - Companion to the 1st International Conference on the Art, Science and Engineering of Programming. D'Hondt, T., Sartor, J. B. & De Meuter, W. (eds.). Association for Computing Machinery (ACM), New York, a9Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Proceedings of the 5th GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2017)Djanatliev, A., Hielscher, K. J., Sommer, C., Eckhoff, D. & German, R., 1 Apr 2017, Erlangen, Germany: FAUResearch output: Book/Report/Anthology > Conference proceeding
• Curvature Filters Efficiently Reduce Certain Variational EnergiesGong, Y. & Sbalzarini, I. F., Apr 2017, In: IEEE transactions on image processing. 26, 4, p. 1786-1798, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A predictive 3D multi-scale model of biliary fluid dynamics in the liver lobuleMeyer, K., Ostrenko, O., Bourantas, G., Morales-Navarrete, H., Porat-Shliom, N., Segovia-Miranda, F., Nonaka, H. & 7 others, 22 Mar 2017, In: Cell Systems. 4, 3, p. 277-290.e9, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• VIRTUAL. INTERNATIONAL. JOB ORIENTATED. –: BEST PRACTICE ON HOW VIRTUAL COLLABORATION COURSES CAN SUCCEEDNenner, C., Bergert, A. & Böhnisch, A. N., 17 Mar 2017, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Digitale Bildung in der Schule – die Lehrkräfte sind der Schlüssel. Material- und Fortbildungsangebote zum Thema digitales LernenBergner, N., 9 Mar 2017, In: MedienPädagogik : Online-Zeitschrift für Theorie und Praxis der Medienbildung. 2017, 28Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Focus paragraph detection for online zero-effort queries: Lessons learned from eye-tracking dataSeifert, C., Mitschick, A., Schlötterer, J. & Dachselt, R., 7 Mar 2017, CHIIR 2017 - Proceedings of the 2017 Conference Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 301-304, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution