Publikationen

2022

• The variance-penalized stochastic shortest path problemPiribauer, J., Sankur, O. & Baier, C., 1 Juli 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19, 19 S., 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?Bednarczyk, B. & Demri, S., 1 Juli 2022, in: Logical methods in computer science. 18, 3, S. 5:1–5:46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Stochastic Bin Packing Approach for Server Consolidation with ConflictsMartinovic, J., Hähnel, M., Scheithauer, G. & Dargie, W., Juli 2022, in: TOP. 30(2), S. 296-331, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conducive Design as an Iterative Process for Engineering CPPSKeßler, F., Lorenz, S., Miesen, F., Miesner, J., Pelzer, F., Satkowski, M., Klose, A. & 1 weitere, Juli 2022, Human Aspects of Advanced Manufacturing. New York, USA, Band 66. S. 13-20, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning-Oriented QoS- and Drop-Aware Task Scheduling for Mixed-Criticality Systems.Ranjbar, B., Alikhani, H., Safaei, B., Ejlali, A. & Kumar, A., Juli 2022, in: Computers : open access journal. 11, 7, 101Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• RTOS-supported Low Power Scheduling of Periodic Hardware Tasks in Flash-Based FPGAsWulf, C., Willig, M. & Göhringer, D., Juli 2022, in: Microprocessors and Microsystems. 92, 92, 14 S., 104566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Mobile Modeling with Real-Time Collaboration SupportHärtwig, M. & Götz, S., 30 Juni 2022, in: Journal of Object Technology. 21, 3, S. 1-15, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Quantifying Molecular Dynamics within Complex Cellular Morphologies using LLSM-FRAPColin-York, H., Heddleston, J., Wait, E., Karedla, N., deSantis, M., Khuon, S., Chew, T. & 2 weitere, 30 Juni 2022, in: Small methods. 6, 6, 11 S., 2200149Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Traveling more Independently: A Study on the Diverse Needs and Challenges of People with Visual or Mobility Impairments in Unfamiliar Indoor EnvironmentsMüller, K., Engel, C., Loitsch, C., Stiefelhagen, R. & Weber, G., 30 Juni 2022, in: ACM transactions on accessible computing. 15, 2, S. 1-44, 44 S., 13Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Admissibility in Probabilistic ArgumentationKäfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• To use or not to use the SIMD gather instruction?Habich, D., Pietrzyk, J., Krause, A., Hildebrandt, J. & Lehner, W., 12 Juni 2022, Proceedings of the International Conference on Management of Data, DaMoN 2022. S. 9:1--9:5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Guard the Cache: Dispatch Optimization in a Contextual Role-oriented LanguageSchütze, L., Kummer, C. & Castrillon, J., 7 Juni 2022, COP 2022 - Proceedings of the 14th International Workshop on Context-Oriented Programming and Advanced Modularity, Co-located with ECOOP 2022. Tanabe, Y., Lincke, J., Hirschfeld, R., Igarashi, A. & Masuhara, H. (Hrsg.). Association for Computing Machinery, S. 27-34, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scheduling of Hardware Tasks in Reconfigurable Mixed-Criticality SystemsWulf, C., Charaf, N. & Göhringer, D., 6 Juni 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022: New York City, NY, USA. 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.Droste, M., Fülöp, Z., Kószó, D. & Vogler, H., 5 Juni 2022, in: Theoretical computer science : the journal of the EATCS. 919, C, S. 118-143, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Answering Queries with Negation over Existential RulesEllmauthaler, S., Krötzsch, M. & Mennicke, S., 1 Juni 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5). 5 Aufl., Band 36. S. 5626–5633, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Dynamic Topology Construction in a Joint DeploymentWen, J. & Dargie, W., 1 Juni 2022, in: IEEE sensors journal. 22, 11, S. 11194-11204, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Formal Foundations for SCONE AttestationSardar, M. U. & Fetzer, C., 1 Juni 2022, S. 31-32, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Understanding Trust Assumptions for Attestation in Confidential ComputingSardar, M. U., 1 Juni 2022, S. 49-50, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Exploring Sketch-based Sound Associations for SonificationEngeln, L. & Keck, M., Juni 2022, AVI 2022 Workshop on Audio-Visual Analytics (WAVA22)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MaNaBIT: A Versatile Tool for Manipulating and Analyzing FPGA BitstreamsCharaf, N., Tietz, C. & Goehringer, D., Juni 2022, Proceedings - 2022 IEEE 30th International Symposium on Field-Programmable Custom Computing Machines, FCCM 2022Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sparkle Glyphs: A Glyph Design for the Analysis of Temporal Multivariate Audio FeaturesKeck, M. & Engeln, L., Juni 2022, AVI 2022: Proceedings of the 2022 International Conference on Advanced Visual InterfacesPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Stability selection enables robust learning of differential equations from limited noisy dataMaddu, S., Cheeseman, B. L., Sbalzarini, I. F. & Müller, C. L., Juni 2022, in: Proceedings of the Royal Society of London : Series A, Mathematical, physical and engineering sciences. 478, 2262, 25 S., 20210916Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Transparent Quality Optimization for Machine Learning-Based Regression in NeurologyWendt, K., Trentzsch, K., Haase, R., Weidemann, M. L., Weidemann, R., Aßmann, U. & Ziemssen, T., 31 Mai 2022, in: Journal of Personalized Medicine : open access journal. 12, 6, 13 S., 908Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxesBaader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 Mai 2022, Proceedings of the 19th Extended Semantic Web Conference (ESWC 2022), Hersonissos, Greece, May 29 - June 2, 2022. Groth, P., Vidal, M., Suchanek, F., Szekley, P., Kapanipathi, P., Pesquita, C., Skaf-Molli, H. & Tamper, M. (Hrsg.). Springer, Berlin [u. a.], S. 130-146, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 Mai 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper