Publications

2021

• Display to Labeled Proofs and Back Again for Tense LogicsCiabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Jul 2021, In: ACM transactions on computational logic. 22, 3, 31 p., 3460492Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions.Ehlenz, M., Küppers, B., Leonhardt, T. & Schroeder, U., Jul 2021, p. 114-118, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Finite Model Theory of the Triguarded Fragment and Related Logics.Kieronski, E. & Rudolph, S., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. p. 1-13, 13 p., 9470734Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, p. 1-13, 13 p., 9470511Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile ChartsEngel, C., Müller, E. F. & Weber, G., 29 Jun 2021, The 14th PErvasive Technologies Related to Assistive Environments Conference. p. 16-25, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Bigraphical domain-specific language (BDSL): User ManualGrzelak, D., 25 Jun 2021Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• A Memory-oriented Optimization Approach to Reinforcement Learning on FPGA-based Embedded Systems.Sahoo, S. S., Baranwal, A. R., Ullah, S. & Kumar, A., 22 Jun 2021, GLSVLSI 2021 - Proceedings of the 2021 Great Lakes Symposium on VLSI. p. 339-346, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Resource-Efficient Database Query Processing on FPGAs.Moghaddamfar, M., Färber, C., Lehner, W., May, N. & Kumar, A., 20 Jun 2021, Proceedings of the 17th International Workshop on Data Management on New Hardware, DaMoN 2021. p. 4:1-4:8, 8 p., 4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Case for SIMDified Analytical Query Processing on GPUs.Fett, J., Ungethüm, A., Habich, D. & Lehner, W., 20 Jun 2021, p. 14:1-14:5Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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
• 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
• RV-CAP: Enabling Dynamic Partial Reconfiguration for FPGA-Based RISC-V System-on-ChipCharaf, N., Kamaleldin, A., Thümmler, M. & Göhringer, D., Jun 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021: Portland, OR, USA. p. 172-179, 8 p., 9460688Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution