Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3545 Einträge
2022
-
The variance-penalized stochastic shortest path problem , 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? , 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 Conflicts , 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 CPPS , 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. , 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 FPGAs , Juli 2022, in: Microprocessors and Microsystems. 92, 92, 14 S., 104566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Mobile Modeling with Real-Time Collaboration Support , 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-FRAP , 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 Environments , 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 Argumentation , 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? , 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 Language , 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 Systems , 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. , 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 Rules , 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 Deployment , 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 Attestation , 1 Juni 2022, S. 31-32, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Understanding Trust Assumptions for Attestation in Confidential Computing , 1 Juni 2022, S. 49-50, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Exploring Sketch-based Sound Associations for Sonification , 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 Bitstreams , 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 Features , 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 data , 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 Neurology , 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 ABoxes , 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) , 29 Mai 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper