| 2026 | HCI | Exploring Informal Caregivers' Experiences with a Context-Sensitive Voice-Based AI Companion. | David Walter, Paul-Ferdinand Steuck, Ralf Knackstedt |
| 2025 | GI | Software Features of Informal Care Apps. | David Walter, Thorsten Schoormann, Evelyn Emann, Ralf Knackstedt |
| 2024 | GI | From Hidden Care to Being Aware: Designing a Conversational Agent to Support Informal Caregivers in Seeking Assistance During Role Transition. | David Walter, Paul-Ferdinand Steuck, Marco Di Maria, Ralf Knackstedt |
| 2024 | GI | Modeling value exchange in informal care support ecosystems. | David Walter, Kathrin Seibert, Marco Di Maria, Ralf Knackstedt |
| 2023 | GI | Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research. | Marco Di Maria, David Walter, Ralf Knackstedt |
| 2018 | EMNLP | Syntactical Analysis of the Weaknesses of Sentiment Analyzers. | Rohil Verma, Samuel Kim, David Walter |
| 2013 | SIGCSE | Teaching cyber-physical systems to computer scientists via modeling and verification. | Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter |
| 2007 | ASPDAC | Symbolic Model Checking of Analog/Mixed-Signal Circuits. | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
| 2007 | ATVA | Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. | Scott Little, David Walter, Kevin R. Jones, Chris J. Myers |
| 2007 | ATVA | Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. | David Walter, Scott Little, Chris J. Myers |
| 2006 | ICCAD | Verification of analog/mixed-signal circuits using labeled hybrid petri nets. | Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda |
| 2004 | ATVA | Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. | Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
| 2003 | ICCD | Verification of Timed Circuits with Failure Directed Abstractions. | Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda |