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
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