David Juedes

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 7

Top Topics

Computer Science

Exact Computation

Top Venues

Publications

Garett Cunningham, Harsha Chenji, David Juedes, Avinash Karanth
d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems. ASPDAC (2024)
Garret Cunningham, Harsha Chenji, David Juedes, Gordon Stewart, Avinash Karanth
DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems. ISQED (2023)
Chad Mourning, Harsha Chenji, Allyson Hallman-Thrasher, Savas Kaya, Nasseef Abukamail, David Juedes, Avinash Karanth
Reflections of Cybersecurity Workshop for K-12 Teachers. SIGCSE (1) (2023)
Garett Cunningham, Razvan C. Bunescu, David Juedes
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. CoRR (2023)
Chad Mourning, David Juedes, Allyson Hallman-Thrasher, Harsha Chenji, Savas Kaya, Avinash Karanth
Reflections of Cybersecurity Workshop for K-12 Teachers and High School Students. SIGCSE (2) (2022)
Yichao Li, Yating Liu, David Juedes, Frank Drews, Razvan C. Bunescu, Lonnie R. Welch
Set cover-based methods for motif selection. Bioinform. 36 (4) (2020)
Cindy Marling, David Juedes
CS0 for Computer Science Majors at Ohio University. SIGCSE (2016)
David Juedes, Jeffrey Jones
A Generic Framework for Approximation Analysis for Algorithms for Star Bicoloring. CTW (2015)
Valerie Young, David Juedes, Holly Raffle
The Appalachian Cohort for Engineering: An evaluation of S-STEM strategies for success. FIE (2013)
David Juedes, Jeffrey Jones
Coloring Jacobians revisited: a new algorithm for star and~acyclic bicoloring. Optim. Methods Softw. 27 (2) (2012)
Robert Judd, F. Drews, Douglas Lawrence, David Juedes, B. Leal, J. Deshpande, Lonnie R. Welch
QoS-based resource allocation in dynamic real-time systems. ACC (2005)
Liming Cai, David Juedes, Evgueni Liakhovitch
Evolutionary computation techniques for multiple sequence alignment. CEC (2000)
Clifford Bergman, David Juedes, Giora Slutzki
Computational Complexity of Term-Equivalence. Int. J. Algebra Comput. 9 (1) (1999)