Publications

2020

• On the Complexity of Finding Good Proofs for Description Logic EntailmentsAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Lifted Multicut Polytope for TreesLange, J. & Andres, B., 2020, Pattern Recognition: 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings. Akata, Z., Geiger, A. & Sattler, T. (eds.). Springer, Berlin [u. a.], p. 360–372Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing the Operational Time of Ambient Assisting Living RobotsKeramidas, G., Antonopoulos, C., Spournias, A., Voros, N. S., Schwiegelshohn, F., Göhringer, D. & Mariatos, E., 2020, In: IEEE Consumer Electronics Magazine. 9, 3, p. 97-104, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Passive Angriffe auf kanalbasierten Schlüsselaustausch.Walther, P., Knauer, R. & Strufe, T., 2020, p. 41-51Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Plan2Vec: Unsupervised Representation Learning by Latent Plans.Yang, G., Zhang, A., Morcos, A. S., Pineau, J., Abbeel, P. & Calandra, R., 2020, L4DC. p. 935-946, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Polymorphic Compressed Replication of Columnar Data in Scale-Up Hybrid Memory Systems.Zarubin, M., Damme, P., Habich, D. & Lehner, W., 2020, p. 98-110Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Preparatory reflections on safe context-adaptive software (Position Paper)Grzelak, D. & Aßmann, U., 2020, IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security. Wills, G., Kacsuk, P. & Chang, V. (eds.). SCITEPRESS - Science and Technology Publications, p. 382-391, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Principal Abstract Families of Weighted Tree LanguagesFülöp, Z. & Vogler, H., 2020, In: Information and Computation. 282Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020Borgwardt, S. & Meyer, T., 2020, CEUR-WS.orgElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• ProMACs: Progressive and Resynchronizing MACs for Continuous Efficient Authentication of Message Streams.Armknecht, F., Walther, P., Tsudik, G., Beck, M. & Strufe, T., 2020, p. 211-223Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Promoting Prospective Teacher Competencies for Designing, Implementing, Evaluating, and Adapting Interactive Formative Feedback StrategiesNarciss, S., Hammer, E., Damnik, G., Kisielski, K. & Körndle, H., 2020, In: Psychology learning and teaching. 20, 2, p. 261-278, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ProxSim: GPU-based Simulation Framework for Cross-Layer Approximate DNN Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, DATE. p. 1193-1198, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Prozessorchestrierung in verteilten Automatisierungssystemen - EKA 2020 - Entwurf komplexer Automatisierungssysteme, 16. FachtagungSchweizer, H., Braunisch, N. & Wollschlaeger, M., 2020, p. 15-24, 10 p.Research output: Contribution to conferences > Paper
• Quantitative Characterization of Reconfigurable Transistor Logic Gates.Raitza, M., Märcker, S., Trommer, J., Heinzig, A., Klüppelholz, S., Baier, C. & Kumar, A., 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile PrototypesKlamka, K., Dachselt, R. & Steimle, J., 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 1–14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reachability in Dynamical Systems with RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 others, 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reactors: A Deterministic Model for Composable Reactive SystemsLohstroh, M., Romeo, Í. Í., Goens, A., Derler, P., Castrillon, J., Lee, E. A. & Sangiovanni-Vincentelli, A., 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (eds.). Springer, Berlin [u. a.], p. 59-85, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reasoner = Logical Calculus + Rule EngineCarral, D., Dragoste, I. & Krötzsch, M., 2020, In: KI - Kunstliche Intelligenz. 34, p. 453–463Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reasoning in Description Logic Ontologies for Privacy ManagementNuradiansyah, A., 2020, In: Künstliche Intelligenz : KI. 34, 3, p. 411-415, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• RecordFlux: Formal Message Specification and Generation of Verifiable Binary ParsersReiher, T., Senier, A., Castrillon, J. & Strufe, T., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S. (eds.). Springer, Berlin [u. a.], p. 170-190, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reduction methods on probabilistic control-flow programs for reliability analysisDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 2020, 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Research Publishing Services, p. 4843-4850, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Re-examining linear embeddings for high-dimensional Bayesian optimizationLetham, B., Calandra, R., Rai, A. & Bakshy, E., 2020, In: Advances in neural information processing systems : ... proceedings of the ... conference. 2020-DecemberResearch output: Contribution to journal > Conference article
• Reinforced feature points: Optimizing feature detection and description for a high-level taskBhowmik, A., Gumhold, S., Rother, C. & Brachmann, E., 2020, 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 4947-4956, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)Fernandez Gil, O. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL'20). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Resource Efficient Dynamic Voltage and Frequency Scaling on Xilinx FPGAsAkgün, G., Kalms, L. & Göhringer, D., 2020, p. 178-192, 15 p.Research output: Contribution to conferences > Paper