Publications

2018

• Adaptive particle representation of fluorescence microscopy imagesCheeseman, B. L., Günther, U., Gonciarz, K., Susik, M. & Sbalzarini, I. F., 1 Dec 2018, In: Nature Communications. 9, 1, 5160Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A New Approach for Automated Feature SelectionGocht, A., Lehmann, C. & Schöne, R., Dec 2018, 2018 IEEE International Conference on Big Data (Big Data). p. 4915-4920Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RIOT: An Open Source Operating System for Low-End Embedded Devices in the IoTBaccelli, E., Gündogan, C., Hahm, O., Kietzmann, P., Lenders, M. S., Petersen, H., Schleiser, K. & 2 others, Dec 2018, In: IEEE Internet of Things Journal. 5, 6, p. 4428-4440, 8315125Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the representation of mappings to multicoresGoens, A., Menard, C. & Castrillon, J., 16 Nov 2018, Proceedings - 2018 IEEE 12th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2018. IEEE, New York [u. a.], p. 184-191, 8 p., 8540232Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From verification to synthesis under cost-utility constraintsBaier, C. & Dubslaff, C., 12 Nov 2018, In: ACM SIGLOG News. 5, 4, p. 26–46Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On supplementing theoretical computer science courses using E-learningWilhelm-Weidner, A. & Bergner, N., 12 Nov 2018, Proceedings - 18th Koli Calling Conference on Computing Education Research, Koli Calling 2018. Association for Computing Machinery, Inc, a14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Phenotype loss is associated with widespread divergence of the gene regulatory landscape in evolutionRoscito, J. G., Sameith, K., Parra, G., Langer, B. E., Petzold, A., Moebius, C., Bickle, M. & 2 others, 9 Nov 2018, In: Nature communications. 9, 1, 4737Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Meta-programming for cross-domain tensor optimizationsSusungi, A., Rink, N. A., Cohen, A., Castrillon, J. & Tadonki, C., 5 Nov 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. Van Wyk, E. & Rompf, T. (eds.). Association for Computing Machinery, Inc, p. 79-92, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Making Repairs in Description Logics More GentleBaader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Oct 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. Wolter, F., Thielscher, M. & Toni, F. (eds.). USA: AAAI Press, p. 319-328, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Making Repairs in Description Logics More Gentle (Slides)Baader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Oct 2018Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Repairing Description Logic Ontologies by Weakening AxiomsBaader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Oct 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Making Repairs in Description Logics More Gentle (Extended Abstract)Baader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 27 Oct 2018, Proceedings of the 31st International Workshop on Description Logics, Tempe, Arizona, October 27-29, 2018. Ortiz, M. & Schneider, T. (eds.). CEUR-WS.org, Vol. 2211Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enterprise interoperability: Smart services and business impact of enterprise interoperabilityZelm, M., Jaekel, F. W., Doumeingts, G. & Wollschlaeger, M., 26 Oct 2018, Wiley, Chichester, 480 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• Part 11 Summary: Current research in enterprise interoperabilityWollschlaeger, M., 26 Oct 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Wiley, Chichester, p. 437-439, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Intraoperative mapping of the sensory cortex by time-resolved thermal imagingHoffmann, N., Radev, Y., Koch, E., Petersohn, U., Steiner, G. & Kirsch, M., 25 Oct 2018, In:  Biomedical engineering : joint journal of the German Society for Biomedical Engineering in VDE and the Austrian and Swiss Societies for Biomedical Engineering. 63, 5, p. 567-572, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Teaching in-memory database systems the detection of hardware ErrorsLehner, W., Habich, D. & Kolditz, T., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, New York [u. a.], p. 1663, 1 p., 8509424Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• How to improve the understanding of roles in modelingHamann, M., Pfeffer, J. & Demuth, B., 14 Oct 2018, MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, Inc, p. 114–121, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Software compilation techniques for heterogeneous embedded multi-core systemsLeupers, R., Aguilar, M. A., Castrillon, J. & Sheng, W., 13 Oct 2018, Handbook of Signal Processing Systems. Springer International Publishing AG, p. 1021-1062, 42 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Improving Quantization for Channel Reciprocity based Key GenerationWalther, P., Janda, C., Franz, E., Pelka, M., Hellbrück, H., Strufe, T. & Jorswieck, E., 4 Oct 2018, 2018 IEEE 43rd Conference on Local Computer Networks (LCN). IEEE TechRxiv, p. 545-552, 8 p., 8638248Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Combined Approach to Query Answering in Horn-ALCHOIQCarral, D., Dragoste, I. & Krötzsch, M., 1 Oct 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Thielscher, M., Toni, F. & Wolter, F. (eds.). AAAI Press, p. 339–348Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Agreement-based credibility assessment and task replication in human computation systemsPonciano, L. & Brasileiro, F., Oct 2018, In: Future generation computer systemsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Lower Bound-oriented Parameter Calculation for AN CodingHildebrandt, J., Kolditz, T., Habich, D. & Lehner, W., Oct 2018, 2018 International Symposium on Information Theory and Its Applications (ISITA). p. 590-594, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Acquisition of Terminological Knowledge in Probabilistic Description LogicKriegel, F., 24 Sep 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Trollmann, F. & Turhan, A. (eds.). Berlin, Germany: Springer, Berlin [u. a.], p. 46-53, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Terminological Knowledge Acquisition in Probabilistic Description LogicKriegel, F., 24 Sep 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• AADL-Based Stochastic Error Propagation Analysis for Reliable System Design of a Medical Patient TableMorozov, A., Mutzke, T., Ren, B. & Janschek, K., 11 Sep 2018, 2018 Annual Reliability and Maintainability Symposium, RAMS 2018. Institute of Electrical and Electronics Engineers Inc., 8463141Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution