Publications

M. Aksoy and A. Bush A Bibliometric Analysis of Trust in Conversational Agents over the Past Fifteen Years in 2025 11th International Conference on Computing and Artificial Intelligence (ICCAI), IEEE, Mar. 2025, pp. 451—464.

[DOI]

I. Dormuth, S. Franke, M. Hafer, T. Katzke, A. Marx, E. Müller, D. Neider, M. Pauly and J. Rutinowski A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany in Explainable Artificial Intelligence - Third World Conference, xAI 2025, Istanbul, Turkey, July 9-11, 2025, Proceedings, Part V, Riccardo Guidotti and Ute Schmid and Luca Longo, Eds. Springer, Oct. 2025, pp. 64—85.

[DOI]

B. Bordais and D. NeiderA Framework for Computing Upper Bounds in Passive Learning Settings in Logics in Artificial Intelligence, Springer Nature Switzerland, Aug. 2025, pp. 227—243.

[DOI]

M. Schmidmaier, L. Schöberl, J. Rupp and S. MayerA Systematic and Validated Translation of the Perceived Empathy of Technology Scale from English to German in Proceedings of the Mensch und Computer 2025, New York, NY, USA: Association for Computing Machinery, Aug. 2025, pp. 17—28.

[DOI]

J. Corazza, I. Gavran, G. Moreira and D. NeiderAccessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs in 2025 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, Mar. 2025, pp. 542—552.

[DOI]

S. Chappidi, J. Cobbe, C. Norval, A. Mazumder and J. SinghAccountability Capture: How Record-Keeping to Support AI Transparency and Accountability (Re)shapes Algorithmic Oversight in Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, Association for the Advancement of Artificial Intelligence (AAAI), Oct. 2025, pp. 554—566.

[DOI]

R. Walendy, M. Weber, S. Becker, C. Paar and N. Rummel An Evidence-Based Curriculum Initiative for Hardware Reverse Engineering Education in Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, New York, NY, USA: Association for Computing Machinery, 2025, pp. 1176—1182.

[DOI]

F. R. Yapicioglu, M. Aksoy, T. Löfström, F. Vitali and A. Rigenti ConformaSegment: A Conformal Prediction-Based, Uncertainty-Aware, and~Model-Agnostic Explainability Framework for~Time-Series Forecasting in Explainable Artificial Intelligence, Springer Nature Switzerland, Oct. 2025, pp. 218—242.

[DOI]

L. Held and I. HabernalContemporary LLMs struggle with extracting formal legal arguments in Proceedings of the Natural Legal Language Processing Workshop 2025, Aletras, Nikolaos and Chalkidis, Ilias and Barrett, Leslie and Goanćbt\ua, C\uat\ualina and Preoćbtiuc-Pietro, Daniel and Spanakis, Gerasimos, Eds. Suzhou, China: Association for Computational Linguistics, Nov. 2025, pp. 292—303.

[DOI]

J. Corazza, H. P. Aria, H. Kim, D. Neider and Z. Xu Decentralizing Multi-agent Reinforcement Learning with~Temporal Causal Information in Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VI, Rita P. Ribeiro and Bernhard Pfahringer and Nathalie Japkowicz and Pedro Larrañaga and Al\'ıpio M. Jorge and Carlos Soares and Pedro H. Abreu and João Gama, Eds. Springer, Oct. 2025, pp. 77—94.

[DOI]

A. Kluge, L. Thomaschewski, C. Reining, S. Franke, S. Awasthi, M. Roidl, O. Vogel and M. PaulyDevelopment and Maintenance of Trust in Human-Drone Interaction: Preliminary Empirical Findings in a Warehouse Setting in Proceedings of AISoLA 2024 (Lecture Notes in Computer Science, vol. 16032), Bernhard Steffen, Eds. Springer, Cham, 2025, pp. 203—217.

[DOI]

J. Becker, P. Kempkes, K. Mielke, A. Fendel, A. Bommert and M. PaulyForecasting Plastic Waste Fractions: A Recycling Perspective in Proceedings of the Conference on Production Systems and Logistics: CPSL 2025, Hannover : publish-Ing., 2025, pp. 494—508.

[DOI]

J. Powar, H. Janssen, R. Cloete and J. SinghFrom policy to practice in data governance and responsible data~stewardship: system design for data intermediaries in Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, ACM, Jun. 2025, pp. 2491—2504.

[DOI]

I. Habernal, P. Schulam and J. Tiedemann Front Matter in Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, Habernal, Ivan and Schulam, Peter and Tiedemann, J"org, Eds. Suzhou, China: Association for Computational Linguistics, Nov. 2025.

[DOI]

B. Tas and M. Aksoy GPT as a Reviewer: Automatic Evaluation of Academic Papers in 2025 11th International Conference on Computing and Artificial Intelligence (ICCAI), IEEE, Mar. 2025, pp. 487—496.

[DOI]

C. Oechsner, J. Leusmann, R. Welsch, A. M. Butz and S. MayerInfluence of Perceived Danger on Proxemics in Human-Robot Object Handovers in Proceedings of the Mensch und Computer 2025, New York, NY, USA: Association for Computing Machinery, Aug. 2025, pp. 111—120.

[DOI]

A. I. Hudig and J. SinghIntimate Data Sharing: Enhancing Transparency and Control in Fertility Tracking in Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, ACM, Apr. 2025, pp. 1—24.

[DOI]

D. Neider, L. Sabellek, J. Schmidt, F. Vehlken and T. Zeume Learning Tree Pattern Transformations in 28th International Conference on Database Theory, ICDT 2025, March 25-28, 2025, Barcelona, Spain, Sudeepa Roy and Ahmet Kara, Eds. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, pp. 24:1—24:20.

[DOI]

E. Hossain, S. K. Sinha, N. Bansal, R. A. Knipper, S. Sarkar, J. Salvador, Y. Mahajan, S. R. P. K. Guttikonda, M. Akter, M. M. Hassan, M. Freestone, M. C. W. Jr., D. Feng and S. Karmaker LLMs as Meta-Reviewers' Assistants: A Case Study in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 7763—7803.

[URL]

E. Kallina and J. SinghMapping the Tool Landscape for Stakeholder Involvement in Participatory AI: Strengths, Gaps, and Future Directions in Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, ACM, Apr. 2025, pp. 1—8.

[DOI]

J. Rieger, M. Ruckdeschel and G. Wiedemann PETapter: Leveraging PET-style classification heads for modular few-shot parameter-efficient fine-tuning in Proceedings of the 21st Conference on Natural Language Processing (KONVENS 2025): Long and Short Papers, Wartena, Christian and Heid, Ulrich, Eds. Hannover, Germany: HsH Applied Academics, Sep. 2025, pp. 333—348.

[URL]

A. Neumann, E. Kirsten, M. B. Zafar and J. SinghPosition is Power: System Prompts as a Mechanism of Bias in Large Language Models (LLMs) in Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, ACM, Jun. 2025, pp. 573—598.

[DOI]

S. Ochs and I. HabernalPrivate Synthetic Text Generation with Diffusion Models in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 10612—10626.

[URL]

A. Staay, R. Fischer, M. Wischnewski, K. Poitz and C. Janiesch Reflective Design Theorizing with~User Interviews: A Case Study for~AI Energy Labels in Local Solutions for Global Challenges, Springer Nature Switzerland, 2025, pp. 66—80.

[DOI]

S. Becker, R. Walendy, M. Weber, C. Wiesen, N. Rummel and C. Paar ReverSim: An Open-Source Environment for the Controlled Study of Human Aspects in Hardware Reverse Engineering in Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, ACM, Apr. 2025, pp. 1—24.

[DOI]

A. I. Hudig, A. M. Mandalari, C. Norval, H. Haddadi, R. Binns and J. SinghRights Out of Sight: Data Practices and Transparency Gaps in Smart Consumer IoT Ecosystems in Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, ACM, Jun. 2025, pp. 2260—2273.

[DOI]

E. Kallina, T. Bohné and J. SinghStakeholder Participation for Responsible AI Development: Disconnects Between Guidance and Current Practice in Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, ACM, Jun. 2025, pp. 1060—1079.

[DOI]

J. Tridgell and J. SinghStewardship' as a Fair, Accountable and Transparent Model for Free and Open-Source Software Governance? Looking Beyond the EU's Cyber Resilience Act in Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, ACM, Jun. 2025, pp. 473—484.

[DOI]

L. Westhofen, J. C. Jung and D. NeiderTemporal Conjunctive Query Answering via Rewriting in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, Toby Walsh and Julie Shah and Zico Kolter, Eds. AAAI Press, 2025, pp. 15221—15229.

[DOI]

B. Bordais, D. Neider and R. Roy The Complexity of Learning LTL, CTL and ATL Formulas in 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 4-7, 2025, Jena, Germany, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2025, pp. 19:1—19:20.

[DOI]

J. W. Grootjen, S. N. R. Yadla and S. MayerThe Effects of AMD Severities on Eye Movements in Virtual Environments in Proceedings of the Mensch und Computer 2025, New York, NY, USA: Association for Computing Machinery, Aug. 2025, pp. 732—737.

[DOI]

E. Kirsten, I. Habernal, V. Nanda and M. B. ZafarThe Impact of Inference Acceleration on Bias of LLMs in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 1834—1853.

[DOI]

J. W. Grootjen, S. N. R. Yadla and S. MayerUnderstanding the Impact of Glaucoma Severities Through Virtual Reality Simulations in Proceedings of the Mensch und Computer 2025, New York, NY, USA: Association for Computing Machinery, Aug. 2025, pp. 210—219.

[DOI]

S. Lutz, D. Kaminskyi, F. Wittbold, S. Dierl, F. Howar, B. König, E. Müller and D. NeiderUnsupervised Automata Learning via Discrete Optimization in Logics in Artificial Intelligence, Springer Nature Switzerland, Aug. 2025, pp. 135—153.

[DOI]

M. Schmidmaier, J. Rupp and S. MayerUsing a Secondary Channel to Display the Internal Empathic Resonance of LLM-Driven Agents for Mental Health Support in Proceedings of the 27th International Conference on Multimodal Interaction, New York, NY, USA: Association for Computing Machinery, Oct. 2025, pp. 294—304.

[DOI]

S. M. Alsadat, J. Gaglione, D. Neider, U. Topcu and Z. Xu Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine in 2025 American Control Conference (ACC), IEEE, Jul. 2025, pp. 206—211.

[DOI]

D. Neider and R. Roy What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications in Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin Lucien and Matheja, Christoph and Noll, Thomas and Quatmann, Tim and Stoelinga, Mariëlle and Volk, Matthias, Eds. Cham: Springer Nature Switzerland, 2025, pp. 109—125.

[DOI]

L. Westhofen, C. Neurohr, J. C. Jung and D. NeiderAnswering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains in Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, Bernd Finkbeiner and Laura Kovács, Eds. Springer, 2024, pp. 167—187.

[DOI]

M. Aksoy and V. Tsishetska ChatGPT as a Negotiator: An Analysis of its Adherence with Proportionality and Equality in 2024 7th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI), IEEE, Dec. 2024, pp. 01—08.

[DOI]

D. Hintersdorf, L. Struppek, D. Neider and K. Kersting Defending Our Privacy with Backdoors in ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), Ulle Endriss and Francisco S. Melo and Kerstin Bach and Alberto José Bugar\'ın Diz and Jose Maria Alonso-Moral and Senén Barro and Fredrik Heintz, Eds. IOS Press, 2024, pp. 1832—1839.

[DOI]

L. Steinmeister and M. PaulyDegenerate Hierarchical Time Series Reconciliation With The Minimum Trace Algorithm in R in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 380—390.

[DOI]

J. Corazza, H. P. Aria, D. Neider and Z. Xu Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment in Causal Learning and Reasoning, 1-3 April 2024, Los Angeles, California, USA, Francesco Locatello and Vanessa Didelez, Eds. PMLR, 2024, pp. 643—664.

[URL]

C. Balestra, A. Ferrara and E. MüllerFairMC Fair—Markov Chain Rank Aggregation Methods in Big Data Analytics and Knowledge Discovery, Springer Nature Switzerland, 2024, pp. 315—321.

[DOI]

L. Kuhlmann, F. Fesca, L. Steinmeister and M. PaulyHierarchical Sales Forecasting In Multichannel Distribution Considering Marketing Campaigns in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 527—538.

[DOI]

F. Fesca and M. PaulyIdentifying Anomalies In Consumption Data With Forecasting Models: A Case Study With Plausibility Checks At TU Dortmund University in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 517—526.

[DOI]

L. Mühl, L. Stecker, E. Herter, J. M. Szczuka, M. Wischnewski and N. KrämerIntegrating AI in Psychotherapy: An Investigation of Trust in Voicebot Therapists in Nordic Conference on Human-Computer Interaction, ACM, Oct. 2024, pp. 1—9.

[DOI]

B. Bordais, D. Neider and R. Roy Learning Branching-Time Properties in CTL and ATL via Constraint Solving in Formal Methods, Springer Nature Switzerland, Sep. 2024, pp. 304—323.

[DOI]

J. M. Szczuka, A. C. Horstmann, N. Szymczyk, C. Strathmann, A. Artelt, L. Mavrina and N. KrämerLet Me Explain What I Did or What I Would Have Done: An Empirical Study on the Effects of Explanations and Person-Likeness on Trust in and Understanding of Algorithms in Nordic Conference on Human-Computer Interaction, ACM, Oct. 2024, pp. 1—13.

[DOI]

S. Klüttermann, C. Balestra and E. MüllerOn the Efficient Explanation of Outlier Detection Ensembles Through Shapley Values in Advances in Knowledge Discovery and Data Mining, Springer Nature Singapore, 2024, pp. 43—55.

[DOI]

E. Puschner, M. Ender, S. Becker and C. Paar Patching FPGAs: The Security Implications of Bitstream Modifications in Proceedings of the 2024 Workshop on Attacks and Solutions in Hardware Security, New York, NY, USA: Association for Computing Machinery, 2024, pp. 89—99.

[DOI]

E. Kallina and J. SinghStakeholder Involvement for Responsible AI Development: A Process Framework in Proceedings of the 4th ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, ACM, Oct. 2024, pp. 1—14.

[DOI]

R. Raha, R. Roy, N. Fijalkow, D. Neider and G. A. Pérez Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic in Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, Rayna Dimitrova and Ori Lahav and Sebastian Wolff, Eds. Springer, 2024, pp. 264—288.

[DOI]

L. Westhofen, C. Neurohr, J. C. Jung and D. NeiderTopllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries in NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings, Nathaniel Benz and Divya Gopinath and Nija Shi, Eds. Springer, 2024, pp. 314—321.

[DOI]

M. Ramrath, A. Scharmann, A. Ridder, T. Kühn, S. Weller and N. KrämerTrust in AI Chatbots: The Perceived Expertise of ChatGPT in Subjective and Objective Tasks in HHAI 2024: Hybrid Human AI Systems for the Social Good, IOS Press, Jun. 2024.

[DOI]

M. Schaef, B. Cirisci, L. Luo, M. N. Mansur, O. Tripp, D. Sanchez, Q. Zhou and M. B. ZafarUnderstanding Developer-Analyzer Interactions in Code Reviews in Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ACM, Oct. 2024, pp. 1945—1955.

[DOI]

A. Baudzus, B. Li, A. Jadid and E. MüllerOn Model Performance Estimation in Time Series Anomaly Detection in Proceedings of the 2023 6th International Conference on Computational Intelligence and Intelligent Systems, ACM, Nov. 2023.

[DOI]

S. Klüttermann, J. Rutinowski, A. Nguyen, C. Reining, M. Roidl and E. MüllerOn Graph Representation based Re-Identification — A Proof of Concept in 2023 IEEE International Conference on Data Mining Workshops (ICDMW), IEEE, Dec. 2023.

[DOI]

A. C. Horstmann, C. Strathmann, L. Lambrich and N. C. KrämerAlexa, What's Inside of You: A Qualitative Study to Explore Users' Mental Models of Intelligent Voice Assistants in Proceedings of the 23rd ACM International Conference on Intelligent Virtual Agents, ACM, Sep. 2023.

[DOI]

L. B. Suchmann, N. Krämer and J. Ziegler Branching Preferences: Visualizing Non-linear Topic Progression in Conversational Recommender Systems in Adjunct Proceedings of the 31st ACM Conference on User Modeling, Adaptation and Personalization, ACM, Jun. 2023.

[DOI]

G. Schmitz, D. Wilmes, A. Gerharz, D. Horn and E. MüllerContextual Shift Method (CSM) in Lecture Notes in Computer Science, Springer Nature Switzerland, 2023, pp. 101—106.

[DOI]

B. Li and E. MüllerContrastive Time Series Anomaly Detection by Temporal Transformations in 2023 International Joint Conference on Neural Networks (IJCNN), IEEE, Jun. 2023.

[DOI]

T. Igamberdiev and I. HabernalDP-BART for Privatized Text Rewriting under Local Differential Privacy in Findings of the Association for Computational Linguistics: ACL 2023, Rogers, Anna and Boyd-Graber, Jordan and Okazaki, Naoaki, Eds. Toronto, Canada: Association for Computational Linguistics, Jul. 2023, pp. 13914—13934.

[DOI]

S. Klüttermann and E. MüllerEvaluating and Comparing Heterogeneous Ensemble Methods for Unsupervised Anomaly Detection in 2023 International Joint Conference on Neural Networks (IJCNN), IEEE, Jun. 2023, pp. 1—8.

[DOI]

T. Schnitzler, K. Kohls, E. Bitsikas and C. Pöpper Hope of Delivery: Extracting User Locations From Mobile Instant Messengers in Proceedings 2023 Network and Distributed System Security Symposium, Internet Society, 2023.

[DOI]

M. Wischnewski and A. Wermter Is Foreign Language News More or Less Credible Than Native Language News? Examining the Foreign Language Effect on Credibility Perceptions in Disinformation in Open Online Media, Springer Nature Switzerland, 2023, pp. 175—189.

[DOI]

R. Roy, J. Gaglione, N. Baharisangari, D. Neider, Z. Xu and U. Topcu Learning Interpretable Temporal Properties from Positive Examples Only in Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, Brian Williams and Yiling Chen and Jennifer Neville, Eds. AAAI Press, 2023, pp. 6507—6515.

[URL]

M. Wischnewski, N. Krämer and E. MüllerMeasuring and Understanding Trust Calibrations for Automated Systems: A Survey of the State-Of-The-Art and Future Directions in Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, Association for Computing Machinery, Apr. 2023.

[DOI]

C. Newen and E. MüllerOn the Independence of Adversarial Transferability to Topological Changes in the Dataset in 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), IEEE, Oct. 2023.

[DOI]

Y. Paliwal, R. Roy, J. Gaglione, N. Baharisangari, D. Neider, X. Duan, U. Topcu and Z. Xu Reinforcement Learning with Temporal-Logic-Based Causal Diagrams in Machine Learning and Knowledge Extraction - 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings, Andreas Holzinger and Peter Kieseberg and Federico Cabitza and Andrea Campagner and A Min Tjoa and Edgar Weippl, Eds. Springer, 2023, pp. 123—140.

[DOI]

A. Murano, D. Neider and M. Zimmermann Robust Alternating-Time Temporal Logic in Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz, Eds. Springer, 2023, pp. 796—813.

[DOI]

L. Kuhlmann, D. Wilmes, E. Müller, M. Pauly and D. Horn RODD: Robust Outlier Detection in Data Cubes in Lecture Notes in Computer Science, Springer Nature Switzerland, 2023, pp. 325—339.

