Publications

2019

• Joining Implications in Formal Contexts and Inductive Learning in a Horn Description LogicKriegel, F., 25 Jun 2019, 15th International Conference on Formal Concept Analysis, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings. Cristea, D., Ber, F. L. & Sertkaya, B. (eds.). Springer, Berlin [u. a.], p. 110-129, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic (Extended Version)Kriegel, F., 25 Jun 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• NEMESYS - A showcase of data oriented near memory graph processingKrause, A., Kissinger, T., Habich, D. & Lehner, W., 25 Jun 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, p. 1945-1948, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing tensor contractions for embedded devices with racetrack memory scratch-padsKhan, A. A., Hameed, F., Rink, N. A. & Castrillon, J., 23 Jun 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, p. 5-18, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A case study on machine learning for synthesizing benchmarksGoens, A., Cummins, C., Brauckmann, A., Leather, H., Ertel, S. & Castrillon, J., 22 Jun 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. (eds.). Association for Computing Machinery (ACM), New York, p. 38-46, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TeIL: A type-safe imperative tensor intermediate languageRink, N. A. & Castrillon, J., 8 Jun 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. (ed.). Association for Computing Machinery (ACM), New York, p. 57-68, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Smartcane: an active cane to support blind people through virtual mobility trainingEngel, C. & Branig, M., 5 Jun 2019, PETRA '19: Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 12 ed., New York: Association for Computing Machinery (ACM), p. 327-328Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)Carral, D., Dragoste, I. & Krötzsch, M., 1 Jun 2019, Proceedings of the 32nd International Workshop on Description Logics. Simkus, M. & Weddell, G. E. (eds.). CEUR-WS.org, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RTSim: A Cycle-Accurate Simulator for Racetrack MemoriesKhan, A. A., Hameed, F., Blasing, R., Parkin, S. & Castrillon, J., 1 Jun 2019, In: IEEE computer architecture letters. 18, 1, p. 43-46, 4 p., 8642352Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SeCoNetBench: A modular framework for secure container networking benchmarksOsman, A., Hanisch, S. & Strufe, T., 1 Jun 2019, Proceedings - 4th IEEE European Symposium on Security and Privacy Workshops, EUROS and PW 2019. p. 21-28, 8 p., 8802384Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)Carral, D., Dragoste, I. & Krötzsch, M., 1 Jun 2019, Proceedings of the 32nd International Workshop on Description Logics. Simkus, M. & Weddell, G. E. (eds.). CEUR-WS.org, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Software Toolkit for Complex Sensor Systems in Fog EnvironmentsGrzelak, D., Mai, C., Schöne, R., Falkenberg, J. & Aßmann, U., Jun 2019, Sensor Systems Simulations: From Concept to Solution. van Driel, W. D., Pyper, O. & Schumann, C. (eds.). Springer, Cham, p. 253–282Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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., Jun 2019, In: ACM transactions on database systems. 44, 3, 46 p., 9Electronic (full-text) versionResearch output: Contribution to journal > Research article
• INFAS: In-network flow management scheme for SDN control plane protectionLi, T., Salah, H., Ding, X., Strufe, T., Fitzek, F. H. & Santini, S., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers (IEEE), p. 367-373, 7 p., 8717921Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Persistent buffer management with optimistic consistencyLersch, L., Lehner, W. & Oukid, I., 16 May 2019, DaMoN'19: Proceedings of the 15th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New York, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning Description Logic Axioms from Discrete Probability Distributions over Description GraphsKriegel, F., 7 May 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. (eds.). Springer, Berlin [u. a.], p. 399-417, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs (Extended Version)Kriegel, F., 7 May 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Privacy-Preserving Ontology Publishing for ℰℒ Instance StoresBaader, F., Kriegel, F. & Nuradiansyah, A., 7 May 2019, 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Berlin [u. a.], p. 323-338, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Privacy-Preserving Ontology Publishing for ℰℒ Instance Stores (Extended Version)Baader, F., Kriegel, F. & Nuradiansyah, A., 7 May 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Vistribute: Distributing interactive visualizations in dynamic multi-device setupsHorak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 13 p., 616Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Comparative Study on Virtual Private Networks for Future Industrial Communication SystemsLackorzynski, T., Köpsell, S. & Strufe, T., 1 May 2019, 2019 15th IEEE International Workshop on Factory Communication Systems (WFCS). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 May 2019, Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers. Dobnik, S., Chatzikyriakidis, S. & Demberg, V. (eds.). The Association for Computational Linguistics, p. 32-37, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sandnet: Towards High Quality of Deception in Container-Based Microservice ArchitecturesOsman, A., Bruckner, P., Salah, H., Fitzek, F. H., Strufe, T. & Fischer, M., May 2019, 2019 IEEE International Conference on Communications, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), 8761171Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 Apr 2019, In: Nature. Vol. 568. p. E14Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
• Pluggable Components All The Way DownAsmussen, N., Roitzsch, M. & Weinhold, C., Apr 2019Research output: Contribution to conferences > Paper