大卫Juedes

期刊文章，学术期刊（21）

• Cunningham， G., Liu， S., Chenji， H., Juedes， D., Karanth， A.（2025）。通过硬件监视器在嵌入式系统中支持安全计算和通信的语言语义。集成;102: 102367。https://doi.org/10.1016/j.vlsi.2025.102367。
• 李，Y.，刘，Y., Juedes， D., drew， F., Bunescu， R., Welch， L.（2020）。为图案选择设置基于封面的方法。4. 生物信息学（牛津，英国）；36: 1044 - 1051。
• Juedes， D., Jones， J.（2019）。星型双色贪心算法近似分析的一般框架。泰勒&弗朗西斯；22页。https://doi.org/10.1080/10556788.2019.1649671。
• 李毅，刘毅，Juedes， D, drew， F., Bunescu， R., Welch， L.（2019）。为图案选择设置基于封面的方法。生物信息学/牛津大学出版社。
• Juedes， D., Jeffrey， J.（2016）。星型双色贪心算法逼近分析的一般框架。离散应用数学。
• Juedes， D., Jones， J.（2012）。再论雅可比着色：一种星形和无环双着色的新算法。2. 伦敦：优化方法与软件；27日:295 - 309。
• Juedes， D., Jones， J.（2011）。再论雅可比着色：一种星形和无环双着色的新算法。伦敦：优化方法和软件。
• Juedes， D, Cai， L., Fellows， M., Rosamond， F.（2007）。多项式时间逼近的复杂性。计算系统理论；41: 459 - 477。
• Juedes， D., drew， F., Gu， D., Welch， L., Ecker， K., Schomann， S.（2006）。工作负载相关运行的周期性实时任务逼近算法。3. 实时系统学报；34: 173 - 194。
• Juedes， D, Chen， J., Chor， B., Fellows， M, Huang， X., Kanj， I, Xia， G.（2005）。某些参数化np困难问题的紧下界。信息与计算；201: 216 - 231。
• Juedes， D., Breutzmann， J., Lutz， J.（2004）。可行实函数的贝尔范畴和无处可微性。4/5。数理逻辑季刊；: 460 - 472。
• 朱德德，蔡林（2003）。关于次指数参数化算法的存在性。4. 计算机与系统科学学报；67: 789 - 807。
• 蔡丽丽，朱德斯，李建平，李建平（2002）。非np -hard优化问题的不可逼近性。1. 理论计算机科学；289: 553 - 571。https://doi.org/10.1016/s0304 - 3975(01) 00343 - 7。
• Juedes， D, Lutz， J.（2000）。时域前缀Kolmogorov复杂度建模。计算系统理论；111 - 123。
• Juedes， D., Bergman， C., Slutzki， G.（1999）。项等价的计算复杂度。1. 国际代数与计算杂志；9: 113 - 128。
• Juedes， D., Griewank， A., Utke， J.（1996）。ADOL-C：一个用C/ c++编写的算法自动微分包。22. ACM反式。数学。软件;131 - 167。
• Juedes， D, Lutz， J.（1996）。多项式大小电路下的完备性与弱完备性。125. 信息与计算；13-31。
• Juedes， D, Lutz， J.（1995）。难题的复杂性和分布。24. SIAM计算杂志；279 - 295。
• Juedes， D, Lutz， J.（1995）。E和E2的弱完备性。143. 理论计算机科学；149 - 158。
• Juedes， D.（1995）。弱完全问题并不罕见。计算复杂度;267 - 283。
• Juedes， D., Lathrop， J., Lutz， J.（1994）。计算深度和可约性。132. 理论计算机科学；37 - 70。

期刊文章，专业期刊(1)

• Al-Ouran， R., Schmidt， R., Naik， A., Jones， J., Drews， F., Juedes， D., Elnitski， L., Welch， L.（2015）。利用基于覆盖率的启发式方法发现基因调控元件。[Epub ahead of print] PubMed PMID: 26540692。IEEE/ACM计算生物学与生物信息学汇刊；2015年10月30日。

会议记录（46）

• Cunningham， G., Chenji， H., Juedes， D., Karanth， A.（2024）。d-GUARD：通过嵌入式系统中使用语言语义的信息流硬件监控来阻止拒绝服务攻击。IEEE;939 - 944。https://doi.org/10.1109/asp-dac58780.2024.10473945。
• Cunningham， G., Chenji， H., Juedes， D., Karanth， A.（2024）。d-GUARD：通过嵌入式系统中使用语言语义的信息流硬件监控来阻止拒绝服务攻击。韩国仁川：第29届亚洲和南太平洋设计自动化会议（ASP-DAC 2024）。
• Cunningham， G., Chenji， H., Juedes， D., Stewart， G., Karanth， A.（2023）。嵌入式系统中程序安全的语言语义开发。IEEE;1 - 7。https://doi.org/10.1109/isqed57927.2023.10129334。
• Cunningham， G., Juedes， D., Stewart， G., Chenji， H., Karanth， A.（2023）。嵌入式系统中程序安全的语言语义开发。旧金山，加州：第24届质量电子设计国际研讨会（ISQED）。
• 莫宁，C，陈吉，H, Hallman-Thrasher， A, Kaya， S, Abukamail， N, Juedes， D, Karanth， A.（2023）。K-12教师网络安全研讨会的思考。ACM SIGCSE。
• 莫宁，C，陈吉，H, Hallman-Thrasher， A, Kaya， S, Abukamail， N, Juedes， D, Karanth， A.（2023）。K-12教师网络安全研讨会的思考。ACM;987 - 993。https://doi.org/10.1145/3545945.3569761。
• Cunningham， G., Bunescu， R., Juedes， D.（2022）。数学与代码正确性的自动形式化：初等证明实验。阿布扎比，阿拉伯联合酋长国（Hybrid）：计算语言学协会；25 - 32。https://aclanthology.org/2022.mathnlp - 1.4。
• 莫宁，C, Juedes， D, Hallman-Thrasher， A, Chenji， H, Kaya， S, Karanth， A.（2022）。面向中小学教师和高中生的网络安全研讨会的思考。美国纽约州纽约：计算机协会；1127. https://doi.org/10.1145/3478432.3499094。
• Samuel， M., Stewart， G., Juedes， D.（2016）。计算所有极大独立集的认证程序（毛坯钻石）。
• 马林，C., Juedes， D.（2016）。俄亥俄大学计算机科学专业的CS0课程。纽约，纽约：ACM；138年——143年。http://329斯托克中心。
• Welch， L., Al-Ouran， R., Schmidt， R., Naik， A., Jones， J., Juedes， D., Elnitski， L., Drews， F.（2015）。利用基于覆盖率的启发式方法发现基因调控元件。马里兰州波托马克：ENCODE 2015：研究应用和用户会议，国立卫生研究院，马里兰州波托马克。
• Welch， L., Al-Ouran， R., Schmidt， R., Naik， A., Jones， J., Juedes， D., Elnitski， L., Drews， F.（2015）。利用基于覆盖率的启发式方法发现基因调控元件。西拉斐特，印第安纳州：第10届大湖生物信息学会议，国际计算生物学学会，普渡大学。
• Juedes， D., Jones， J.（2015）。扩展摘要：星型双色算法近似分析的一般框架。第13届科隆-特文特图与组合优化研讨会；185年——188年。
• Raffle， H., Smith， M., Young， V., Juedes， D.（2014）。阿巴拉契亚地区STEM学生多层次指导体系的发展评价。阿尔伯克基，新墨西哥州：新墨西哥大学；7.
• Young， V., Juedes， D., Raffle， H.（2013）。阿巴拉契亚工程队列：S-STEM策略成功的评估。IEEE;http://dx.doi.org/10.1109/fie.2013.6684823。
• Young， V., Juedes， D., Raffle， H.（2013）。阿巴拉契亚工程队列：S-Stem成功策略的评估。2013年教育前沿会议论文集；233 - 236。
• Juedes， D, Drews， F.（2012）。工程新课程：俄亥俄大学整合IEEE- tcpp课程倡议的经验。2012 IEEE第26届国际并行与分布式处理研讨会研讨会暨博士论坛（IPDPSW）；1279 - 1282。
• Juedes， D.（2005）。网络评分计划：进一步的经验和学生的态度。印第安纳州印第安纳波利斯：第35届ASEE/IEEE教育会议前沿会议论文集，IEEE出版社；F4e-18 - f4e-23。
• Judd， R., Drews， F., Lawrence， D., Juedes， D., Leal， W., Deshpande， J., Welch， L.（2005）。动态实时系统中基于qos的资源分配。波特兰，俄勒冈：2005年美国控制会议论文集；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）。分布式实时嵌入式系统的集成CORBA调度和资源管理。旧金山，CA：第11届IEEE实时和嵌入式技术与应用研讨会（RTAS 2005）， IEEE计算机学会出版社；374 - 384。
• Juedes， D, ferau， H.（2004）。平面控制问题参数化算法的几何方法。第29届计算机科学数学基础国际研讨会论文集，Springer-Verlag；3153: 488 - 499。
• Juedes， D., Chor， B., Fellows， M.（2004）。线性时间内的线性核，或者如何在O（n2）步内保存k种颜色。第30届计算机科学图论概念国际研讨会论文集，Springer-Verlag；3353: 257 - 269。
• Juedes， D., Chen， J., Chor， B., Fellows， M., Huang， X., Kanj， I., Xia， G.（2004）。某些参数化NP-hard问题的紧下界。第19届IEEE计算复杂性会议，IEEE计算机学会出版社；150 - 160。
• Welch， L., Fleeman， D., Juedes， D., Liu， C.（2004）。CORBA中的自适应资源管理服务。对象管理组（OMG）关于实时和嵌入式系统分布式对象计算的研讨会。
• 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）。面向分布式实时和嵌入式系统的集成CORBA调度和资源管理服务。弗吉尼亚州阿灵顿：第四届TAO和CIAO年度研讨会。
• Aber， E., Drews， F., Gu， D., Juedes， D., Lenharth， A., Parrott， D., Welch， L., Zhao， H., Fleeman， D.（2004）。动态分布式实时系统中最大允许工作量的启发式和最优资源分配算法的实验比较。WTR 2004 -第六届巴西实时系统研讨会。
• Juedes， D, Drews， F, Welch， L.（2004）。工作负载函数：实时计算的新范式。《区域贸易协定正在进行的会议录》。
• Liu， C, Fleeman， D., Aber， E., Welch， L., Juedes， D.（2004）。分布式实时和嵌入式系统的模型驱动资源管理。第二届RTAS模型驱动嵌入式系统研讨会（MoDES '04）。
• Juedes， D., drew， F., Welch， L., Fleeman， D.（2004）。动态分布式实时系统中最大允许工作量的启发式资源分配算法。并行和分布式实时系统第十二届国际研讨会，IEEE计算机学会出版社。
• Fleeman， D, Gillen， M., Lenharth， A., Delaney， M., Welch， L., Juedes， D., Liu， C.（2004）。基于质量的自适应资源管理体系结构（QARMA）：一个CORBA资源管理服务，IEEE出版社。第十二届并行和分布式实时系统国际研讨会，IEEE计算机学会出版社。
• 德鲁斯，F.，韦尔奇，L.，裘德斯，D.，弗利曼，D.，布鲁宁，A.，埃克尔，K.，霍弗，M.（2004）。动态分布式实时系统中基于效用函数的资源分配。第十二届并行与分布式实时系统国际研讨会，IEEE计算机学会出版社。
• Fleeman， D, Gillen， M., Lenharth， A., Delaney， M., Welch， L., Juedes， D., Liu， C.（2004）。基于质量的自适应资源管理体系结构（QARMA）：一个CORBA资源管理服务。圣达菲，新墨西哥：并行和分布式实时系统研讨会2004 （WPDRTS04）。
• Juedes， D.（2003）。网络评分经验。博尔德，科罗拉多州：第33届ASEE/IEEE前沿教育会议论文集，IEEE出版社，2003；S3f-27 - s337 -32。
• Ecker， K., Drews， F., Juedes， D., Welch， L., Chelberg， D., Fleeman， D., Parrott， D.（2003）。动态分布式实时系统的优化框架。法国尼斯：第11届并行和分布式实时系统国际研讨会。
• Juedes， D., Krone， J., Sitharam， M.（2002）。理论与实践威廉希尔亚洲：通过工业案例研究丰富CS课程。科文顿，肯塔基：第15届软件工程教育与培训会议论文集，（CSEE&T 2002）， IEEE计算机学会出版社；207 - 214。
• Juedes， D., Breutzmann， J., Lutz， J.（2001）。可行实函数的贝尔范畴和无处可微性。基督城，新西兰：第12届算法与计算国际研讨会论文集，Springer-Verlag；219 - 230。
• 朱德德，蔡林（2001）。次指数参数化算法使w层次结构崩溃。克里特岛，希腊：第二十八届自动机，语言和编程国际研讨会论文集，斯普林格出版社；273 - 284。
• Juedes， D., Cai， L., Liakhovitch， E.（2000）。多序列比对的进化计算技术。圣地亚哥，加州：2000年进化计算大会论文集，IEEE出版社；829 - 835。
• Juedes， D., Krone， J., Sitharam， M.（1999）。通过促进产业界与学术界的合作，弥合理论与实践之间的差距。圣胡安，波多黎各：第29届ASEE/IEEE前沿教育会议论文集，IEEE出版社；13 c5-19。
• 朱德德，蔡丽丽，康杰，I.（1998）。非NP-hard优化问题的不可逼近性。1533. 韩国大田：第九届算法与计算国际研讨会论文集（ISAAC ' 98）， Spring-Verlag；437 - 446。
• Juedes， D, Lutz， J.（1998）。限时前缀Kolmogorov复杂度。第36届年度阿勒顿通信、控制和计算会议论文集，伊利诺伊大学出版社；703 - 712。
• Juedes， D., Balakrishnan， K.（1996）。广义神经网络、计算微分和进化。第二届国际SIAM计算微分研讨会论文集；273 - 286。
• Juedes， D, Lutz， J.（1995）。多项式大小电路下的完备性与弱完备性。慕尼黑，德国：第12届计算机科学理论研讨会论文集，Springer-Verlag；26-37。
• Juedes， D, Lutz， J.（1993）。难题的复杂性和分布。加州帕洛阿尔托：第34届IEEE计算机科学基础研讨会论文集，IEEE出版社；177 - 185。
• Juedes， D., Lathrop， J., Lutz， J.（1993）。计算深度和可约性。隆德，瑞典：第二十届自动机，语言和编程国际研讨会论文集，斯普林格出版社；277 - 288。
• Juedes， D., Bischof， C., Griewank， A.（1991）。利用自动微分中的并行性。巴尔的摩，MD: 1991年国际会议录，ACM出版社；: 146 - 153。

被引研究(1)

• Citation Profile. 164 Citation (Science Citation Index)；http://www.researchindex.com。

期刊文章，公共或行业期刊(1)

• Juedes， D, Lutz， J.（1992）。Kolmogorov复杂度，复杂度核和硬度分布。《Kolmogorov复杂性与计算复杂性》，Springer-Verlag；43 - 65。

杂志/行业刊物(1)

• Juedes， D.（1991）。自动区分工具的分类。费城，宾夕法尼亚州：自动区分算法：理论，实现和应用，SIAM；315 - 329。