Publications

2020

• Sharing opportunities for OLTP workloads in different isolation levelsRehrmann, R., Binnig, C., Böhm, A., Kim, K. & Lehner, W., 1 Jun 2020, In: Proceedings of the VLDB Endowment. 13, 10, p. 1696-1708, 13 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A non-linear system patterns Rab5 GTPase on the membraneCezanne, A., Lauer, J., Solomatina, A., Sbalzarini, I. F. & Zerial, M., Jun 2020, In: eLife. 9, 22 p., e54434Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian eliminationBaier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J. P. & Klein, J., Jun 2020, In: Information and computation. 272, 104504Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Feature-aware forecasting of large-scale time series data setsHartmann, C., Kegel, L. & Lehner, W., 27 May 2020, In: it-Information Technology. 62, 3-4, p. 157-168, 12 p., 3-4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Visualisation of Medical Image Fusion and Translation for Accurate Diagnosis of High Grade GliomasKumar, N., Hoffmann, N., Kirsch, M. & Gumhold, S., 22 May 2020, p. 1-5Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• stARS: Proposing an adaptable collaborative learning environment to support communication in the classroomKubica, T., Shmelkin, I., Peine, R., Roszko, L. & Schill, A., 2 May 2020, CSEDU 2020 - Proceedings of the 12th International Conference on Computer Supported Education. p. 390-397Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• General dynamic Yannakakis: conjunctive queries with theta joins under updatesIdris, M., Ugarte, M., Vansummeren, S., Voigt, H. & Lehner, W., 1 May 2020, In: The VLDB journal. 29, 2-3, p. 619-653, 35 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Investigating subclasses of abstract dialectical frameworksDiller, M., Zafarghandi, A. K., Linsbichler, T. & Woltran, S., 1 May 2020, In:  Argument & computation. 11, 1-2, p. 191-219, 29 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Breaking and (partially) fixing provably secure onion routingKuhn, C., Beck, M. & Strufe, T., May 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 168-185, 18 p., 9152635Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Browsing unicity: On the limits of anonymizing web tracking dataDeußer, C., Passmann, S. & Strufe, T., May 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 777-790, 14 p., 9152774Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Iterative variable reordering: Taming huge system familiesDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 26 Apr 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (eds.).p. 121-133, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Augmented Displays: Seamlessly Extending Interactive Surfaces With Head-Mounted Augmented RealityReipschläger, P., Engert, S. & Dachselt, R., 25 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. p. 1-4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TimeBOMB: An Interactive Game Station Showcasing the History of Computer GamesEngert, S., Albrecht, R. D., Amend, C. & Meyer, F., 25 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing SystemsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Caladan: A Distributed Meta-OS for Data Center DisaggregationVilanova, L., Maudlej, L., Hille, M., Asmussen, N., Roitzsch, M. & Silberstein, M., Apr 2020Research output: Contribution to conferences > Paper
• Challenges in Collaborative Immersive VisualizationBüschel, W., Eckert, G. & Dachselt, R., Apr 2020, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Security Promises and Vulnerabilities in Emerging Reconfigurable Nanotechnology-Based CircuitsRai, S., Patnaik, S., Rupani, A., Knechtel, J., Sinanoglu, O. & Kumar, A., Apr 2020, In: IEEE Transactions on Emerging Topics in Computing. 10, 2, p. 763-778, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Software-Defined Mobile Supply ChainsEngeßer, S., Aßmann, U., Buscher, U., Schönberger, J. O. & Urbas, L., Apr 2020, Dynamics in Logistics. Freitag, M., Haasis, H., Kotzab, H. & Pannek, J. (eds.). Springer Link, p. 420-430Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGXSardar, M. U., Quoc, D. L. & Fetzer, C., Apr 2020, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Velocity measurements with structured light transmitted through a multimode optical fiber using digital optical phase conjugationBüttner, L., Thümmler, M. & Czarske, J., 16 Mar 2020, In: Optics express. 28, 6, p. 8064-8075, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Description Logics That Count, and What They Can and Cannot CountBaader, F. & De Bortoli, F., 7 Mar 2020, ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia. Kovacs, L., Korovin, K. & Reger, G. (eds.). EasyChairElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• HPPT-NoC: A dark-silicon inspired hierarchical TDM NoC with efficient power-performance tradingHesham, S., Goehringer, D. & Abd El Ghany, M. A., 1 Mar 2020, In: IEEE Transactions on Parallel and Distributed Systems. 31, 3, p. 675-694, 20 p., 8845671Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Achieving Determinism in Adaptive AUTOSARMenard, C., Goens, A., Lohstroh, M. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 822-827, 6 p., 9116430Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-efficient Runtime Resource Management for Adaptable Multi-application MappingKhasanov, R. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 909-914, 6 p., 9116381Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal Foundations for Intel SGX Data Center Attestation PrimitivesSardar, M. U., Faqeh, R. & Fetzer, C., Mar 2020, p.  268–283Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Generalized Data Placement Strategies for Racetrack MemoriesKhan, A. A., Goens, A., Hameed, F. & Castrillon, J., Mar 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Di Natale, G., Bolchini, C. & Vatajelu, E. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 1502-1507, 6 p., 9116245Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution