Publikationen

2020

• On A Notion of RelevanceHaifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 177-194, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Skolem-Hardness and Saturation Points in Markov Decision ProcessesPiribauer, J. & Baier, C., 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 138:1-138:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 360–372Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 97-104, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Passive Angriffe auf kanalbasierten Schlüsselaustausch.Walther, P., Knauer, R. & Strufe, T., 2020, S. 41-51Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Plan2Vec: Unsupervised Representation Learning by Latent Plans.Yang, G., Zhang, A., Morcos, A. S., Pineau, J., Abbeel, P. & Calandra, R., 2020, L4DC. S. 935-946, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Polymorphic Compressed Replication of Columnar Data in Scale-Up Hybrid Memory Systems.Zarubin, M., Damme, P., Habich, D. & Lehner, W., 2020, S. 98-110Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 382-391, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Principal Abstract Families of Weighted Tree LanguagesFülöp, Z. & Vogler, H., 2020, in: Information and Computation. 282Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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.orgElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
• ProMACs: Progressive and Resynchronizing MACs for Continuous Efficient Authentication of Message Streams.Armknecht, F., Walther, P., Tsudik, G., Beck, M. & Strufe, T., 2020, S. 211-223Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 261-278, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• ProxSim: GPU-based Simulation Framework for Cross-Layer Approximate DNN Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, DATE. S. 1193-1198, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Prozessorchestrierung in verteilten Automatisierungssystemen - EKA 2020 - Entwurf komplexer Automatisierungssysteme, 16. FachtagungSchweizer, H., Braunisch, N. & Wollschlaeger, M., 2020, S. 15-24, 10 S.Publikation: Beitrag zu Konferenzen > 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, S. 112598-112614, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 1–14Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reachability in Dynamical Systems with RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 weitere, 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 36:1-36:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 59-85, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reasoner = Logical Calculus + Rule EngineCarral, D., Dragoste, I. & Krötzsch, M., 2020, in: KI - Kunstliche Intelligenz. 34, S. 453–463Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reasoning in Description Logic Ontologies for Privacy ManagementNuradiansyah, A., 2020, in: Künstliche Intelligenz : KI. 34, 3, S. 411-415, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 170-190, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Research Publishing Services, S. 4843-4850, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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-DecemberPublikation: Beitrag in Fachzeitschrift > Konferenzartikel