David Clark 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2659	1029
h 指数	25	16
i10 指数	46	29

220

110

165

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 7 16 30 38 54 57 52 74 122 125 105 97 101 99 160 126 136 140 187 178 185 206 184 83

开放获取的出版物数量

查看全部

19 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex University在 mdx.ac.uk 的电子邮件经过验证
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCL在 ucl.ac.uk 的电子邮件经过验证
Kevin LanoDept. of Informatics, King's College London在 kcl.ac.uk 的电子邮件经过验证
Sebastian HuntDepartment of Computer Science, City University London在 soi.city.ac.uk 的电子邮件经过验证
Pasquale MalacariaProfessor, Queen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
Héctor D. MenéndezKing's College London在 kcl.ac.uk 的电子邮件经过验证
Earl T. BarrProfessor, University College London在 ucl.ac.uk 的电子邮件经过验证
Robert HieronsProfessor, The University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Shin YooKorea Advanced Institute of Science and Technology在 kaist.ac.kr 的电子邮件经过验证
Paolo TonellaUniversità della Svizzera italiana (USI)在 usi.ch 的电子邮件经过验证
Jens KrinkeAssociate Professor in Computer Science, University College London在 ucl.ac.uk 的电子邮件经过验证
Gunel JahangirovaKing's College London在 kcl.ac.uk 的电子邮件经过验证
Chris HankinProfessor of Computing Science, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Laurence TrattSoftware Development Team, Informatics, King's College London在 tratt.net 的电子邮件经过验证
Zheng LiProfessor, Beijing University of Chemical Technology在 ieee.org 的电子邮件经过验证
Dave BinkleyLoyola University Maryland在 cs.loyola.edu 的电子邮件经过验证
Chaiyong RagkhitwetsagulLecturer, Faculty of ICT, Mahidol University在 mahidol.edu 的电子邮件经过验证
Simon PouldingAssistant Professor, Software Engineering Research Lab, Blekinge Institute of Technology在 bth.se 的电子邮件经过验证
Robert FeldtProfessor of Software Engineering, Chalmers University of Technology在 chalmers.se 的电子邮件经过验证
Nicolas GoldAssociate Professor in Computer Science, University College London在 ucl.ac.uk 的电子邮件经过验证

关注

David Clark

Computer Science, University College London

在 ucl.ac.uk 的电子邮件经过验证 - 首页

Program Analysis Programming Languages Security Software Engineering


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A static analysis for quantifying information flow in a simple imperative language D Clark, S Hunt, P Malacaria Journal of Computer Security 15 (3), 321-371, 2007	248	2007
Quantitative analysis of the leakage of confidential data D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002	230	2002
Quantitative information flow, relations and polymorphic types D Clark, S Hunt, P Malacaria Logic and Computation 18 (2), 181-199, 2005	182	2005
Test set diameter: Quantifying the diversity of sets of test cases R Feldt, S Poulding, D Clark, S Yoo 2016 IEEE international conference on software testing, verification and …, 2016	146	2016
A comparison of code similarity analysers C Ragkhitwetsagul, J Krinke, D Clark Empirical Software Engineering 23, 2464-2519, 2018	139	2018
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches S Yoo, M Harman, D Clark ACM Transactions on software engineering and methodology (TOSEM) 22 (3), 1-29, 2013	129	2013
Quantified interference for a while language D Clark, S Hunt, P Malacaria Electronic Notes in Theoretical Computer Science 112, 149-166, 2005	114	2005
UML to B: Formal verification of object-oriented models K Lano, D Clark, K Androutsopoulos Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	106	2004
An analysis of the relationship between conditional entropy and failed error propagation in software testing K Androutsopoulos, D Clark, H Dan, RM Hierons, M Harman Proceedings of the 36th international conference on software engineering …, 2014	84	2014
Control dependence for extended finite state machines K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt Fundamental Approaches to Software Engineering: 12th International …, 2009	74	2009
Non-interference for deterministic interactive programs D Clark, S Hunt International Workshop on Formal Aspects in Security and Trust, 50-66, 2008	73	2008
Information flow for Algol-like languages D Clark, C Hankin, S Hunt Computer Languages, Systems & Structures 28 (1), 3-28, 2002	68	2002
State-based model slicing: A survey K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt ACM Computing Surveys (CSUR) 45 (4), 1-36, 2013	65	2013
Picking on the family: Disrupting android malware triage by forcing misclassification A Calleja, A Martín, HD Menéndez, J Tapiador, D Clark Expert Systems with Applications 95, 113-126, 2018	61	2018
Test oracle assessment and improvement G Jahangirova, D Clark, M Harman, P Tonella Proceedings of the 25th international symposium on software testing and …, 2016	59	2016
Similarity of source code in the presence of pervasive modifications C Ragkhitwetsagul, J Krinke, D Clark 2016 IEEE 16th international working conference on source code analysis and …, 2016	45	2016
Squeeziness: An information theoretic measure for avoiding fault masking D Clark, RM Hierons Information Processing Letters 112 (8-9), 335-340, 2012	45	2012
Model projection: Simplifying models in response to restricting the environment K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li Proceedings of the 33rd International Conference on Software Engineering …, 2011	40	2011
The arms race: Adversarial search defeats entropy used to detect malware HD Menéndez, S Bhattacharya, D Clark, ET Barr Expert Systems with Applications 118, 246-260, 2019	38	2019
Quantitative analysis of secure information flow via probabilistic semantics C Mu, D Clark 2009 International Conference on Availability, Reliability and Security, 49-57, 2009	38	2009

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用