FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Memmesheimer, Raphael; Theisen, Nick; Paulus, Dietrich
SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action RecognitionS. 1 - 8
Matamoros, Mauricio; Harbusch, Karin; Paulus, Dietrich
From Commands to Goal-based Dialogs: A Roadmap to Achieve Natural Language Interaction in RoboCup@HomeS. 1 - 13
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]
Mu, Mu; Dohan, Murtada; Goodyear, Alison et al.
User Attention and Behaviour in Virtual Reality Art EncounterS. 1 - 22
Kaune, Sebastian; Rumín, Rubén Cuevas; Tyson, Gareth et al.
Unraveling BitTorrent’s File Unavailability: Measurements, Analysis and Solution ExplorationS. 1 - 12
Alahmadi, Amal A.; Musa, Mohamed O. I.; El-Gorashi, Taisir E. H. et al.
Fogbanks: Future Dynamic Vehicular Fog Banks for Processing, Sensing and Storage in 6GS. 1 - 6
Ivkic, Igor; Sailer, Patrizia; Gouglidis, Antonios et al.
A Security Cost Modelling Framework for Cyber-Physical SystemsS. 1 - 31
Sailer, Patrizia; Ivkic, Igor; Tauber, Markus et al.
Analysing Design Approaches for the Power Consumption in Cyber-Physical SystemsS. 1 - 6
Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
Detecting Toxic Content Online and the Effect of Training Data on Classification PerformanceS. 1 - 14
Orphanou, Kalia; Christoforou, Evgenia; Otterbacher, Jahna et al.
Preserving the memory of the first wave of COVID-19 pandemic: Crowdsourcing a collection of image search queriesS. 1 - 10
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)S. 1 - 43
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsS. 1 - 30
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisS. 1 - 39
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsS. 1 - 33
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsS. 1 - 41
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningS. 1 - 24
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsS. 1 - 42
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsS. 1 - 31
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsS. 1 - 39
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataS. 1 - 50
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesS. 1 - 16
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems (Summary)Rick Rabiser;Manuel Wimmer;Iris Groher;Andreas Wortmann;Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48
Wolters, Anna; Arz von Straussenburg, Arnold; Riehle, Dennis
AI Literacy in Adult Education - A Literature ReviewTung X. Bui (Hrsg). Proceedings of the 57th Hawaii International Conference on System Sciences HICSS 2024: Hilton Hawaiian Village Waikiki Beach Resort, Honolulu January 3-6, 2024. Honolulu, HI: University of Hawaii at Manoa 2024 S. 6888 - 6897
Siapera, Maria; Schmitz, Andreas; Wimmer, Maria et al.
Closing the gap: Leveraging data for seamless integration between pre-award and post-award in public procurementTung X. Bui (Hrsg). Proceedings of the 57th Hawaii International Conference on System Sciences HICSS 2024: Hilton Hawaiian Village Waikiki Beach Resort, Honolulu January 3-6, 2024. Honolulu, HI: University of Hawaii at Manoa 2024 S. 2181 - 2189
Li, Yuelin; He, Pengfei; Yuan, Xiaojun et al.
Developing and evaluating a gamified information retrieval system for Generation ZLibrary & Information Science Research. Bd. 46. H. 1. Oxford: Elsevier 2024 S. 101270
von Gladiss, Anselm; Ahmadian, Amir Shayan; Jürjens, Jan
Image reconstruction in a data space for MPIInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl.1. Lübeck: Infinite Science Publishing 2024
Grijalva Garces, David; Strauß, Svenja; Gretzinger, Sarah et al.
On the reproducibility of extrusion-based bioprinting: round robin study on standardization in the fieldBiofabrication. Bd. 16. H. 1. Bristol: IOP Publishing 2024
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.VMCAI (1). 2024 S. 303 - 325
Mints, Mark O.; Abayev, Roman; Theisen, Nick et al.
Online Calibration of Extrinsic Parameters for Solid-State LIDAR SystemsSensors. Bd. 24. H. 7. Basel: MDPI 2024
Clough, Paul; Harvey, Morgan; Hopfgartner, Frank
Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United KingdomNew York, NY: ACM Association for Computing Machinery 2024
Wegner, Franz; Friedrich, Thomas; Wattenberg, Maximilian et al.
Stent Tracking by Magnetic Particle ImagingInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl. 1. Lübeck: Infinite Science Publishing 2024
Zhao, Mengyisong; Harvey, Morgan; Cameron, David et al.
The Effect of Simulated Contextual Factors on Recipe Rating and Nutritional Intake BehaviourPaul Clough;Morgan Harvey;Frank Hopfgartner (Hrsg). Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United Kingdom. New York, NY: ACM Association for Computing Machinery 2024 S. 97 - 107
Bartliff, Zoe; Kim, Yunhyong; Hopfgartner, Frank
Towards privacy-aware exploration of archived personal emailsInternational Journal on Digital Libraries. Heidelberg: Springer 2024 S. 1 - 35
Sofronie-Stokkermans, Viorica
Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. On symbol elimination in theory extensions and applications to parametric verification.Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template SystemsKurt Schneider;Fabiano Dalpiaz;Jennifer Horkoff (Hrsg). Proceedings of the 31st International Requirements Engineering Conference RE 2023; 4 - 8 September 2023, Hannover, Germany. Los Alamitos, CA: IEEE Computer Society 2023 S. 41 - 52
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems31st International Requirements Engineering Conference (RE). Hannover: IEEE 2023 S. 41 - 52
Kramer, Ivanna; Bauer, Sabine; Keppler, Valentin
A Simple, Efficient Method for an Automatic Adjustment of the Lumbar Curvature Alignment in an MBS Model of the SpineBiomechanics. Bd. 3. H. 2. Basel: MDPI 2023 S. 166 - 180
Kramer, Ivanna; Bauer, Sabine; Paulus, Dietrich
Abstract: Determination of Unknown Biomechanical Parameters of a Screw-vertebra MBS ModelThomas M. Deserno;Heinz Handels;Andreas Maier;Klaus Maier-Hein;Christoph Palm;Thomas Tolxdorff (Hrsg). Bildverarbeitung für die Medizin 2023: Proceedings, German Workshop on Medical Image Computing, Braunschweig, July 2-4, 2023. Wiesbaden: Springer Vieweg 2023 S. 197
Siapera, Maria; Schmitz, Andreas; Wimmer, Maria A. et al.
AgInTeF: Agile Interoperability Testing Framework for Orchestrating Overarching Procedures in Verifying Digital Public ServicesDavid Duenas Cid;Nadzeya Sabatini;Loni Hagen;Hsin-chung Liao (Hrsg). Proceedings of the 24th Annual International Conference on Digital Government Research DGO 2023 - Together in the unstable world: Digital government and solidarity; Gdańsk, Poland, 11 - 14 July 2023. New York, NY: ACM Association for Computing Machinery 2023 S. 514 - 525
Zhao, Mengyisong; Harvey, Morgan; Cameron, Dave et al.
An Analysis of Classification Approaches for Hit Song Prediction using Engineered Metadata Features with Lyrics and Audio FeaturesIsaac Sserwanga;Anne Goulding;Heather Moulaison-Sandy;Jia Tina Du;António Lucas Soares;Viviane Hessami;Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 303 - 311
Zhao, Mengyisong; Harvey, Morgan; Cameron, David et al.
An Analysis of Classification Approaches for Hit Song Prediction Using Engineered Metadata Features with Lyrics and Audio FeaturesLecture Notes in Computer Science. Cham: Springer 2023 S. 303 - 311
Kramer, Ivanna; Bauer, Sabine
Analysis of Adolescents’ Head to Shoulder Region during Tablet Use from Sagittal and Frontal RGB ImagesApplied Biosciences. Bd. 2. H. 3. Basel: MDPI 2023 S. 421 - 436
Paulus, Dietrich; Al-Dhamari, Ibraheem; Helal, Rania et al.
Automatic cochlear multimodal 3D image segmentation and analysis using atlas–model-based methodCochlear Implants International. Abingdon: Taylor & Francis 2023 S. 1 - 13
Mints, Mark; Theisen, Nick; Abayev, Roman et al.
Automatische extrinsische Kalibrierung für solid-state-LIDAR-SystemeStephan Rothstock;Benjamin Hohnhäuser;Daniel Krueger;Michael Pochanke (Hrsg). 3D-NordOst 2022: Tagungsband 24. Anwendungsbezogener Workshop zur Erfassung, Modellierung, Verarbeitung und Auswertung von 3D-Daten; Tagungsband; Berlin; 01./02. Dezember 2022. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2023 S. 99 - 108
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]Omar Alonso;Ricardo Baeza-Yates;Tracy Holloway King;Gianmaria Silvello (Hrsg). Proceedings of the Third International Conference on Design of Experimental Search & Information REtrieval Systems DESIRES 2022: San Jose, CA, USA, August 30-31, 2022. Aachen: CEUR/RWTH 2023 S. 76 - 82
Schubert, Petra; Winkelmann, Axel
Betriebswirtschaftliche Anwendungssysteme: Enterprise Resource PlanningWiesbaden: Springer Gabler 2023
Boukhers, Zeyd; Bouabdellah, Azeddine; Yang, Cong et al.
Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency VolatilityIngo Frommholz;Frank Hopfgartner;Mark Lee;Michael Oakes;Mounia Lalmas;Min Zhang;Rodrygo Santos;Carl Yang;Chanyoung Park (Hrsg). CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United Kingdom. New York, NY: ACM Association for Computing Machinery 2023 S. 142 - 151
Voigt, Miriam; Engel, Inka
Career Jumpers on Their Way to Teacher Professionalism - Challenges and Opportunities Based on Different Working BackgroundsSabine Krause;Michelle Proyer;Gertraud Kremsner (Hrsg). The Making of Teachers in the Age of Migration: Critical Perspectives on the Politics of Education for Refugees, Immigrants and Minorities. 1. Aufl. London: Bloomsbury Academic 2023 S. 119 - 132
Tuma, Katja; Peldszus, Sven; Strüber, Daniel et al.
Checking security compliance between models and codeSoftware and Systems Modeling. Bd. 22. H. 1. Berlin: Springer 2023 S. 273 - 296
Frommholz, Ingo; Hopfgartner, Frank; Lee, Mark et al.
CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United KingdomNew York, NY: ACM Association for Computing Machinery 2023
Kramer, Ivanna; Memmesheimer, Raphael; Paulus, Dietrich
Classification of pathological and healthy individuals for computer-aided physical rehabilitationJun Ueda;Bjørn Solvang;Van Ho;Yumi Iwashita;Oliver Sawodny;Yue Chen (Hrsg). Proceedings of the IEEE/SICE International Symposium on System Integration, SII 2023, Atlanta, GA, USA, January 17-20, 2023. Piscataway, NJ: IEEE Computer Society 2023 S. 22626366
Just, Martin; Schubert, Petra
Collaborative Actions on Documents Ontology (ColActDOnt)Ricardo Martinho;Rui Rijo;Maria Manuela Cruz-Cunha (Hrsg). CENTERIS 2022 – International Conference on ENTERprise Information Systems / ProjMAN – International Conference on Project MANagement / HCist – International Conference on Health and Social Care Information Systems and Technologies 2022: Lissabon, Portugal; 9-11 November, 2022. Amsterdam: Elsevier 2023 S. 294 - 302
Hartmann, Matthias; Schmitz, Andreas; Wimmer, Maria
Datenmanagementkonzepte und -frameworks im öffentlichen BeschaffungswesenKlein Maike;Daniel Krupka;Cornelia Winter;Volker Wohlgemuth (Hrsg). Informatik 2023: designing futures: Zukünfte gestalten. 26.- 29. September 2023. Berlin. Bonn: Gesellschaft für Informatik 2023 S. 1 - 12
Kramer, Ivanna; Bauer, Sabine; Hun, Manuel et al.
Deep Learning as a tool for automatically creating patient-specific spine models2023 S. 40
Wolters, Anna; Hakenes, Nico; Chasin, Friedrich et al.
Designing Virtual Conference Venues Through Integration of Game Engine Technologies and Event Management Information Systems2023 S. 1 - 15
Mondorf, Ansgar; Wimmer, Maria A.
Digitale Transformation der öffentlichen BeschaffungAnna Dopatka (Hrsg). Handbuch Digitalisierung des öffentlichen Einkaufs. Wiesbaden: KSV Medien 2023 S. 27 - 68
Blomenkamp, Lara; Kramer, Ivanna; Bauer, Sabine et al.
Efficient Generation of 3D Lumbar Spine Models: An Anatomy-Driven Approach with Limited Input ParametersMarco Carli;Federica Battisti;Sven Lončarić;Stefania Colonnese (Hrsg). Proceedings of the International Symposium on Image and Signal Processing and Analysis ISPA 2023: September 18-19, 2023 Rome Italy. New York, NY: IEEE Computer Society 2023 S. 228 - 234
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
Enhanced abbreviation–expansion pair detection for glossary term extractionInformation and Software Technology. Bd. 159. Amsterdam: Elsevier 2023 S. 107203
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
Enhanced abbreviation: Expansion pair detection for glossary term extractionInformation and Software Technology. Bd. 159. Elsevier B.V. 2023 107203
Cao, Chen; Zhao, Xin; Hopfgartner, Frank
Enhancing Chinese International Students’ Motivation and Engagement in a STEM Subject in UK Higher Education: A Case of Gamification in ProgrammingJose Luis Rodriguez Illera;Piet Kommers;Zhong Sun;Mario Barajas Frutos;Baohui Zhang;Mike Joy;Núria Molas (Hrsg). Proceedings of the 14th International Conference on Education Technology and Computers ICETC 2022: October 28-30, 2022; University of Barcelona, Spain. New York, NY: ACM Association for Computing Machinery 2023 S. 6 - 11
Konersmann, Marco; Kaplan, Angelika; Kühn, Thomas et al.
Evaluation Methods and Replicability of Software Architecture Research ObjectsGregor Engels;Regina Hebig;Matthias Tichy (Hrsg). Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik; 20.-24. Februar 2023, Paderborn; Proceedings. Bonn: Gesellschaft für Informatik 2023 S. 75 - 76
Konersmann, Marco; Kaplan, Angelika; Kühn, Thomas et al.
Evaluation Methods and Replicability of Software Architecture Research Objects.Software Engineering. 2023 S. 75 - 76
Li, Ying Yin; Herschel, Jan; Theisen, Nick et al.
Evaluation of Depth Completion Using Solid-State LiDAR DatasetStephan Rothstock;Ben Hohnhäuser;Mario Koddenbrock;Benny Botsch;M. Bauer (Hrsg). GFaI Tagungsband 2023 - AI4EA Workshop (Berlin Workshop on Artifical Intelligence for Engineering Applications) and Workshop 3D-NordOst 2023 3D in Science & Applications) 25. Anwendungsbezogener Workshop zur Erfassung, Modellierung, Verarbeitung und Auswertung von 3D-Daten 30.11./01.12.2023 in Berlin-Adlershof. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2023 S. 83 - 87
Schmitz, Andreas; Wimmer, Maria
Framework for interoperable service architecture developmentGovernment Information Quarterly. Bd. 40. H. 4. Amsterdam: Elsevier 2023
Kirchner-Krath, Jeanine
Gamification for Sustainable Employee Behavior: A Design Science Research StudyKoblenz: Universität Koblenz 2023
Schmitz, Andreas; Siapera, Maria; Prentza, Andriana et al.
Harmonization in eProcurement: Design of a Holistic Solution Model for Pre-award ProceduresIda Lindgren;Csaba Csáki;Evangelos Kalampokis;Marijn Jannsen;Gabriela Viale Pereira;Shefali Virkar;Efthimios Tambouris;Anneke Zuiderwijk (Hrsg). Electronic Government: 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5–7, 2023, Proceedings. Cham: Springer 2023 S. 18 - 33
Loepp, Benedikt; Ziegler, Jürgen
How Users Ride the Carousel: Exploring the Design of Multi-List Recommender Interfaces From a User PerspectiveJie Zhang;Li Chen;Shlomo Berkovsky;Min Zhang;Tommaso di Noia;Justin Basilico;Luiz Pizzato;Yang Song (Hrsg). Proceedings of the 17th ACM Conference on Recommender Systems RecSys 2023: September 18 - 22, 2023, Singapore, Singapore. New York, NY: ACM Association for Computing Machinery 2023 S. 1090 - 1095
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in RequirementsKurt Schneider;Fabiano Dalpiaz;Jennifer Horkoff (Hrsg). Proceedings of the 31st International Requirements Engineering Conference RE 2023; 4 - 8 September 2023, Hannover, Germany. Los Alamitos, CA: IEEE Computer Society 2023 S. 369 - 370
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in Requirements31st International Requirements Engineering Conference (RE). Hannover: IEEE 2023 S. 369 - 370
Scharf, Nathalie; Lükemann, Laura; Schubert, Petra et al.
Is the Structure of “Regular Working Days” about to Dissolve? Changes in Employees’ Time-Use Patterns Working in Enterprise Collaboration Systems During the COVID-19 PandemicRicardo Martinho;Rui Rijo;Maria Manuela Cruz-Cunha (Hrsg). CENTERIS 2022 – International Conference on ENTERprise Information Systems / ProjMAN – International Conference on Project MANagement / HCist – International Conference on Health and Social Care Information Systems and Technologies 2022: Lissabon, Portugal; 9-11 November, 2022. Amsterdam: Elsevier 2023 S. 431 - 438
Boukhers, Zeyd; Goswami, Prantik; Jürjens, Jan
Knowledge guided multi-filter residual convolutional neural network for ICD coding from clinical textNeural Computing and Applications. Bd. 35. H. 24. London: Springer 2023 S. 17633 - 17644
Glückler, Johannes; Panitz, Robert
Live Music in the Time of Corona: On the Resilience and Impact of a Philharmonic Orchestra on the Urban EconomySustainability. Bd. 15. H. 4. Basel: MDPI 2023
Glueckler, Johannes; Panitz, Robert
Live Music in the Time of Corona: On the Resilience and Impact of a Philharmonic Orchestra on the Urban EconomySUSTAINABILITY. Bd. 15. H. 4. 2023
Wendland, Philipp; Schmitt, Vanessa; Zimmermann, Jörg et al.
Machine learning models for predicting severe COVID-19 outcomes in hospitalsInformatics in Medicine Unlocked. Bd. 37. Amsterdam: Elsevier 2023
Arz von Straußenburg, Arnold F.; Blazevic, Mevludin; Riehle, Dennis M.
Measuring the Actual Office Workspace Utilization in a Desk Sharing Environment Based on IoT SensorsAurona Gerber;Richard Baskerville (Hrsg). Design Science Research for a New Society: Society 5.0: 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 – June 2, 2023, Proceedings. Cham: Springer Nature Switzerland AG 2023 S. 69 - 83
Arz von Straussenburg, Arnold F.; Blazevic, Mevludin; Riehle, Dennis M.
Measuring the Actual Office Workspace Utilization in a Desk Sharing Environment Based on IoT SensorsDesign Science Research for a New Society: Society 5.0: 18th International Conference on Design Science Research in Information Systems and Technology. Cham: Springer 2023 S. 69 - 83
Loepp, Benedikt
Multi-list interfaces for recommender systems: Survey and future directionsFrontiers in Big Data. Bd. 6. Lausanne: Frontiers Media 2023
Zibat, Arne; Zhang, Xiaoxiao; Dickmanns, Antje et al.
N4-hydroxycytidine, the active compound of Molnupiravir, promotes SARS-CoV-2 mutagenesis and escape from a neutralizing nanobodyiScience. Bd. 26. H. 10. Amsterdam: Elsevier 2023
Pauken, Cedrik; Schmitz, Andreas; Wimmer, Maria
Nutzung von elektronischen Katalogformaten in öffentlichen BeschaffungsverfahrenKlein Maike;Daniel Krupka;Cornelia Winter;Volker Wohlgemuth (Hrsg). Informatik 2023: designing futures: Zukünfte gestalten. 26.- 29. September 2023. Berlin. Bonn: Gesellschaft für Informatik 2023 S. 1 - 12
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL+arXiv. 2023 2307.08843
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Bd. LNCS 14132. Springer 2023 S. 419 - 437
Memmesheimer, Raphael
On the recognition of human activities and the evaluation of its imitation by robotic systemsKoblenz: Universität Koblenz 2023
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric Systems.CoRR. Bd. abs/2310.18069. 2023
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.CoRR. Bd. abs/2311.17860. 2023
Wolters, Anna; Blazevic, Mevludin; Riehle, Dennis M.
On-Premise Internet of Things (IoT) Data Storage: Comparison of Database Management SystemsProceedings of the 8th International Conference on Internet of Things, Big Data and Security. Prague: Science and Technology Publications (SCITEPRESS ) 2023 S. 140 - 149
Wolters, Anna; Blazevic, Mevludin; Riehle, Dennis M.
On-Premise Internet of Things (IoT) Data Storage: Comparison of Database Management SystemsGary Wills;Levente Buttyán;Péter Kacsuk;Victor Chang (Hrsg). Proceedings of the 8th International Conference on Internet of Things, Big Data and Security IoTBDS: Prague, Czech Republic; 21 to 23 April 2023. Setúbal: SciTePress 2023 S. 140 - 149
Pauken, Cedric; Hartmann, Matthias; Wimmer, Maria
Open Government Data Strategies in South Korea and Japan: A Comparative Case AnalysisJolien Ubacht;Csaba Csáki;Lieselot Danneels;Noella Edelmann;Marijn Janssen;Evangelos Kalampokis;Ida Lingren;Anna-Sophie Novak;Panos Panagiotopoulos;Peter Parycek;Gabriela Viale Pereira;Iryna Susha;Gerhard Schwabe;Shefali Virkar;Efthimios Tambouris;Anneke Zuiderwijk (Hrsg). Joint Proceedings of Ongoing Research, Practitioners, Posters, Workshops, and Projects at EGOV-CeDEM-ePart 2023 co-located with the International Conference EGOV-CeDEM-ePart (EGOV-CeDEM-ePart 2023) Corvinus University of Budapest, September 4-7, 2023. Aachen: CEUR/RWTH 2023
Cui, Cui; Pinfield, Stephen; Cox, Andrew et al.
Participatory Web Archiving: Multifaceted ChallengesIsaac Sserwanga;Anne Goulding;Heather Moulaison-Sandy;Jia Tina Du;António Lucas Soares;Viviane Hessami;Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 79 - 87
Cui, Cui; Pinfield, Stephen; Cox, Andrew et al.
Participatory Web Archiving: Multifaceted ChallengesLecture Notes in Computer Science. Cham: Springer 2023 S. 79 - 87
Mints, Mark O.; Theisen, Nick; Neubert, Peer et al.
Point-Cloud-Based Change Detection for Steep Slope Vineyard AgricultureThilo Sauter;Ravinder Dahiya;Bernhard Jakoby;Jeong Bong Lee (Hrsg). 2023 IEEE SENSORS Conference Proceedings: October 29 - November 1, 2023. Vienna, Austria. Piscataway, NJ: IEEE Computer Society 2023 S. 1 - 4
Troitzsch, Klaus G.
Populism, Extremism and Cultural Change as Traceable in the European Value StudyMölder, Holger; Voinea, Camelia Florela; Sazonov, Vladimir (Hrsg). Producing Cultural Change in Political Communities. Cham: Springer 2023 S. 125 - 157 (Contributions to Political Science Series)
Panitz, Robert; Glueckler, Johannes
Post-Brexit: Do board interlocks make banks take similar relocation decisions?ZFW-ADVANCES IN ECONOMIC GEOGRAPHY. 2023
Panitz, Robert; Glückler, Johannes
Post-Brexit: Do board interlocks make banks take similar relocation decisions?ZFW – Advances in Economic Geography. Bd. 67. H. 2-3. Berlin: De Gruyter 2023 S. 127 - 141
Drodt, Christoph; Weinzierl, Sven; Matzner, Martin et al.
Predictive Recommining: Learning relations between event log characteristics and machine learning approaches for supporting predictive process monitoringCristina Cabanillas;Francisca Pérez (Hrsg). Intelligent Information Systems: Intelligent Information Systems CAiSE Forum 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Cham: Springer Nature Switzerland AG 2023 S. 69 - 76
Wendland, Philipp; Schmitt, Vanessa; Zimmermann, Jörg et al.
Preprint: Machine learning models for predicting severe COVID-19 outcomes in hospitals2023 S. 1 - 33
Germann, Ida; Memmesheimer, Raphael; Paulus, Dietrich
Reduced Skeleton Representation for Action Recognition on Graph Convolutional Neural NetworksJun Ueda;Bjørn Solvang;Van Ho;Yumi Iwashita;Oliver Sawodny;Yue Chen (Hrsg). Proceedings of the IEEE/SICE International Symposium on System Integration, SII 2023, Atlanta, GA, USA, January 17-20, 2023. Piscataway, NJ: IEEE Computer Society 2023 S. 1 - 5
Großer, Katharina; Riediger, Volker; Jürjens, Jan
Requirements document relations: A reuse perspective on traceability through standardsGregor Engels;Regina Hebig;Matthias Tichy (Hrsg). Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik; 20.-24. Februar 2023, Paderborn; Proceedings. Bonn: Gesellschaft für Informatik 2023 S. 57 - 58
Großer, Katharina; Riediger, Volker; Jürjens, Jan
Requirements document relations: A reuse perspective on traceability through standards.Software Engineering. 2023 S. 57 - 58