Publikationen

2019

• Graph traversals for regular path queriesTetzel, F., Kasperovics, R. & Lehner, W., 30 Juni 2019, GRADES-NDA'19: Proceedings of the 2nd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). Association for Computing Machinery (ACM), New York, S. 1-8Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Joining Implications in Formal Contexts and Inductive Learning in a Horn Description LogicKriegel, F., 25 Juni 2019, 15th International Conference on Formal Concept Analysis, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings. Cristea, D., Ber, F. L. & Sertkaya, B. (Hrsg.). Springer, Berlin [u. a.], S. 110-129, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic (Extended Version)Kriegel, F., 25 Juni 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• NEMESYS - A showcase of data oriented near memory graph processingKrause, A., Kissinger, T., Habich, D. & Lehner, W., 25 Juni 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, S. 1945-1948, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimizing tensor contractions for embedded devices with racetrack memory scratch-padsKhan, A. A., Hameed, F., Rink, N. A. & Castrillon, J., 23 Juni 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Association for Computing Machinery (ACM), New York, S. 5-18, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A case study on machine learning for synthesizing benchmarksGoens, A., Cummins, C., Brauckmann, A., Leather, H., Ertel, S. & Castrillon, J., 22 Juni 2019, MAPL 2019 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, co-located with PLDI 2019. Mattson, T., Muzahid, A. & Solar-Lezama, A. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 38-46, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TeIL: A type-safe imperative tensor intermediate languageRink, N. A. & Castrillon, J., 8 Juni 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 57-68, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Smartcane: an active cane to support blind people through virtual mobility trainingEngel, C. & Branig, M., 5 Juni 2019, PETRA '19: Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 12 Aufl., New York: Association for Computing Machinery (ACM), S. 327-328Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)Carral, D., Dragoste, I. & Krötzsch, M., 1 Juni 2019, Proceedings of the 32nd International Workshop on Description Logics. Simkus, M. & Weddell, G. E. (Hrsg.). CEUR-WS.org, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RTSim: A Cycle-Accurate Simulator for Racetrack MemoriesKhan, A. A., Hameed, F., Blasing, R., Parkin, S. & Castrillon, J., 1 Juni 2019, in: IEEE computer architecture letters. 18, 1, S. 43-46, 4 S., 8642352Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• SeCoNetBench: A modular framework for secure container networking benchmarksOsman, A., Hanisch, S. & Strufe, T., 1 Juni 2019, Proceedings - 4th IEEE European Symposium on Security and Privacy Workshops, EUROS and PW 2019. S. 21-28, 8 S., 8802384Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)Carral, D., Dragoste, I. & Krötzsch, M., 1 Juni 2019, Proceedings of the 32nd International Workshop on Description Logics. Simkus, M. & Weddell, G. E. (Hrsg.). CEUR-WS.org, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Software Toolkit for Complex Sensor Systems in Fog EnvironmentsGrzelak, D., Mai, C., Schöne, R., Falkenberg, J. & Aßmann, U., Juni 2019, Sensor Systems Simulations: From Concept to Solution. van Driel, W. D., Pyper, O. & Schumann, C. (Hrsg.). Springer, Cham, S. 253–282Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• From a Comprehensive Experimental Survey to a Cost-based Selection Strategy for Lightweight Integer Compression AlgorithmsDamme, P., Ungethüm, A., Hildebrandt, J., Habich, D. & Lehner, W., Juni 2019, in: ACM transactions on database systems. 44, 3, 46 S., 9Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• INFAS: In-network flow management scheme for SDN control plane protectionLi, T., Salah, H., Ding, X., Strufe, T., Fitzek, F. H. & Santini, S., 16 Mai 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., S. 367-373, 7 S., 8717921Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Persistent buffer management with optimistic consistencyLersch, L., Lehner, W. & Oukid, I., 16 Mai 2019, DaMoN'19: Proceedings of the 15th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New York, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning Description Logic Axioms from Discrete Probability Distributions over Description GraphsKriegel, F., 7 Mai 2019, Logics in Artificial Intelligence : 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (Hrsg.). Springer, Berlin [u. a.], S. 399-417, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs (Extended Version)Kriegel, F., 7 Mai 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Privacy-Preserving Ontology Publishing for ℰℒ Instance StoresBaader, F., Kriegel, F. & Nuradiansyah, A., 7 Mai 2019, 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (Hrsg.). Springer, Berlin [u. a.], S. 323-338, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Privacy-Preserving Ontology Publishing for ℰℒ Instance Stores (Extended Version)Baader, F., Kriegel, F. & Nuradiansyah, A., 7 Mai 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Vistribute: Distributing interactive visualizations in dynamic multi-device setupsHorak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N., 2 Mai 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 13 S., 616Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Comparative Study on Virtual Private Networks for Future Industrial Communication SystemsLackorzynski, T., Köpsell, S. & Strufe, T., 1 Mai 2019, 2019 15th IEEE International Workshop on Factory Communication Systems (WFCS). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using SkolemizationDiller, M., Wyner, A. Z. & Straß, H., 1 Mai 2019, Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers. Dobnik, S., Chatzikyriakidis, S. & Demberg, V. (Hrsg.). The Association for Computational Linguistics, S. 32-37, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sandnet: Towards High Quality of Deception in Container-Based Microservice ArchitecturesOsman, A., Bruckner, P., Salah, H., Fitzek, F. H., Strufe, T. & Fischer, M., Mai 2019, 2019 IEEE International Conference on Communications, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8761171Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Publisher Correction: Attachment of the blastoderm to the vitelline envelope affects gastrulation of insects (Nature, (2019), 568, 7752, (395-399), 10.1038/s41586-019-1044-3)Münster, S., Jain, A., Mietke, A., Pavlopoulos, A., Grill, S. W. & Tomancak, P., 25 April 2019, in: Nature. Band 568. S. E14Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)