David Walter - RankMe

36 papers A* 1A 2B 3C 1Journal 9Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Mapping the Problem Spaces for Novice Researchers in Conducting Systematic Literature Reviews. HICSS Daniel Bierschwale, Phillip Oliver Gottschewski-Meyer, David Walter, Ralf Knackstedt
2025	—	`conf`	Software Features of Informal Care Apps. INFORMATIK David Walter, Thorsten Schoormann, Evelyn Eßmann, Ralf Knackstedt
2025	J	`jnl`	SubMIT: A Physics Analysis Facility at MIT. CoRR 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
2024	—	`conf`	A Taxonomy of Design Options for Informal Caregiving Support Applications. ECIS David Walter, Kathrin Seibert, Thorsten Schoormann, Ralf Knackstedt
2024	—	`conf`	Exploring Design Propositions for Informal Caregiving Support Applications. Wirtschaftsinformatik David Walter, Kathrin Seibert, Thorsten Schoormann, Marco Di Maria, Ralf Knackstedt
2024	—	`conf`	From Hidden Care to Being Aware: Designing a Conversational Agent to Support Informal Caregivers in Seeking Assistance During Role Transition. INFORMATIK David Walter, Paul-Ferdinand Steuck, Marco Di Maria, Ralf Knackstedt
2024	—	`conf`	Modeling value exchange in informal care support ecosystems. INFORMATIK David Walter, Kathrin Seibert, Marco Di Maria, Ralf Knackstedt
2023	—	`conf`	COREFLECTOR - Prototyp zur Unterstützung von Verlernen beim analytischen Lesen für Studierende. DELFI Marco Di Maria, David Walter, Fabian Segieth, Ralf Knackstedt
2023	J	`jnl`	Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen. HMD Prax. Wirtsch. Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
2023	—	`conf`	Designing Unlearning Support Systems: A Requirements Catalog. Wirtschaftsinformatik Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
2023	—	`conf`	Mitigating Educational Challenges Through Unlearning. DELFI Marco Di Maria, David Walter, Paul-Ferdinand Steuck, Ralf Knackstedt
2023	—	`conf`	Practical Support for Unlearning â€" a Systematic Review to Organize the field. ECIS Marco Di Maria, David Walter, Thorsten Schoormann, Ralf Knackstedt
2023	—	`conf`	Promoting Sustainable Ecosystems through Interorganizational Unlearning - A Call for Research. GI-Jahrestagung Marco Di Maria, David Walter, Ralf Knackstedt
2023	—	`conf`	Tool-Support for Managing Technostress in Hybrid Learning Settings. DELFI David Walter, Marco Di Maria, Ralf Knackstedt
2022	J	`jnl`	Adaptive Block Floating-Point for Analog Deep Learning Hardware. CoRR Ayon Basumallik, Darius Bunandar, Nicholas Dronen, Nicholas C. Harris, Ludmila Levkova, Calvin McCarter, Lakshmi Nair, David Walter, David P. Widemann
2022	—	`conf`	THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten. DELFI Marco Di Maria, David Walter, Ralf Knackstedt
2018	A*	`conf`	Syntactical Analysis of the Weaknesses of Sentiment Analyzers. EMNLP Rohil Verma, Samuel Kim, David Walter
2014	—	`conf`	LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. MWSCAS Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
2013	A	`conf`	Teaching cyber-physical systems to computer scientists via modeling and verification. SIGCSE Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter
2011	J	`jnl`	Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
2010	J	`jnl`	Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
2008	J	`jnl`	Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda
2007	B	`conf`	Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
2007	B	`conf`	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. ATVA David Walter, Scott Little, Chris J. Myers
2007	—	`conf`	Symbolic Model Checking of Analog/Mixed-Signal Circuits. ASP-DAC David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
2007	—	`—`	Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods. David Walter
2006	A	`conf`	Verification of analog/mixed-signal circuits using labeled hybrid petri nets. ICCAD Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda
2006	J	`jnl`	Verification of timed circuits with failure-directed abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
2005	—	`conf`	The Case for Analog Circuit Verification. FAC Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little
2004	B	`conf`	Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. ATVA Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
2003	C	`conf`	Verification of Timed Circuits with Failure Directed Abstractions. ICCD Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
1996	—	`conf`	The Design of the IRISS Parallel Database Machine. HPCN Europe David Walter, Jon M. Kerridge
1995	—	`conf`	W-SQL: An Interface for Scalable, Highly Parallel Database Machines. BNCOD Jon M. Kerridge, David Walter, Romola Guiton
1994	J	`jnl`	Computer art from Newton's, Secant, and Richardson's methods. Comput. Graph. David Walter
1994	—	`conf`	Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition. HPCN David Walter, Jon M. Kerridge
1993	J	`jnl`	Systemised serendipity for producing computer art. Comput. Graph. David Walter