Publikationen

2019

• Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?Bednarczyk, B. & Demri, S. É., 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. Vorlage:IEEE, S. 1-13, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct CountingBednarczyk, B. & Rudolph, S., 2019, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.. Simkus, M. & Weddell, G. E. (Hrsg.). CEUR-WS.org, 12 S., (CEUR Workshop Proceedings)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Zuversichtserfassung als Mittel zur Stärkung von selbstreguliertem LernenBraun, I., Damnik, G., Kubica, T., Hara, T. & Braeschke, L., 2019, Workshop Gemeinschaften in Neuen Medien (GeNeMe) 2019. Dresden: TUDpress/Thelem Universitätsverlag, S. 170 - 173Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2018

• Adaptive particle representation of fluorescence microscopy imagesCheeseman, B. L., Günther, U., Gonciarz, K., Susik, M. & Sbalzarini, I. F., 1 Dez. 2018, in: Nature Communications. 9, 1, 5160Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A New Approach for Automated Feature SelectionGocht, A., Lehmann, C. & Schöne, R., Dez. 2018, 2018 IEEE International Conference on Big Data (Big Data). S. 4915-4920Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, Dez. 2018, in: IEEE Internet of Things Journal. 5, 6, S. 4428-4440, 8315125Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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.], S. 184-191, 8 S., 8540232Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From verification to synthesis under cost-utility constraintsBaier, C. & Dubslaff, C., 12 Nov. 2018, in: ACM SIGLOG News. 5, 4, S. 26–46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, a14Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 9 Nov. 2018, in: Nature communications. 9, 1, 4737Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Association for Computing Machinery, Inc, S. 79-92, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Making Repairs in Description Logics More GentleBaader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Okt. 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. (Hrsg.). USA: AAAI Press, S. 319-328, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Making Repairs in Description Logics More Gentle (Slides)Baader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Okt. 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Repairing Description Logic Ontologies by Weakening AxiomsBaader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 30 Okt. 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Making Repairs in Description Logics More Gentle (Extended Abstract)Baader, F., Kriegel, F., Nuradiansyah, A. & Peñaloza, R., 27 Okt. 2018, Proceedings of the 31st International Workshop on Description Logics, Tempe, Arizona, October 27-29, 2018. Ortiz, M. & Schneider, T. (Hrsg.). CEUR-WS.org, Band 2211Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Enterprise interoperability: Smart services and business impact of enterprise interoperabilityZelm, M., Jaekel, F. W., Doumeingts, G. & Wollschlaeger, M., 26 Okt. 2018, Wiley, Chichester, 480 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• Part 11 Summary: Current research in enterprise interoperabilityWollschlaeger, M., 26 Okt. 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Wiley, Chichester, S. 437-439, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Intraoperative mapping of the sensory cortex by time-resolved thermal imagingHoffmann, N., Radev, Y., Koch, E., Petersohn, U., Steiner, G. & Kirsch, M., 25 Okt. 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, S. 567-572, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Teaching in-memory database systems the detection of hardware ErrorsLehner, W., Habich, D. & Kolditz, T., 24 Okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, New York [u. a.], S. 1663, 1 S., 8509424Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• How to improve the understanding of roles in modelingHamann, M., Pfeffer, J. & Demuth, B., 14 Okt. 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, S. 114–121, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Software compilation techniques for heterogeneous embedded multi-core systemsLeupers, R., Aguilar, M. A., Castrillon, J. & Sheng, W., 13 Okt. 2018, Handbook of Signal Processing Systems. Springer International Publishing AG, S. 1021-1062, 42 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Improving Quantization for Channel Reciprocity based Key GenerationWalther, P., Janda, C., Franz, E., Pelka, M., Hellbrück, H., Strufe, T. & Jorswieck, E., 4 Okt. 2018, 2018 IEEE 43rd Conference on Local Computer Networks (LCN). IEEE TechRxiv, S. 545-552, 8 S., 8638248Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Combined Approach to Query Answering in Horn-ALCHOIQCarral, D., Dragoste, I. & Krötzsch, M., 1 Okt. 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Thielscher, M., Toni, F. & Wolter, F. (Hrsg.). AAAI Press, S. 339–348Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Agreement-based credibility assessment and task replication in human computation systemsPonciano, L. & Brasileiro, F., Okt. 2018, in: Future generation computer systemsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Lower Bound-oriented Parameter Calculation for AN CodingHildebrandt, J., Kolditz, T., Habich, D. & Lehner, W., Okt. 2018, 2018 International Symposium on Information Theory and Its Applications (ISITA). S. 590-594, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband