David Juedes

Journal Article, Academic Journal (20)

• Li , Y., Liu, Y., Juedes, D., Drews, F., Bunescu, R., Welch, L. (2020). Set cover-based methods for motif selection.. 4 . Bioinformatics (Oxford, England); 36: 1044-1051.
• Juedes, D., Jones, J. (2019). A generic framework for approximation analysis of greedy algorithms for star bicoloring. Taylor & Francis; 1-22. https://doi.org/10.1080/10556788.2019.1649671 .
• Li, Y., Liu, Y., Juedes, D., Drews, F., Bunescu, R., Welch, L. (2019). Set cover-based methods for motif selection. . Bioinformatics/Oxford University Press.
• Juedes, D., Jeffrey, J. (2016). A Generic Framework for Approximation Analysis of Greedy Algorithms for Star Bicoloring. Discrete Applied Mathematics.
• Juedes, D., Jones, J. (2012). Coloring Jacobians revisited: a new algorithm for star and acyclic bicoloring . 2 . London: Optimization Methods and Software; 27: 295--309.
• Juedes, D., Jones, J. (2011). Coloring Jacobians revisited: a new algorithm for star and acyclic bicoloring . London: Optimization Methods and Software.
• Juedes, D., Cai, L., Fellows, M., Rosamond, F. (2007). The Complexity of Polynomial-Time Approximation . Theory of Computing Systems; 41: 459-477.
• Juedes, D., Drews, F., Gu, D., Welch, L., Ecker, K., Schomann, S. (2006). Approximation Algorithm for Periodic Real-Time Tasks withWorkload -Dependant Running-. 3 . Journal of Real-time Systems; 34: 173-194.
• Juedes, D., Chen, J., Chor, B., Fellows, M., Huang, X., Kanj, I., Xia, G. (2005). Tight Lower Bounds for Certain Parameterized NP-hard Problems. Information and Computation; 201: 216-231.
• Juedes, D., Breutzmann, J., Lutz, J. (2004). Baire category and nowhere differentiability for feasible real functions . 4/5 . Mathematical Logic Quarterly; 50: 460-472.
• Juedes, D., Cai, L. (2003). On the existence of subexponential parameterized algorithms . 4 . Journal of Computer and System Sciences; 67: 789-807.
• Juedes, D., Cai, L., Kanj, I. (2002). On the inapproximability of non NP-hard optimization problems. Theoretical Computer Science; 289: 553-571.
• Juedes, D., Lutz, J. (2000). Modeling Time-bounded Prefix Kolmogorov Complexity. 33 . Theory of Computing Systems; 111-123.
• Juedes, D., Bergman, C., Slutzki, G. (1999). Computational Complexity of Term-Equivalence. 1 . International Journal of Algebra and Computation; 9: 113-128.
• Juedes, D., Griewank, A., Utke, J. (1996). ADOL-C: A Package for the Automatic Differentiation of Algorithms Written in C/C++. 22 . ACM Trans. Math. Software; 131-167.
• Juedes, D., Lutz, J. (1996). Completeness and Weak Completeness under Polynomial-Size Circuits . 125 . Information and Computation; 13-31.
• Juedes, D., Lutz, J. (1995). The Complexity and Distribution of Hard Problems . 24 . SIAM Journal on Computing; 279-295.
• Juedes, D., Lutz, J. (1995). Weak Completeness in E and E2 . 143 . Theoretical Computer Science; 149-158.
• Juedes, D. (1995). Weakly Complete Problems are Not Rare. 5 . Computational Complexity; 267-283.
• Juedes, D., Lathrop, J., Lutz, J. (1994). Computational Depth and Reducibility . 132 . Theoretical Computer Science; 37-70.

Journal Article, Professional Journal (1)

• Al-Ouran, R., Schmidt, R., Naik, A., Jones, J., Drews, F., Juedes, D., Elnitski, L., Welch, L. (2015). Discovering Gene Regulatory Elements Using Coverage-based Heuristics. [Epub ahead of print] PubMed PMID: 26540692 . IEEE/ACM Transactions on Computational Biology and Bioinformatics; October 30, 2015.

Conference Proceeding (43)

• Cunningham, G., Chenji, H., Juedes, D., Karanth , A. (2024). d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems. Incheon, South Korea: 29th Asia and South Pacific Design Automation Conference (ASP-DAC 2024).
• Cunningham, G., Juedes, D., Stewart, G., Chenji, H., Karanth , A. (2023). DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems. San Fransisco, CA: 24th International Symposium on Quality Electronic Design (ISQED).
• Mourning, C., Chenji, H., Hallman-Thrasher, A., Kaya, S., Abukamail, N., Juedes, D., Karanth , A. (2023). Reflections of Cybersecurity Workshop for K-12 Teachers. ACM SIGCSE.
• Cunningham, G., Bunescu, R., Juedes, D. (2022). Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. Abu Dhabi, United Arab Emirates (Hybrid): Association for Computational Linguistics; 25--32. https://aclanthology.org/2022.mathnlp-1.4 .
• Mourning, C., Juedes, D., Hallman-Thrasher, A., Chenji, H., Kaya, S., Karanth , A. (2022). Reflections of Cybersecurity Workshop for K-12 Teachers and High School Students. New York, NY, USA: Association for Computing Machinery; 1127. https://doi.org/10.1145/3478432.3499094 .
• Samuel, M., Stewart, G., Juedes, D. (2016). Certified Program for Computing All Maximal Independent Sets (Rough Diamond).
• Marling, C., Juedes, D. (2016). CS0 for Computer Science Majors at Ohio University. New York, New York: ACM; 138--143. http://329 Stocker Center .
• Welch, L., Al-Ouran, R., Schmidt, R., Naik, A., Jones, J., Juedes, D., Elnitski, L., Drews, F. (2015). Discovering Gene Regulatory Elements Using Coverage-based Heuristics. Potomac, Maryland: ENCODE 2015: Research Applications and Users Meeting, National Institutes of Health, Potomac, Maryland.
• Welch, L., Al-Ouran, R., Schmidt, R., Naik, A., Jones, J., Juedes, D., Elnitski, L., Drews, F. (2015). Discovering Gene Regulatory Elements Using Coverage-based Heuristics. West Lafayette, IN: 10th Great Lakes Bioinformatics Conference, International Society for Computational Biology, Purdue University.
• Juedes, D., Jones, J. (2015). An Extended Abstract: A Generic Framework for Approximation Analysis for Algorithms for Star Bicoloring. The 13th Cologne-Twente Workshop on Graphs & Combinatorial Optimization; 185--188.
• Raffle, H., Smith, M., Young, V., Juedes, D. (2014). Developmental Evaluation of Multi-Level Mentoring Systems for Appalachian STEM Students. Albuquerque, NM: University of New Mexico; 7.
• Young, V., Juedes, D., Raffle, H. (2013). The Appalachian Cohort for Engineering: An evaluation of S-STEM strategies for success. IEEE; http://dx.doi.org/10.1109/fie.2013.6684823 .
• Young, V., Juedes, D., Raffle, H. (2013). The Appalachian Cohort for Engineering: An Evaluation of S-Stem Strategies for Success. Proceedings of the 2013 Frontiers in Education Conference; 233-236.
• Juedes, D., Drews, F. (2012). Engineering a New Curriculum: Experiences at Ohio University in Incorporating the IEEE-TCPP Curriculum Initiative During a Transition to Semesters. 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW); 1279 - 1282.
• Juedes, D. (2005). The Web-Based Grading Project: Further Experiences and Student Attitudes. Indianapolis, Indiana: Proceedings of the 35th ASEE/IEEE Frontiers in Education Conference, IEEE Press; F4E-18 - F4E-23.
• Judd, R., Drews, F., Lawrence, D., Juedes, D., Leal, W., Deshpande, J., Welch, L. (2005). QoS-Based Resource Allocation in Dynamic Real-Time Systems. Portland, OR: Proceedings of the 2005 American Control Conference; 1745 – 1751.
• Bryan, K., DiPippo, L., Fay-Wolfe, V., Murphy, M., Zhang, J., Fleeman, D., Juedes, D., Liu, C., Welch, L., Niehaus, D., Gill, C. (2005). Integrated CORBA Scheduling and Resource Management for Distributed Real-Time Embedded Systems. San Francisco, CA: Proceeding of 11th IEEE Real-Time and Embedded Technology and Applications Symosium (RTAS 2005), IEEE Computer Society Press; 374-384.
• Juedes, D., Fernau, H. (2004). A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs . Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, Springer-Verlag; 3153: 488-499.
• Juedes, D., Chor, B., Fellows, M. (2004). Linear Kernels in Linear Time, or How to Save k Colors in O(n2) steps . Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, Springer-Verlag; 3353: 257-269.
• Juedes, D., Chen, J., Chor, B., Fellows, M., Huang, X., Kanj, I., Xia, G. (2004). Tight Lower Bounds for Certain Parameterized NP-hard Problems. 19th Annual IEEE Conference on Computational Complexity, IEEE Computer Soceity Press; 150-160.
• Welch, L., Fleeman, D., Juedes, D., Liu, C. (2004). Adaptive Resource Management Services in CORBA. The Object Management Group (OMG) Workshop on Distributed Object Computing for Real-time and Embedded Systems.
• Bryan, K., DiPippo, L., Fay-Wolfe, V., Fleeman, D., Gill, C., Juedes, D., Liu, C., Murphy, M., Niehaus, D., Subramonian, V., Welch, L., Zhang, J. (2004). Towards Integrated CORBA Scheduling and Resource Management Services for Distributed Real-Time and Embedded Systems. Arlington, VA: 4th Annual Workshop on TAO and CIAO.
• Aber, E., Drews, F., Gu, D., Juedes, D., Lenharth, A., Parrott, D., Welch, L., Zhao, H., Fleeman, D. (2004). Experimental Comparison of Heuristic and Optimal Resource Allocation Algorithms for Maximizing Allowable Workload in Dynamic, Distributed Real-Time Systems. WTR 2004 - 6th Brazilian Workshop on Real-Time Systems.
• Juedes, D., Drews, F., Welch, L. (2004). Workload Functions: A New Paradigm for Real-Time Computing. In Proceedings of the RTAS Work-In-Progress Session.
• Liu, C., Fleeman, D., Aber, E., Welch, L., Juedes, D. (2004). Model-Driven Resource Management for Distributed Real-Time and Embedded Systems. 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES '04.
• Juedes, D., Drews, F., Welch, L., Fleeman, D. (2004). Heuristic Resource Allocation Algorithms for Maximizing Allowable Workload in Dynamic, Distributed Real-Time Systems. 12th International Workshop on Parallel and Distributed Real-time Systems, IEEE Computer Society Press.
• Fleeman, D., Gillen, M., Lenharth, A., Delaney, M., Welch, L., Juedes, D., Liu, C. (2004). Quality-based Adaptive Resource Management Architecture (QARMA): A CORBA Resource Management Service, IEEE Press. 12th International Workshop on Parallel and Distributed Real-time Systems, IEEE Computer Society Press.
• Drews, F., Welch, L., Juedes, D., Fleeman, D., Bruening, A., Ecker, K., Hoefer, M. (2004). Utility-Function based Resource Allocation for Adaptable Applications in Dynamic Distributed Real-Time Systems. 12th International Workshop on Parallel and Distributed Real-time Systems, IEEE Computer Society Press.
• Fleeman, D., Gillen, M., Lenharth, A., Delaney, M., Welch, L., Juedes, D., Liu, C. (2004). Quality-based Adaptive Resource Management Architecture (QARMA): A CORBA Resource Management Service. Santa Fe, New Mexico: Workshop on Parallel and Distributed Real-Time Systems 2004 (WPDRTS04).
• Juedes, D. (2003). Experiences in Web-based Grading. Boulder, Colorado: Proceedings of the 33rd ASEE/IEEE Frontiers in Education Conference, IEEE Press, 2003; S3F-27 - S37-32.
• Ecker, K., Drews, F., Juedes, D., Welch, L., Chelberg, D., Fleeman, D., Parrott, D. (2003). An Optimization Framework for Dynamic, Distributed Real-Time Systems. Nice, France: 11th International Workshop on Parallel and Distributed Real-Time Systems.
• Juedes, D., Krone, J., Sitharam, M. (2002). Theory meets practice: Enriching the CS curriculum through industrial case studies . Covington, Kentucky: Proceedings of the 15th Conference on Software Engineering Education and Training, (CSEE&T 2002), IEEE Computer Society Press ; 207-214.
• Juedes, D., Breutzmann, J., Lutz, J. (2001). Baire category and nowhere differentiability for feasible real functions . Christchurch, New Zealand: Proceedings of the Twelveth International Symposium on Algorithms and Computation, Springer-Verlag; 219-230.
• Juedes, D., Cai, L. (2001). Subexponential Parameterized Algorithms Collapse the W-hierarchy . Crete, Greece: Proceedings of the Twenty Eighth International Colloquium on Automata, Languages, and Programming, Springer-Verlag; 273-284.
• Juedes, D., Cai, L., Liakhovitch, E. (2000). Evolutionary Computation Techniques for Multiple Sequence Alignment . San Diego, CA: Proceedings of the 2000 Congress on Evolutionary Computation, IEEE Press; 829-835.
• Juedes, D., Krone, J., Sitharam, M. (1999). Bridging the gap between theory and practice by promoting a partnership between industry and academia . San Juan, Puerto Rico: Proceedings of the 29th ASEE/IEEE Frontiers in Education Conference, IEEE Press; 13c5-19.
• Juedes, D., Cai, L., Kanj, I. (1998). On the inapproximability of non NP-hard optimization problems. 1533 . Taejon, Korea: Proceeding of the Ninth Annual International Symposium on Algorithms and Computation (ISAAC ’98), Spring-Verlag; 437-446.
• Juedes, D., Lutz, J. (1998). Time-bounded Prefix Kolmogorov Complexity. Proceedings of the 36th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois Press; 703-712.
• Juedes, D., Balakrishnan, K. (1996). Generalized Neural Networks, Computational Differentiation, and Evolution . Proceedings of the Second International SIAM Workshop on Computational Differentiation, SIAM; 273-286.
• Juedes, D., Lutz, J. (1995). Completeness and Weak Completeness Under Polynomial-Size Circuits . Munich, Germany: Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science, Springer-Verlag ; 26-37.
• Juedes, D., Lutz, J. (1993). The Complexity and Distribution of Hard Problems . Palo Alto, CA: Proceedings of the 34th IEEE Symposium on Foundations of Computer Science, IEEE Press ; 177-185.
• Juedes, D., Lathrop, J., Lutz, J. (1993). Computational Depth and Reducibility . Lund, Sweden: Proceedings of the Twentieth International Colloquium on Automata, Languages, and Programming, Springer-Verlag; 277-288.
• Juedes, D., Bischof, C., Griewank, A. (1991). Exploiting Parallelism in Automatic Differentiation . Baltimore, MD: Proceedings of the 1991 International, ACM Press; : 146-153.

Cited Research (1)

• Juedes, D. Citation Profile. 164 Citations (Science Citation Index); http://www.researchindex.com .

Journal Article, Public or Trade Journal (1)

• Juedes, D., Lutz, J. (1992). Kolmogorov Complexity, Complexity Cores, and the Distribution of Hardness . Kolmogorov Complexity and Computational Complexity, Springer-Verlag; 43-65.

Magazine/Trade Publication (1)

• Juedes, D. (1991). A Taxonomy of Automatic Differentiation Tools. Philadelphia, PA: Automatic Differentiation of Algorithms: Theory, Implementation, and Application, SIAM; 315-329.