Publikationen

2020

• Transparent microsegmentation in smart home IoT networksOsman, A., Wasicek, A., Köpsell, S. & Strufe, T., 25 Juni 2020, Proceedings of the USENIX Workshop on Hot Topics in Edge Computing (HotEdge). 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FacetE: Exploiting web tables for domain-specific word embedding evaluationGünther, M., Sikorski, P., Thiele, M. & Lehner, W., 19 Juni 2020, DBTest '20: Proceedings of the workshop on Testing Database Systems. Association for Computing Machinery (ACM), New York, S. 1-6, 6 S., 5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Workload merging potential in SAP HybrisRehrmann, R., Keppner, M., Lehner, W., Binnig, C. & Schwarz, A., 19 Juni 2020, DBTest '20: Proceedings of the workshop on Testing Database Systems. Association for Computing Machinery, Inc, 6 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Comparative analysis of OpenCL and RTL for sort-merge primitives on FPGAMoghaddamfar, M., Färber, C., Lehner, W. & May, N., 15 Juni 2020, DaMoN '20: Proceedings of the 16th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New York, S. 11:1-11:7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A cost-based storage format selector for materialized results in big data frameworksMunir, R. F., Abelló, A., Romero, O., Thiele, M. & Lehner, W., 1 Juni 2020, in: Distributed and parallel databases : an international journal. 38, 2, S. 335-364, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Configuring Parallelism for Hybrid Layouts Using Multi-Objective OptimizationMunir, R. F., Abelló, A., Romero, O., Thiele, M. & Lehner, W., 1 Juni 2020, in: Big data. 8, 3, S. 235-247, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Modal Logics with Composition on Finite Forests: Expressivity and ComplexityBednarczyk, B., Demri, S., Fervari, R. & Mansutti, A., 1 Juni 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsBaader, F., Bednarczyk, B. & Rudolph, S., 1 Juni 2020, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS Press, S. 616-623, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sharing opportunities for OLTP workloads in different isolation levelsRehrmann, R., Binnig, C., Böhm, A., Kim, K. & Lehner, W., 1 Juni 2020, in: Proceedings of the VLDB Endowment. 13, 10, S. 1696-1708, 13 S., 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A non-linear system patterns Rab5 GTPase on the membraneCezanne, A., Lauer, J., Solomatina, A., Sbalzarini, I. F. & Zerial, M., Juni 2020, in: eLife. 9, 22 S., e54434Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian eliminationBaier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J. P. & Klein, J., Juni 2020, in: Information and computation. 272, 104504Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Feature-aware forecasting of large-scale time series data setsHartmann, C., Kegel, L. & Lehner, W., 27 Mai 2020, in: it-Information Technology. 62, 3-4, S. 157-168, 12 S., 3-4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Visualisation of Medical Image Fusion and Translation for Accurate Diagnosis of High Grade GliomasKumar, N., Hoffmann, N., Kirsch, M. & Gumhold, S., 22 Mai 2020, S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• stARS: Proposing an adaptable collaborative learning environment to support communication in the classroomKubica, T., Shmelkin, I., Peine, R., Roszko, L. & Schill, A., 2 Mai 2020, CSEDU 2020 - Proceedings of the 12th International Conference on Computer Supported Education. S. 390-397Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• General dynamic Yannakakis: conjunctive queries with theta joins under updatesIdris, M., Ugarte, M., Vansummeren, S., Voigt, H. & Lehner, W., 1 Mai 2020, in: The VLDB journal. 29, 2-3, S. 619-653, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Investigating subclasses of abstract dialectical frameworksDiller, M., Zafarghandi, A. K., Linsbichler, T. & Woltran, S., 1 Mai 2020, in:  Argument & computation. 11, 1-2, S. 191-219, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Breaking and (partially) fixing provably secure onion routingKuhn, C., Beck, M. & Strufe, T., Mai 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers Inc., S. 168-185, 18 S., 9152635Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Browsing unicity: On the limits of anonymizing web tracking dataDeußer, C., Passmann, S. & Strufe, T., Mai 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers Inc., S. 777-790, 14 S., 9152774Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Iterative variable reordering: Taming huge system familiesDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 26 April 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (Hrsg.).S. 121-133, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Augmented Displays: Seamlessly Extending Interactive Surfaces With Head-Mounted Augmented RealityReipschläger, P., Engert, S. & Dachselt, R., 25 April 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. S. 1-4Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TimeBOMB: An Interactive Game Station Showcasing the History of Computer GamesEngert, S., Albrecht, R. D., Amend, C. & Meyer, F., 25 April 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing SystemsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Caladan: A Distributed Meta-OS for Data Center DisaggregationVilanova, L., Maudlej, L., Hille, M., Asmussen, N., Roitzsch, M. & Silberstein, M., April 2020Publikation: Beitrag zu Konferenzen > Paper
• Challenges in Collaborative Immersive VisualizationBüschel, W., Eckert, G. & Dachselt, R., April 2020, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Software-Defined Mobile Supply ChainsEngeßer, S., Aßmann, U., Buscher, U., Schönberger, J. O. & Urbas, L., April 2020, Dynamics in Logistics. Freitag, M., Haasis, H., Kotzab, H. & Pannek, J. (Hrsg.). Springer Link, S. 420-430Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGXSardar, M. U., Quoc, D. L. & Fetzer, C., April 2020, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper