Publikationen

2023

• Optimizing Analytical Query Processing on Disaggregated HardwareGeyer, A. & Lehner, W., 2023, EDBT/ICDT 2023 Workshops: Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference. Fletcher, G. & Kantere, V. (Hrsg.).Band 3379. 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Partial Optimality in Cubic Correlation Clustering.Stein, D., Gregorio, S. D. & Andres, B., 2023, Proceedings of the 40th International Conference on Machine Learning. S. 32598-32617, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pipeline Group Optimization on Disaggregated SystemsGeyer, A., Krause, A., Habich, D. & Lehner, W., 2023Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• PNRG – A Library for Modeling Variable Structure Energy Gridsin Modelica using Energetic Petri NetsGutsche, C., Wang, Z., Götz, S., Prokopets, V. & Aßmann, U., 2023, Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11. Linköping, Univ., S. 727 - 736, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PostBOUND: PostgreSQL with Upper Bound SPJ Query OptimizationBergmann, R., Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2023, Datenbanksysteme fur Business, Technologie und Web, BTW 2023. Konig-Ries, B., Scherzinger, S., Lehner, W. & Vossen, G. (Hrsg.). Gesellschaft fur Informatik (GI), S. 283-304, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PraxisCheckUnterricht: 360° Videografie und immersive UnterrichtsreflexionBaberowski, D. & Spalteholz, W., 2023, Workshops der 21. Fachtagung Bildungstechnologien (DELFI): Bildungstechnologien in der Schule. Gesellschaft für Informatik e.V., S. 31-38, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PrefacePontelli, E., Costantini, S., Dodaro, C., Gaggl, S. A., Garcez, A. S. D., Fabiano, F., Mileo, A. & 2 weitere, 2023, Proceedings 39th International Conference on Logic ProgrammingElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAsKorol, G., Jordan, M. G., Rutzig, M. B., Castrillon, J. & Beck, A. C. S., 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+Álvarez, L. G., Rudolph, S. & Strass, H., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (Hrsg.). Association for the Advancement of Artificial Intelligence, S. 333-343, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pushing the Limits of an FCN and A CRF Towards Near-Ideal Vertebrae Labelling.Sekuboyina, A., Irmai, J., Shit, S., Kirschke, J., Andres, B. & Menze, B. H., 2023, 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI), Cartagena, Colombia. S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Representative Answer Sets: Collecting Something of Everything.Böhl, E., Gaggl, S. A. & Rusovac, D., 2023, S. 271-278, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic EfficiencyKucharski, S., Damnik, G., Stahr, F. & Braun, I., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I., Uhomoibhi, J. & McLaren, B. (Hrsg.). SCITEPRESS - Science and Technology Publications, Band 2. S. 410-417, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sabrina Spellman at SemEval-2023 Task 5: Discover the Shocking Truth Behind this Composite Approach to Clickbait Spoiling!Birkenheuer, S., Drechsel, J., Justen, P., Pöhlmann, J., Gonsior, J. & Reusch, A., 2023, Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023). Ojha, A. K., Dogruoz, A. S., Da San Martino, G., Madabushi, H. T., Kumar, R. & Sartori, E. (Hrsg.). Association for Computational Linguistics (ACL), S. 969-977, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Secure and Dynamic Publish/Subscribe: LCMsecJasper, M. & Kopsell, S., 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), S. 1-7Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Securing the Execution of ML Workflows across the Compute ContinuaMartin, A., Lordan Gomis, F. & Lezzi, D., 2023, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Semi-automatic Generation of Historical Urban 3D Models at a Larger Scale Using Structure-from-Motion, Neural Rendering and Historical MapsMaiwald, F., Komorowicz, D., Munir, I., Beck, C. & Münster, S., 2023, UHDL 2023: Research and Education in Urban History in the Age of Digital Libraries . S. 107-127Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Seminarkonzept zur fachlichen und fachdidaktischen Qualifizierung von Informatiklehramtsstudierenden zum Maschinellen LernenMarx, E. & Bergner, N., 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Gesellschaft fur Informatik (GI), Band 10. S. 65-74, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Seminar zur informatischen Bildung in der GrundschuleNenner, C. & Bergner, N., 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Desel, J. & Opel, S. (Hrsg.). FernUniversität in Hagen, S. 75-85, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Shisha: Online Scheduling of CNN Pipelines on Heterogeneous ArchitecturesSoomro, P. N., Abduljabbar, M., Castrillon, J. & Pericàs, M., 2023, Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Revised Selected Papers. Wyrzykowski, R., Dongarra, J., Deelman, E. & Karczewski, K. (Hrsg.). Springer Science and Business Media B.V., S. 249-262, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Special Session: Mitigating Side-Channel Attacks Through Circuit to Application Layer ApproachesKavand, N., Darjani, A., Trommer, J., Galderisi, G., Mikolajick, T., Muller, N., Moradi, A. & 8 weitere, 2023, Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023. Institute of Electrical and Electronics Engineers (IEEE), S. 8-17, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SpiNNaker2: A Large-Scale Neuromorphic System for Event-Based and Asynchronous Machine LearningGonzalez, H. A., Huang, J., Kelber, F., Nazeer, K. K., Langer, T. H., Liu, C., Lohrmann, M. A. & 7 weitere, 2023, First Workshop on Machine Learning with New Compute Paradigms. 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• STAMP-Rust: Language and Performance Comparison to C on Transactional BenchmarksSuchert, F. & Castrillon, J., 2023, Benchmarking, Measuring, and Optimizing - 14th Bench Council International Symposium, Bench 2022, Revised Selected Papers. Gainaru, A., Zhang, C. & Luo, C. (Hrsg.). Springer Science and Business Media B.V., S. 160-175, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Standpoint Linear Temporal LogicGigante, N., Álvarez, L. G. & Lyon, T., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (Hrsg.). IJCAI Inc, S. 311-321, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksChau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (Hrsg.). Springer, Cham, S. 401-421, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree AutomataFernandez Gil, O. & Marantidis, P., 2023, Proceedings of the 36th International Workshop on Description Logics (DL 2023): co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). CEUR-WS.org, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband