Exploiting parallelism in automatic differentiation. - Christian H. Bischof; Andreas Griewank; David W. Juedes (ICS, 1991)

The Complexity and Distribution of Hard Problems (Extended Abstract) - David W. Juedes; Jack H. Lutz (FOCS, 1993)

Computational Depth and Reducibility (Extended Abstract). - David W. Juedes; James I. Lathrop; Jack H. Lutz (ICALP, 1993)

Computational Depth and Reducibility. - David W. Juedes; James I. Lathrop; Jack H. Lutz (Theor. Comput. Sci., 1994)

Weakly Complete Problems are not Rare. - David W. Juedes (Comput. Complex., 1995)

The Complexity and Distribution of Hard Problems. - David W. Juedes; Jack H. Lutz (SIAM J. Comput., 1995)

Weak Completeness in E and E_2. - David W. Juedes; Jack H. Lutz (Theor. Comput. Sci., 1995)

Completeness and Weak Completeness Under Polynomial-Size Circuits. - David W. Juedes; Jack H. Lutz (Inf. Comput., 1996)

Algorithm 755: ADOL-C: A Package for the Automatic Differentiation of Algorithms Written in C/C++. - Andreas Griewank; David W. Juedes; Jean Utke (ACM Trans. Math. Softw., 1996)

Computational Complexity of Term-Equivalence. - Clifford Bergman; David Juedes; Giora Slutzki (Int. J. Algebra Comput., 1999)

Evolutionary computation techniques for multiple sequence alignment. - Liming Cai; David Juedes; Evgueni Liakhovitch (CEC, 2000)

Modeling Time-Bounded Prefix Kolmogorov Complexity. - David W. Juedes; Jack H. Lutz (Theory Comput. Syst., 2000)

Subexponential Parameterized Algorithms Collapse the W-Hierarchy. - Liming Cai; David W. Juedes (ICALP, 2001)

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. - Joan Krone; David W. Juedes; Meera Sitharam (CSEE&T, 2002)

The inapproximability of non-NP-hard optimization problems. - Liming Cai; David W. Juedes; Iyad A. Kanj (Theor. Comput. Sci., 2002)

An Optimization Framework for Dynamic, Distributed Real-Time Systems. - Klaus H. Ecker; David W. Juedes; Lonnie R. Welch; David M. Chelberg; Carl Bruggeman; Frank Drews; David Fleeman; David Parrott; Barbara Pfarr (IPDPS, 2003)

On the existence of subexponential parameterized algorithms. - Liming Cai; David W. Juedes (J. Comput. Syst. Sci., 2003)

Utility-Function Based Resource Allocation for Adaptable Applications in Dynamic, Distributed Real-Time Systems. - Frank Drews; David W. Juedes; David Fleeman; Andreas Brüning; Klaus H. Ecker; Martin Hoefer 001; Lonnie R. Welch (IPDPS, 2004)

Quality-Based Adaptive Resource Management Architecture (QARMA): A CORBA Resource Management Service. - David Fleeman; Matthew Gillen; Andrew Lenharth; M. Delaney; Lonnie R. Welch; David W. Juedes; Chang Liu (IPDPS, 2004)

Heuristic Resource Allocation Algorithms for Maximizing Allowable Workload in Dynamic, Distributed Real-Time Systems. - David W. Juedes; Frank Drews; Lonnie R. Welch; David Fleeman (IPDPS, 2004)

A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs. - Henning Fernau; David W. Juedes (MFCS, 2004)

Linear Kernels in Linear Time, or How to Save k Colors in O(n2) Steps. - Benny Chor; Mike Fellows; David W. Juedes (WG, 2004)

Baire category and nowhere differentiability for feasible real functions. - Josef M. Breutzmann; David W. Juedes; Jack H. Lutz (Math. Log. Q., 2004)

QoS-based resource allocation in dynamic real-time systems. - Robert Judd; F. Drews; Douglas Lawrence; David Juedes; B. Leal; J. Deshpande; Lonnie R. Welch (ACC, 2005)

