Publikationen

2021

• Display to Labeled Proofs and Back Again for Tense LogicsCiabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Juli 2021, in: ACM transactions on computational logic. 22, 3, 31 S., 3460492Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions.Ehlenz, M., Küppers, B., Leonhardt, T. & Schroeder, U., Juli 2021, S. 114-118, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Finite Model Theory of the Triguarded Fragment and Related Logics.Kieronski, E. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-13, 13 S., 9470734Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, S. 1-13, 13 S., 9470511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile ChartsEngel, C., Müller, E. F. & Weber, G., 29 Juni 2021, The 14th PErvasive Technologies Related to Assistive Environments Conference. S. 16-25, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Bigraphical domain-specific language (BDSL): User ManualGrzelak, D., 25 Juni 2021Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• A Memory-oriented Optimization Approach to Reinforcement Learning on FPGA-based Embedded Systems.Sahoo, S. S., Baranwal, A. R., Ullah, S. & Kumar, A., 22 Juni 2021, GLSVLSI 2021 - Proceedings of the 2021 Great Lakes Symposium on VLSI. S. 339-346, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device PlatformsMoreń, K. & Göhringer, D., 21 Juni 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A GraphBLAS implementation in pure Java.Dörre, F., Krause, A., Habich, D. & Junghanns, M., 20 Juni 2021, S. 5:1-5:9Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Pre-trained web table embeddings for table discoveryGünther, M., Thiele, M., Gonsior, J. & Lehner, W., 20 Juni 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, S. 24-31, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Resource-Efficient Database Query Processing on FPGAs.Moghaddamfar, M., Färber, C., Lehner, W., May, N. & Kumar, A., 20 Juni 2021, Proceedings of the 17th International Workshop on Data Management on New Hardware, DaMoN 2021. S. 4:1-4:8, 8 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Case for SIMDified Analytical Query Processing on GPUs.Fett, J., Ungethüm, A., Habich, D. & Lehner, W., 20 Juni 2021, S. 14:1-14:5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Evaluation of the Quality of Aerial Links in Low-Power Wireless Sensor NetworksWen, J. & Dargie, W., 15 Juni 2021, in: IEEE sensors journal. 21, 12, S. 13924-13934, 11 S., 9388696Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred.Zarubin, M., Damme, P., Krause, A., Habich, D. & Lehner, W., 14 Juni 2021, S. 17:1-17:12Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Modified Supervaluationist Framework for Decision-MakingKarge, J., 1 Juni 2021, in: Logos & Episteme : an international journal of epistemology. 12, 2, S. 175-191, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Immersive 3D visualization of multi-modal brain connectivityPester, B., Winke, O., Ligges, C., Dachselt, R. & Gumhold, S., 1 Juni 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). S. 7-11, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ADAM-CS: Advanced Asynchronous Monotonic Counter ServiceMartin, A., Lian, C., Gregor, F., Krahn, R., Schiavoni, V., Felber, P. & Fetzer, C., Juni 2021, S. 426-437, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Biggs Theorem for Directed Cycles and Topological Invariants of DigraphsHecht, M. & Sbalzarini, I. F., Juni 2021, in:  Advances in Pure Mathematics : APM. 11, 6, S. 573-594, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationSardar, M. U., Musaev, S. & Fetzer, C., Juni 2021, S. 83067 - 83079, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Energy-Efficient Low-Latency Signed Multiplier for FPGA-Based Hardware Accelerators.Ullah, S., Nguyen, T. D. A. & Kumar, A., Juni 2021, in: IEEE Embed. Syst. Lett.. 13, 2, S. 41-44, 4 S., 9094238Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Grand Challenges in Immersive AnalyticsEns, B., Bach, B., Cordeil, M., Engelke, U., Serrano, M., Willett, W., Prouzeau, A. & 17 weitere, Juni 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 YorkElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Investigating the Impact of Real-World Environments on the Perception of 2D Visualizations in Augmented RealitySatkowski, M. & Dachselt, R., Juni 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 S., 522Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MARVIS: Combining Mobile Devices and Augmented Reality for Visual Data AnalysisLangner, R., Satkowski, M., Büschel, W. & Dachselt, R., Juni 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 S., 468Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MIRIA: A Mixed Reality Toolkit for the In-Situ Visualization and Analysis of Spatio-Temporal Interaction DataBüschel, W., Lehmann, A. & Dachselt, R., Juni 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 S., 470Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RV-CAP: Enabling Dynamic Partial Reconfiguration for FPGA-Based RISC-V System-on-ChipCharaf, N., Kamaleldin, A., Thümmler, M. & Göhringer, D., Juni 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021: Portland, OR, USA. S. 172-179, 8 S., 9460688Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband