Publications

2021

• Visualization of Statistical Information in Concept Lattice Diagrams.Klimpke, J. & Rudolph, S., Jun 2021, Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings. Braud, A., Buzmakov, A., Hanika, T. & Le Ber, F. (eds.).p. 208-223, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enhancing Probabilistic Model Checking with OntologiesDubslaff, C., Koopmann, P. & Turhan, A., 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921, 37 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Responsibility Attribution in Parameterized Markovian ModelsBaier, C., Funke, F. & Majumdar, R., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. 13 ed., AAAI Press, Vol. 35. p. 11734-11743, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Investigating document layout and placement strategies for collaborative sensemaking in augmented realityLuo, W., Lehmann, A., Yang, Y. & Dachselt, R., 13 May 2021, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts (EA). Kitamura, Y., Quigley, A., Isbister, K. & Igarashi, T. (eds.).7 p., 456Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An online guided tuning approach to run CNN pipelines on edge devicesSoomro, P. N., Abduljabbar, M., Castrillon, J. & Pericàs, M., 11 May 2021, CF '21: Proceedings of the 18th ACM International Conference on Computing Frontiers. Association for Computing Machinery, Inc, p. 45-53, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BodyStylus: Freehand On-Body Design and Fabrication of Epidermal InterfacesPourjafarian, N., Koelle, M., Fruchard, B., Mavali, S., Klamka, K., Groeger, D., Strohmeier, P. & 1 others, 6 May 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York, NY, USA: Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Experiences and insights from using Github Classroom to support Project-Based CoursesNelson, M. A. & Ponciano, L., 1 May 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], p. 31-35, 5 p., 9474647. (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Parametrizable High-Level Synthesis Library for Accelerating Neural Networks on FPGAsKalms, L., Amini Rad, P., Ali, M., Iskander, A. & Göhringer, D., May 2021, In: Journal of Signal Processing Systems. 93, 5, p. 513-529, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• CLAppED: A Design Framework for Implementing Cross-Layer Approximation in FPGA-based Embedded Systems.Ullah, S., Sahoo, S. S. & Kumar, A., May 2021, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. p. 475-480, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Development, characterisation, and deployment of the SNO plus liquid scintillatorAnderson, M. R., Andringa, S., Anselmo, L., Arushanova, E., Asahi, S., Askins, M., Auty, D. J. & 217 others, May 2021, In: Journal of instrumentation. 16, 5, 23 p., P05009Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Experiences with User Studies in Augmented RealitySatkowski, M., Büschel, W. & Dachselt, R., May 2021, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Poster Abstract: HiL meets Commodity Hardware – SimbaR for coupling IEEE 802.11 Radio ChannelsFranke, M. & Klingler, F., May 2021, 40th IEEE International Conference on Computer Communications (INFOCOM 2021), Poster Session. 9484559Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward the Design of Fault-Tolerance-Aware and Peak-Power-Aware Multicore Mixed-Criticality SystemsRanjbar, B., Hosseinghorban, A., Salehi, M., Ejlali, A. & Kumar, A., May 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 5, p. 1509-1522, 14 p., 5Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A canonical string encoding for pure bigraphsGrzelak, D. & Aßmann, U., 30 Apr 2021, In: SN Computer Science. 2, 4, 14 p., 246Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A User-Centered Approach to Gamify the Manual Creation of Training Data for Machine LearningAlaghbari, S., Mitschick, A., Blichmann, G., Voigt, M. & Dachselt, R., 27 Apr 2021, In:  i-com : journal of interactive media. 20, 1, p. 33–48, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The significance of the Tactile Internet and 5G for digital agricultureFranchi, N., Fettweis, G. P. & Herlitzius, T., 27 Apr 2021, In: At-Automatisierungstechnik. 69, 4, p. 281-286, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Security of Alerting Authorities in the WWW: Measuring Namespaces, DNSSEC, and Web PKIFotouhi Tehrani, P., Osterweil, E., Schiller, J. H., Schmidt, T. C. & Wählisch, M., 19 Apr 2021, WWW '21: Proceedings of the Web Conference 2021. ACM New York, NY, USA, p. 2709-2720, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Particle-based segmentation of extended objects on curved biological membranesSolomatina, A., Kalaidzidis, Y., Cezanne, A., Soans, K., Norden, C., Zerial, M. & Sbalzarini, I. F., 13 Apr 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging (ISBI). p. 1150-1154, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Materializing Knowledge Bases via Trigger GraphsTsamoura, E., Carral, D., Malizia, E. & Urbani, J., 12 Apr 2021, In: Proceedings of the VLDB Endowment. 14, 6, p. 943–956, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Completing the Picture: Complexity of Graded Modal Logics with ConverseBednarczyk, B., Kieroński, E. & Witkowski, P., 1 Apr 2021, In: Theory and practice of logic programming : TPLP. 21, 4, p. 493-520, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Short-Range SAR Imaging From GHz to THz WavesBatra, A., Barowski, J., Damyanov, D., Wiemeler, M., Rolfes, I., Schultze, T., Balzer, J. C. & 2 others, 1 Apr 2021, In: IEEE Journal of Microwaves. 1, 2, p. 574-585, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• How well can your car be tracked: Analysis of the European C-ITS pseudonym schemeEscher, S., Sontowski, M., Berling, K., Kopsell, S. & Strufe, T., Apr 2021, 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring). Helsinki: IEEE Xplore, 9449078Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning physically consistent differential equation models from data using group sparsityMaddu, S., Cheeseman, B. L., Müller, C. L. & Sbalzarini, I. F., Apr 2021, In: Physical Review E. 103, 4, 042310Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Mastering the NEC Vector Engine Accelerator for Analytical Query ProcessingUngethüm, A., Schmidt, L., Pietrzyk, J., Habich, D. & Lehner, W., Apr 2021, 2021 IEEE 37th International Conference on Data Engineering Workshops (ICDEW). IEEE, New York [u. a.], p. 60-65, 6 p., 9438755Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Neural machine translating from natural language to SPARQL.Yin, X., Gromann, D. & Rudolph, S., Apr 2021, In: Future generation computer systems. 117, p. 510-519, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article