Stable Allocations in Distributed Real-Time Systems with Multiple Environmental Parameters and Replicable Applications. - Hang Zhao; Dazhang Gu; Lonnie R. Welch; Frank Drews; David W. Juedes (IPDPS, 2005)

Integrated CORBA Scheduling and Resource Management for Distributed Real-Time Embedded Systems. - Kevin Bryan; Lisa Cingiser DiPippo; Victor Fay Wolfe; Matthew Murphy; Jiangyin Zhang; Douglas Niehaus; David Fleeman; David W. Juedes; Chang Liu; Lonnie R. Welch; Christopher D. Gill (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Tight lower bounds for certain parameterized NP-hard problems. - Jianer Chen; Benny Chor; Mike Fellows; Xiuzhen Huang; David W. Juedes; Iyad A. Kanj; Ge Xia (Inf. Comput., 2005)

Approximation algorithm for periodic real-time tasks with workload-dependent running-time functions. - David W. Juedes; Frank Drews; Dazhang Gu; Lonnie R. Welch; Klaus H. Ecker; Silke Schomann (Real Time Syst., 2006)

The Complexity of Polynomial-Time Approximation. - Liming Cai; Michael R. Fellows; David W. Juedes; Frances A. Rosamond (Theory Comput. Syst., 2007)

Engineering a New Curriculum: Experiences at Ohio University in Incorporating the IEEE-TCPP Curriculum Initiative During a Transition to Semesters. - David W. Juedes; Frank Drews (IPDPS Workshops, 2012)

Coloring Jacobians revisited: a new algorithm for star and acyclic bicoloring. - David Juedes; Jeffrey Jones (Optim. Methods Softw., 2012)

The Appalachian Cohort for Engineering: An evaluation of S-STEM strategies for success. - Valerie Young; David Juedes; Holly Raffle (FIE, 2013)

A Generic Framework for Approximation Analysis for Algorithms for Star Bicoloring. - David Juedes; Jeffrey Jones (CTW, 2015)

CS0 for Computer Science Majors at Ohio University. - Cindy Marling; David Juedes (SIGCSE, 2016)

Discovering Gene Regulatory Elements Using Coverage-Based Heuristics. - Rami Al-ouran; Robert Schmidt; Ashwini Naik; Jeffrey Jones; Frank Drews; David W. Juedes; Laura Elnitski; Lonnie R. Welch (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Set cover-based methods for motif selection. - Yichao Li; Yating Liu; David Juedes; Frank Drews; Razvan C. Bunescu; Lonnie R. Welch (Bioinform., 2020)

A generic framework for approximation analysis of greedy algorithms for star bicoloring. - David W. Juedes; Jeffrey Jones (Optim. Methods Softw., 2021)

Reflections of Cybersecurity Workshop for K-12 Teachers and High School Students. - Chad Mourning; David Juedes; Allyson Hallman-Thrasher; Harsha Chenji; Savas Kaya; Avinash Karanth (SIGCSE (2), 2022)

DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems. - Garret Cunningham; Harsha Chenji; David Juedes; Gordon Stewart 001; Avinash Karanth (ISQED, 2023)

Reflections of Cybersecurity Workshop for K-12 Teachers. - Chad Mourning; Harsha Chenji; Allyson Hallman-Thrasher; Savas Kaya; Nasseef Abukamail; David Juedes; Avinash Karanth (SIGCSE (1), 2023)

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. - Garett Cunningham; Razvan C. Bunescu; David Juedes (CoRR, 2023)

d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems. - Garett Cunningham; Harsha Chenji; David Juedes; Avinash Karanth (ASPDAC, 2024)

Language semantics to support secure computation and communication in embedded systems via hardware monitors. - Garett Cunningham; Siqin Liu; Harsha Chenji; David Juedes; Avinash Karanth (Integr., 2025)