Publications

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. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Maximizing the Serviceability of Partially Reconfigurable FPGA Systems in Multi-tenant Environment.Nguyen, T. D. A. & Kumar, A., 2020, FPGA. p. 29-39, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p., 30Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.). Springer, Berlin [u. a.], p. 501-517, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 2396-2410Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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, p. 1-34, 34 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Objective Mismatch in Model-based Reinforcement LearningLambert, N., Amos, B., Yadan, O. & Calandra, R., 2020, In: Proceedings of Machine Learning Research. 120, p. 761-770, 10 p.Research output: Contribution to journal > Conference article
• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. p. 618-624, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Cham: Springer International Publishing AG, p. 177-194, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 138:1-138:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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