Systemised serendipity for producing computer art. - David Walter (Comput. Graph., 1993)

Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition. - David Walter; Jon M. Kerridge (HPCN, 1994)

Computer art from Newton's, Secant, and Richardson's methods. - David Walter (Comput. Graph., 1994)

W-SQL: An Interface for Scalable, Highly Parallel Database Machines. - Jon M. Kerridge; David Walter; Romola Guiton (BNCOD, 1995)

The Design of the IRISS Parallel Database Machine. - David Walter; Jon M. Kerridge (HPCN Europe, 1996)

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. - Scott Little; David Walter; Nicholas Seegmiller; Chris J. Myers; Tomohiro Yoneda (ATVA, 2004)

The Case for Analog Circuit Verification. - Chris J. Myers; Reid R. Harrison; David Walter; Nicholas Seegmiller; Scott Little (FAC, 2005)

Verification of analog/mixed-signal circuits using labeled hybrid petri nets. - Scott Little; Nicholas Seegmiller; David Walter; Chris J. Myers; Tomohiro Yoneda (ICCAD, 2006)

Verification of timed circuits with failure-directed abstractions. - Hao Zheng 001; Chris J. Myers; David Walter; Scott Little; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Symbolic Model Checking of Analog/Mixed-Signal Circuits. - David Walter; Scott Little; Nicholas Seegmiller; Chris J. Myers; Tomohiro Yoneda (ASP-DAC, 2007)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers (ATVA, 2007)

Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. - David Walter; Scott Little; Chris J. Myers (ATVA, 2007)

Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods. - David Walter (2007)

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. - David Walter; Scott Little; Chris J. Myers; Nicholas Seegmiller; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers; Alper Sen 001 (Int. J. Found. Comput. Sci., 2010)

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. - Scott Little; David Walter; Chris J. Myers; Robert A. Thacker; Satish Batchu; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Teaching cyber-physical systems to computer scientists via modeling and verification. - Kostadin Damevski; Badreldin Altayeb; Hui Chen 001; David Walter (SIGCSE, 2013)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)

Syntactical Analysis of the Weaknesses of Sentiment Analyzers. - Rohil Verma; Samuel Kim; David Walter (EMNLP, 2018)

THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten. - Marco Di Maria; David Walter; Ralf Knackstedt (DELFI, 2022)

Adaptive Block Floating-Point for Analog Deep Learning Hardware. - Ayon Basumallik; Darius Bunandar; Nicholas Dronen; Nicholas C. Harris; Ludmila Levkova; Calvin McCarter; Lakshmi Nair; David Walter; David P. Widemann (CoRR, 2022)

COREFLECTOR - Prototyp zur Unterstützung von Verlernen beim analytischen Lesen für Studierende. - Marco Di Maria; David Walter; Fabian Segieth; Ralf Knackstedt (DELFI, 2023)

Mitigating Educational Challenges Through Unlearning. - Marco Di Maria; David Walter; Paul-Ferdinand Steuck; Ralf Knackstedt (DELFI, 2023)

Tool-Support for Managing Technostress in Hybrid Learning Settings. - David Walter; Marco Di Maria; Ralf Knackstedt (DELFI, 2023)

Practical Support for Unlearning â€" a Systematic Review to Organize the field. - Marco Di Maria; David Walter; Thorsten Schoormann; Ralf Knackstedt (ECIS, 2023)

Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research. - Marco Di Maria; David Walter; Ralf Knackstedt (GI-Jahrestagung, 2023)

Designing Unlearning Support Systems: A Requirements Catalog. - Marco Di Maria; David Walter; Thorsten Schoormann; Ralf Knackstedt (Wirtschaftsinformatik, 2023)

Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen. - Marco Di Maria; David Walter; Thorsten Schoormann; Ralf Knackstedt (HMD Prax. Wirtsch., 2023)

A Taxonomy of Design Options for Informal Caregiving Support Applications. - David Walter; Kathrin Seibert; Thorsten Schoormann; Ralf Knackstedt (ECIS, 2024)

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 (INFORMATIK, 2024)

Modeling value exchange in informal care support ecosystems. - David Walter; Kathrin Seibert; Marco Di Maria; Ralf Knackstedt (INFORMATIK, 2024)

Exploring Design Propositions for Informal Caregiving Support Applications. - David Walter; Kathrin Seibert; Thorsten Schoormann; Marco Di Maria; Ralf Knackstedt (Wirtschaftsinformatik, 2024)

SubMIT: A Physics Analysis Facility at MIT. - Josh Bendavid; Mariarosaria D'Alfonso; Jan Eysermans; Chad Freer; Maxim Goncharov; Matthew Heine; Luca Lavezzo; Marianne Moore; Christoph Paus; Xuejian Shen; David Walter; Zhangqier Wang (CoRR, 2025)