David Walter

According to our database, David Walter authored at least 28 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen.

Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt

HMD Prax. Wirtsch., June, 2023

Designing Unlearning Support Systems: A Requirements Catalog.

Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt

Proceedings of the Digital Responsibility: Social, 2023

Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research.

Marco Di Maria, David Walter, Ralf Knackstedt

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

Practical Support for Unlearning â€" a Systematic Review to Organize the field.

Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt

Proceedings of the 31st European Conference on Information Systems, 2023

Tool-Support for Managing Technostress in Hybrid Learning Settings.

David Walter, Marco Di Maria, Ralf Knackstedt

Proceedings of the DELFI 2023, 2023

Mitigating Educational Challenges Through Unlearning.

Marco Di Maria, David Walter, Paul-Ferdinand Steuck, Ralf Knackstedt

Proceedings of the DELFI 2023, 2023

COREFLECTOR - Prototyp zur Unterstützung von Verlernen beim analytischen Lesen für Studierende.

Marco Di Maria, David Walter, Fabian Segieth, Ralf Knackstedt

Proceedings of the DELFI 2023, 2023

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 Widemann

CoRR, 2022

THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten.

Marco Di Maria, David Walter, Ralf Knackstedt

Proceedings of the DELFI 2022, 2022

2018

Syntactical Analysis of the Weaknesses of Sentiment Analyzers.

Rohil Verma, Samuel Kim, David Walter

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

2014

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

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

2013

Teaching cyber-physical systems to computer scientists via modeling and verification.

Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2011

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

2010

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen

Int. J. Found. Comput. Sci., 2010

2008

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

2007

Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods.

David Walter

PhD thesis, 2007

Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.

David Walter, Scott Little, Chris J. Myers

Proceedings of the Automated Technology for Verification and Analysis, 2007

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

Scott Little, David Walter, Kevin R. Jones, Chris J. Myers

Proceedings of the Automated Technology for Verification and Analysis, 2007

Symbolic Model Checking of Analog/Mixed-Signal Circuits.

David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Verification of timed circuits with failure-directed abstractions.

Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Verification of analog/mixed-signal circuits using labeled hybrid petri nets.

Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2005

The Case for Analog Circuit Verification.

Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

2004

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.

Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

1996

The Design of the IRISS Parallel Database Machine.

David Walter, Jon M. Kerridge

Proceedings of the High-Performance Computing and Networking, 1996

1995

W-SQL: An Interface for Scalable, Highly Parallel Database Machines.

Jon M. Kerridge, David Walter, Romola Guiton

Proceedings of the Advances in Databases, 13th British National Conference on Databases, 1995

1994

Computer art from Newton's, Secant, and Richardson's methods.

David Walter

Comput. Graph., 1994

Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition.

David Walter, Jon M. Kerridge

Proceedings of the High-Performance Computing and Networking, 1994

1993

Systemised serendipity for producing computer art.

David Walter

Comput. Graph., 1993