Publications

2019

• Expressive Cardinality Restrictions on Concepts in a Description Logic with Expressive Number RestrictionsBaader, F., 2019, In: ACM SIGAPP Applied Computing Review. 19, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fast approximated nearest neighbor joins for relational database systemsGünther, M., Thiele, M. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), p. 225-244, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fighting the duplicates in hashing: Conflict Detection-aware Vectorization of Linear ProbingPietrzyk, J., Ungethüm, A., Habich, D. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), p. 35-53, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxesBorgwardt, S., Forkel, W. & Kovtunova, A., 2019, Rules and Reasoning - Third International Joint Conference (RuleML+RR 2019). p. 3-18, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finishing Perspective (Endbehandlung Perspektive)Franke, I. S., Linke, M. & Bendicks, C., 2019Research output: Contribution to conferences > Paper
• First investigations of the vector supercomputer SX-Aurora Tsubasa as a co-processor for database systemsPietrzyk, J., Habich, D., Damme, P. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 Workshopband - Proceedings. Meyer, H., Ritter, N., Thor, A., Nicklas, D., Heuer, A. & Klettke, M. (eds.). Gesellschaft fur Informatik (GI), p. 33-50, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks.Turcanu, I., Engel, T. & Sommer, C., 2019, 11th IEEE Vehicular Networking Conference (VNC 2019). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FPGA-ROS: Methodology to Augment the Robot Operating System with FPGA DesignsPodlubne, A. & Göhringer, D., 2019, p. 1-5Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion EntailmentCarral, D., González, L. & Koopmann, P., 2019, The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019. p. 2736-2743, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Abstract)Carral, D., González, L. & Koopmann, P., 2019, Proceedings of the 32nd International Workshop on Description Logics (DL 2019)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating AutomataJantsch, S., Müller, D., Baier, C. & Klein, J., 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, Berlin [u. a.], p. 262-279, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generic Emptiness Check for Fun and ProfitBaier, C., Blahoudek, F., Duret-Lutz, A., Klein, J., Müller, D. & Strejček, J., 2019, Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings. Chen, Y., Cheng, C. & Esparza, J. (eds.). Springer, Berlin [u. a.], p. 445–461Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Greifbares Lernen von Informatikinhalten - Aktive Tangibles auf kapazitiven Multitouch-TischenLeonhardt, T. & Ehlenz, M., 2019, DELFI 2019. Pinkwart, N. & Konert, J. (eds.). Bonn: Gesellschaft für Informatik eV, p. 303-304, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Guest Editorial -- Advances and Novel Applications of Mobile Wireless NetworkingSommer, C. & Basagni, S., 2019, In: Ad Hoc NetworksElectronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Hardware/Software-Codesign for Hand Gestures Recognition using a Convolutional Neural NetworkSaid, S., Kalms, L., Göhringer, D. & Abd El Ghany, M. A., 2019, p. 23-28, 6 p.Research output: Contribution to conferences > Paper
• Hardware Watermarking Using Polymorphic Inverter Designs Based On Reconfigurable Nanotechnologies.Rai, S., Rupani, A., Nath, P. & Kumar, A., 2019, ISVLSI. p. 663-669, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• HiFlipVX: An Open Source High-Level Synthesis FPGA Library for Image ProcessingKalms, L., Podlubne, A. & Göhringer, D., 2019, p. 149-164, 16 p.Research output: Contribution to conferences > Paper
• High-Throughput BitPacking Compression.Lisa, N. J., Nguyen, T. D. A., Habich, D., Kumar, A. & Lehner, W., 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). p. 643-646, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Identifying barriers in telemedicine-supported integrated care research: scoping reviews and qualitative content analysisHarst, L., Timpel, P., Otto, L., Richter, P., Wollschlaeger, B., Winkler, K. & Schlieter, H., 2019, In: Journal of Public Health. 28, p. 583–594Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ID-IIOT – Ein servicebasierter Ansatz für das Management von eingeschränkt erreichbaren IIoT-GerätenHilbert, F., Soler Perez Olaya, S. & Wollschlaeger, M., 2019, Automation 2019: Autonomous Systems and 5G in Connected Industries . Düsseldorf, p. 61-74, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Implementation of a Chomsky-Schützenberger n-best parser for weighted multiple context-free grammarsRuprecht, T. & Denkinger, T., 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Volume 1 (Long and Short Papers). Minneapolis, Minnesota, p. 178-191Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Information Model Integration for Service-oriented Manufacturing Operation Management SystemsSchweizer, H. & Wollschlaeger, M., 2019, p. 28-33, 6 p.Research output: Contribution to conferences > Paper
• InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual AnalyticsMathisen, A., Horak, T., Klokmose, C. N., Grønbæk, K. & Elmqvist, N., 2019, In: Computer Graphics Forum. 38, 3, p. 649-661Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Inspection of Partial Bitstreams for FPGAs using Artificial Neural NetworksRettkowski, J., Mahmood, S., Shallufa, A., Hübner, M. & Göhringer, D., 2019, p. 83-86Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Integrate Confidence Ratings in Audience Response Systems in Order to Help Students to Self-regulate Their Learning Process.Braeschke, L., Braun, I., Kapp, F. & Hara, T., 2019, p. 409-415Electronic (full-text) versionResearch output: Contribution to conferences > Paper