Publications

2019

• Verkehrssimulation im Hardware-in-the-Loop-SteuergerätetestReinold, P., Meyer, N., Buse, D. S., Klingler, F., Sommer, C., Dressler, F., Eisenbarth, M. & 1 others, 2019, ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Virtual-Reality-Potenziale für die Ergonomieeinschätzung von Maschinen und Anlagen durch den Konstrukteur in kleinen und mittleren UnternehmenHilgers, I. & Günther, T., 2019Research output: Contribution to conferences > Paper
• VisualAudio-Design - Towards a Graphical SounddesignEngeln, L. & Groh, R., 2019, Proceecings of the 22th International Conference on Digital Audio Effects (DAFx-19). BirminghamResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Visualization approaches for understanding uncertainty in flow diagramsVosough, Z., Kammer, D., Keck, M. & Groh, R., 2019, In: Journal of Computer Languages. p. 44-54, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Visuelle Exploration multidimensionaler InformationsräumeKeck, M., 2019, Neuerscheinung ed., Dresden, 356 p.Research output: Book/Report/Anthology > Monograph
• VLog: A Rule Engine for Knowledge GraphsCarral, D., Dragoste, I., González, L., Jacobs, C., Krötzsch, M. & Urbani, J., 2019, Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II. Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V. I. F., Hogan, A., Song, J., Maxime, L. & Gandon, F. (eds.). Springer, Berlin [u. a.], p. 19–35Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Weighted Automata with StorageDroste, M., Herrmann, L. & Vogler, H., 2019, In: Information and Computation. 269, p. 1-29, 29 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Weighted Iterated Linear ControlVogler, H. & Fülöp, Z., 2019, In: Acta Informatica. 56, 5, p. 447-469, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Weighted parsing for grammar-based language modelsMörbitz, R. & Vogler, H., 2019, Proceedings of the 14th International Conference on Finite-State Methods and Natural Language Processing (FSMNLP 2019). The Association for Computational Linguistics, p. 46–55Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Weißt Du es oder rätst Du noch? - ARS mit Rückmeldungen zur Antwortzuversicht bei Lernfragen.Braeschke, L., Braun, I., Kapp, F. & Hara, T., 2019, p. 73-84Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Whisper: Fast Flooding for Low-Power Wireless NetworksBrachmann, M., Landsiedel, O., Göhringer, D. & Santini, S., 2019, In: ACM Transactions on Sensor Networks. 15, p. 47:1-47:26, 26 p.Research output: Contribution to journal > Research article
• 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, p. 1-13, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). CEUR-WS.org, 12 p., (CEUR Workshop Proceedings)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 170 - 173Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution

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