Publikationen

2020

• Markov Chain-based Modeling and Analysis of Checkpointing with Rollback Recovery for Efficient DSE in Soft Real-time Systems.Sahoo, S. S., Veeravalli, B. & Kumar, A., 2020, DFT. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Maximizing the Serviceability of Partially Reconfigurable FPGA Systems in Multi-tenant Environment.Nguyen, T. D. A. & Kumar, A., 2020, FPGA. S. 29-39, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Metric Temporal Description Logics with Interval-Rigid NamesBaader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2020, in: ACM transactions on computational logic. 21, 4, 46 S., 30Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Minimal witnesses for probabilistic timed automataJantsch, S., Funke, F. & Baier, C., 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (Hrsg.). Springer, Berlin [u. a.], S. 501-517, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modelling the Polysemy of Spatial Prepositions in Referring ExpressionsRichard-Bollans, A., Álvarez, L. G. & Cohn, A., 2020, Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20). Calvanese, D., Erdem, E. & Thielscher, M. (Hrsg.).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MorphStore: Analytical Query Engine with a Holistic Compression-Enabled Processing ModelDamme, P., Ungethüm, A., Pietrzyk, J., Krause, A., Habich, D. & Lehner, W., 2020, in: Proceedings of the VLDB Endowment. 13, 12, S. 2396-2410Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and SatisfiabilityFeng, S., Carapelle, C., Fernandez Gil, O. & Quaas, K., 2020, in: ACM Transactions on Computational Logic : TOCL. 21, 2, S. 1-34, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Objective Mismatch in Model-based Reinforcement LearningLambert, N., Amos, B., Yadan, O. & Calandra, R., 2020, in: Proceedings of Machine Learning Research. 120, S. 761-770, 10 S.Publikation: Beitrag in Fachzeitschrift > Konferenzartikel
• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. S. 618-624, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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