David W. Juedes

According to our database, David W. Juedes authored at least 41 papers between 1991 and 2023.

Collaborative distances:

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

2023

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.

Garett Cunningham, Razvan C. Bunescu, David Juedes

CoRR, 2023

Reflections of Cybersecurity Workshop for K-12 Teachers.

Chad Mourning, Harsha Chenji, Allyson Hallman-Thrasher, Savas Kaya, Nasseef Abukamail, David Juedes, Avinash Karanth

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems.

Garret Cunningham, Harsha Chenji, David Juedes, Gordon Stewart, Avinash Karanth

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022

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

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

A generic framework for approximation analysis of greedy algorithms for star bicoloring.

David W. Juedes, Jeffrey Jones

Optim. Methods Softw., 2021

2020

Set cover-based methods for motif selection.

Yichao Li, Yating Liu, David Juedes, Frank Drews, Razvan C. Bunescu, Lonnie R. Welch

Bioinform., 2020

2018

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

2016

CS0 for Computer Science Majors at Ohio University.

Cindy Marling, David Juedes

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

A Generic Framework for Approximation Analysis for Algorithms for Star Bicoloring.

David Juedes, Jeffrey Jones

Proceedings of the 13th Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2015

2013

The Appalachian Cohort for Engineering: An evaluation of S-STEM strategies for success.

Valerie Young, David Juedes, Holly Raffle

Proceedings of the IEEE Frontiers in Education Conference, 2013

2012

Coloring Jacobians revisited: a new algorithm for star and~acyclic bicoloring.

David Juedes, Jeffrey Jones

Optim. Methods Softw., 2012

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

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2007

The Complexity of Polynomial-Time Approximation.

Liming Cai, Michael R. Fellows, David W. Juedes, Frances A. Rosamond

Theory Comput. Syst., 2007

2006

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

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

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

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 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

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

QoS-based resource allocation in dynamic real-time systems.

Robert Judd, F. Drews, Douglas Lawrence, David Juedes, B. Leal, J. Deshpande, Lonnie R. Welch

Proceedings of the American Control Conference, 2005

2004

Baire category and nowhere differentiability for feasible real functions.

Josef M. Breutzmann, David W. Juedes, Jack H. Lutz

Math. Log. Q., 2004

Linear Kernels in Linear Time, or How to Save k Colors in O(n²) Steps.

Benny Chor, Mike Fellows, David W. Juedes

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2004

A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs.

Henning Fernau, David W. Juedes

Proceedings of the Mathematical Foundations of Computer Science 2004, 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

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 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

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

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, Lonnie R. Welch

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

On the existence of subexponential parameterized algorithms.

Liming Cai, David W. Juedes

J. Comput. Syst. Sci., 2003

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

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

The inapproximability of non-NP-hard optimization problems.

Liming Cai, David W. Juedes, Iyad A. Kanj

Theor. Comput. Sci., 2002

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies.

Joan Krone, David W. Juedes, Meera Sitharam

Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002

2001

Subexponential Parameterized Algorithms Collapse the W-Hierarchy.

Liming Cai, David W. Juedes

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000

Modeling Time-Bounded Prefix Kolmogorov Complexity.

David W. Juedes, Jack H. Lutz

Theory Comput. Syst., 2000

Evolutionary computation techniques for multiple sequence alignment.

Liming Cai, David Juedes, Evgueni Liakhovitch

Proceedings of the 2000 Congress on Evolutionary Computation, 2000

1999

Computational Complexity of Term-Equivalence.

Clifford Bergman, David Juedes, Giora Slutzki

Int. J. Algebra Comput., 1999

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

Completeness and Weak Completeness Under Polynomial-Size Circuits.

David W. Juedes, Jack H. Lutz

Inf. Comput., 1996

1995

Weak Completeness in E and E_2.

David W. Juedes, Jack H. Lutz

Theor. Comput. Sci., 1995

The Complexity and Distribution of Hard Problems.

David W. Juedes, Jack H. Lutz

SIAM J. Comput., 1995

Weakly Complete Problems are not Rare.

David W. Juedes

Comput. Complex., 1995

1994

Computational Depth and Reducibility.

David W. Juedes, James I. Lathrop, Jack H. Lutz

Theor. Comput. Sci., 1994

1993

Computational Depth and Reducibility (Extended Abstract).

David W. Juedes, James I. Lathrop, Jack H. Lutz

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

The Complexity and Distribution of Hard Problems (Extended Abstract)

David W. Juedes, Jack H. Lutz

Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1991

Exploiting parallelism in automatic differentiation.

Christian H. Bischof, Andreas Griewank, David W. Juedes

Proceedings of the 5th international conference on Supercomputing, 1991