Publications

2021

• CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device PlatformsMoreń, K. & Göhringer, D., 21 Jun 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A GraphBLAS implementation in pure Java.Dörre, F., Krause, A., Habich, D. & Junghanns, M., 20 Jun 2021, p. 5:1-5:9Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Pre-trained web table embeddings for table discoveryGünther, M., Thiele, M., Gonsior, J. & Lehner, W., 20 Jun 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, p. 24-31, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Evaluation of the Quality of Aerial Links in Low-Power Wireless Sensor NetworksWen, J. & Dargie, W., 15 Jun 2021, In: IEEE sensors journal. 21, 12, p. 13924-13934, 11 p., 9388696Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred.Zarubin, M., Damme, P., Krause, A., Habich, D. & Lehner, W., 14 Jun 2021, p. 17:1-17:12Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Modified Supervaluationist Framework for Decision-MakingKarge, J., 1 Jun 2021, In: Logos & Episteme : an international journal of epistemology. 12, 2, p. 175-191, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Immersive 3D visualization of multi-modal brain connectivityPester, B., Winke, O., Ligges, C., Dachselt, R. & Gumhold, S., 1 Jun 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). p. 7-11, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ADAM-CS: Advanced Asynchronous Monotonic Counter ServiceMartin, A., Lian, C., Gregor, F., Krahn, R., Schiavoni, V., Felber, P. & Fetzer, C., Jun 2021, p. 426-437, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Biggs Theorem for Directed Cycles and Topological Invariants of DigraphsHecht, M. & Sbalzarini, I. F., Jun 2021, In:  Advances in Pure Mathematics : APM. 11, 6, p. 573-594, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationSardar, M. U., Musaev, S. & Fetzer, C., Jun 2021, p. 83067 - 83079, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Display to Labeled Proofs and Back Again for Tense LogicsCiabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Jun 2021, In: ACM transactions on computational logic. 22, 3, p. 1-31, 31 p., 3460492Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Energy-Efficient Low-Latency Signed Multiplier for FPGA-Based Hardware Accelerators.Ullah, S., Nguyen, T. D. A. & Kumar, A., Jun 2021, In: IEEE Embed. Syst. Lett.. 13, 2, p. 41-44, 4 p., 9094238Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Grand Challenges in Immersive AnalyticsEns, B., Bach, B., Cordeil, M., Engelke, U., Serrano, M., Willett, W., Prouzeau, A. & 17 others, Jun 2021, CHI '21: 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
• Investigating the Impact of Real-World Environments on the Perception of 2D Visualizations in Augmented RealitySatkowski, M. & Dachselt, R., Jun 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 York, 15 p., 522Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MARVIS: Combining Mobile Devices and Augmented Reality for Visual Data AnalysisLangner, R., Satkowski, M., Büschel, W. & Dachselt, R., Jun 2021, CHI '21: 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 York, 17 p., 468Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MIRIA: A Mixed Reality Toolkit for the In-Situ Visualization and Analysis of Spatio-Temporal Interaction DataBüschel, W., Lehmann, A. & Dachselt, R., Jun 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 York, 15 p., 470Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deep Learning Improves Pancreatic Cancer Diagnosis Using RNA-Based VariantsAl-Fatlawi, A., Malekian, N., García, S., Henschel, A., Kim, I., Dahl, A., Jahnke, B. & 7 others, 28 May 2021, In: Cancers. 13, 11, 2654Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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