Publications

2019

• 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
• Integrating Robots and WSN: Communication and Interfacing AspectsAntonopoulos, C. P., Panagiotou, C., Antonopoulos, K., Spournias, A., Voros, N., Schwiegelshohn, F., Wehner, P. & 6 others, 2019, RADIO--Robots in Assisted Living: Unobtrusive, Efficient, Reliable and Modular Solutions for Independent Ageing. Karkaletsis, V., Konstantopoulos, S., Voros, N. S., Annicchiarico, R., Dagioglou, M. & Antonopoulos, C. P. (eds.). Springer International Publishing AG, p. 47-82, 36 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Interactive Exploration of Large Decision Tree EnsemblesForberg, J., Mitschick, A., Voigt, M. & Dachselt, R., 2019Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Intrusive FPGA-in-the-loop debugging using a rule-based inference systemKhan, H. U. H., Podlubne, A. & Göhringer, D., 2019, In: Microprocessors and Microsystems. p. 185-194, 10 p.Research output: Contribution to journal > Research article
• Investigating Smartphone-Based Pan and Zoom in 3D Data Spaces in Augmented RealityBüschel, W., Mitschick, A., Meyer, T. & Dachselt, R., 2019, Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services. New York, NY, USA: Association for Computing Machinery (ACM), New York, 13 p., 2Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• IP Core Identification in FPGA Configuration Files using Machine Learning TechniquesMahmood, S., Rettkowski, J., Shallufa, A., Hübner, M. & Göhringer, D., 2019, p. 103-108, 6 p.Research output: Contribution to conferences > Paper
• Large-Scale Time Series Analytics - Novel Approaches for Generation and Prediction.Hahmann, M., Hartmann, C., Kegel, L. & Lehner, W., 2019, In: Datenbank-Spektrum. 19, 1, p. 17-29, 13 p., 1Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Learning to Identify Object Instances by Touch: Tactile Recognition via Multimodal Matching.Lin, J., Calandra, R. & Levine, S., 2019, 2019 International Conference on Robotics and Automation (ICRA). p. 3644-3650, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lightweight Authenticated Encryption for Network-on-Chip Communications.Harttung, J., Franz, E., Moriam, S. & Walther, P., 2019, p. 33-38Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Linear Context-Free Tree Languages and Inverse HomomorphismsOsterholzer, J., Dietze, T. & Herrmann, L., 2019, In: Information and Computation. 269, 104454Electronic (full-text) versionResearch output: Contribution to journal > Conference article