[DOI]

E. Celikkan, M. Saberioon, M. Herold and N. KleinSemantic Segmentation of Crops and Weeds with Probabilistic Modeling and Uncertainty Quantification in Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) Workshops, IEEE, Oct. 2023, pp. 582—592.

[DOI]

C. Balestra, B. Li and E. MüllerslidSHAPs — sliding Shapley Values for correlation-based change detection in time series in 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), IEEE, Oct. 2023.

[DOI]

S. Lutz, D. Neider and R. Roy Specification Sketching for Linear Temporal Logic in Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, Étienne André and Jun Sun, Eds. Springer, 2023, pp. 26—48.

[DOI]

B. Li and E. MüllerState-Transition-Aware Anomaly Detection Under Concept Drifts in Big Data Analytics and Knowledge Discovery, Wrembel, Robert and Gamper, Johann and Kotsis, Gabriele and Tjoa, A. Min and Khalil, Ismail, Eds. Springer Nature Switzerland, 2023, pp. 49—63.

[DOI]

L. Steinmeister, B. Ramosaj, L. Schröter and M. PaulyTesting The Limits: A Robustness Analysis Of Logistic Growth Models For Life Cycle Estimation During The COVID-19 Pandemic in Proceedings of the Conference on Production Systems and Logistics: CPSL 2023, 2023, pp. 33—44.

[DOI]

A. Baudzus, B. Li, A. Jadid and E. MüllerThe Good, The Bad, and The Average: Benchmarking of Reconstruction Based Multivariate Time Series Anomaly Detection in Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track, Springer Nature Switzerland, 2023, pp. 356—360.

[DOI]

D. Neider and T. T. Johnson Track C1: Safety Verification of Deep Neural Networks (DNNs) in Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, Bernhard Steffen, Eds. Springer, 2023, pp. 217—224.

[DOI]

B. Li, C. Balestra and E. MüllerEnabling the Visualization of Distributional Shift using Shapley Values in NeurIPS 2022 Workshop on Distribution Shifts: Connecting Methods and Applications, 2022.

[URL]

M. Kertel, S. Harmeling and M. PaulyLearning Causal Graphs in Manufacturing Domains using Structural Equation Models in 2022 5th International Conference on Artificial Intelligence for Industries (AI4I), Ieee, Sep. 2022, pp. 14—19.

[DOI]

B. Böing, F. Howar, J. Hüntelmann, E. Müller and R. Stewing Neural Network Verification with DSE in Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022, Luca Geatti and Guido Sciavicco and Alessandro Umbrico, Eds. CEUR-WS.org, 2022, pp. 1—6.

[URL]

B. Böing, S. Klüttermann and E. MüllerPost-Robustifying Deep Anomaly Detection Ensembles by Model Selection in 2022 IEEE International Conference on Data Mining (ICDM), IEEE, Nov. 2022, pp. 861—866.

[DOI]

D. Kaminskyi, B. Li and E. MüllerReconstruction-based unsupervised drift detection over multivariate streaming data in 2022 IEEE International Conference on Data Mining Workshops (ICDMW), 2022, pp. 807—813.

[DOI]

S. Klüttermann, J. Rutinowski, C. Reining, M. Roidl and E. MüllerTowards Graph Representation based Re-Identification of Chipwood Pallet Blocks in 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, Dec. 2022, pp. 1543—1550.

[DOI]

C. Newen and E. MüllerUnsupervised DeepView: Global Explainability of Uncertainties for High Dimensional Data in 2022 IEEE International Conference on Knowledge Graph (ICKG), IEEE, Nov. 2022, pp. 196—202.

[DOI]

C. Balestra, F. Huber, A. Mayr and E. MüllerUnsupervised Features Ranking via Coalitional Game Theory for Categorical Data in International Conference on Big Data Analytics and Knowledge Discovery, Wrembel, Robert and Gamper, Johann and Kotsis, Gabriele and Tjoa, A. Min and Khalil, Ismail, Eds. Springer International Publishing, 2022, pp. 97—111.

[DOI]