Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009 | 475 | 2009 |
Clinical terminology: why is it so hard? AL Rector Methods of information in medicine 38 (04/05), 239-252, 1999 | 429 | 1999 |
A logic of argumentation for reasoning under uncertainty P Krause, S Ambler, M Elvang‐Goransson, J Fox Computational Intelligence 11 (1), 113-131, 1995 | 331 | 1995 |
Rule-based generation of requirements traceability relations G Spanoudakis, A Zisman, E Pérez-Minana, P Krause Journal of systems and software 72 (2), 105-127, 2004 | 315 | 2004 |
Predicting software defects in varying development lifecycles using Bayesian nets N Fenton, M Neil, W Marsh, P Hearty, D Marquez, P Krause, R Mishra Information and Software Technology 49 (1), 32-43, 2007 | 291 | 2007 |
Software measurement: Uncertainty and causal modeling N Fenton, P Krause, M Neil IEEE software 19 (4), 116-122, 2002 | 275 | 2002 |
Representing uncertain knowledge: an artificial intelligence approach P Krause, D Clark Springer Science & Business Media, 2012 | 271 | 2012 |
How Artificial Intelligence and machine learning research impacts payment card fraud detection: A survey and industry benchmark NF Ryman-Tubb, P Krause, W Garn Engineering Applications of Artificial Intelligence 76, 130-157, 2018 | 211 | 2018 |
A taxonomy and survey of edge cloud computing for intelligent transportation systems and connected vehicles P Arthurs, L Gillam, P Krause, N Wang, K Halder, A Mouzakitis IEEE Transactions on Intelligent Transportation Systems 23 (7), 6206-6221, 2021 | 182 | 2021 |
On the effectiveness of early life cycle defect prediction with Bayesian Nets N Fenton, M Neil, W Marsh, P Hearty, Ł Radliński, P Krause Empirical Software Engineering 13, 499-537, 2008 | 182 | 2008 |
Learning probabilistic networks PJ Krause The Knowledge Engineering Review 13 (4), 321-351, 1999 | 147 | 1999 |
Arguments, contradictions and practical reasoning J Fox, P Krause, S Ambler Proceedings of the 10th European conference on Artificial intelligence, 623-627, 1992 | 144 | 1992 |
Dialectic reasoning with inconsistent information M Elvang-Gøransson, P Krause, J Fox Uncertainty in Artificial Intelligence, 114-121, 1993 | 138 | 1993 |
Acceptability of arguments as ‘logical uncertainty’ M Elvang-Gøransson, PJ Krause, J Fox Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European …, 1993 | 132 | 1993 |
Using ontologies to improve semantic interoperability in health data H Liyanage, P Krause, S De Lusignan BMJ Health & Care Informatics 22 (2), 2015 | 118* | 2015 |
An automatic test case generation framework for Web Services. Y Zheng, J Zhou, P Krause J. Softw. 2 (3), 64-77, 2007 | 108 | 2007 |
Tracing Software Requirements Artifacts. A Zisman, G Spanoudakis, E Pérez-Miñana, P Krause Software engineering research and practice, 448-455, 2003 | 85 | 2003 |
Computer aided transformation of Z into Prolog AJJ Dick, PJ Krause, J Cozens Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 …, 1990 | 82 | 1990 |
A probabilistic model for software defect prediction N Fenton, P Krause, M Neil IEEE Transactions on Software Engineering 44 (0), 1-35, 2001 | 79 | 2001 |
Evaluation of IoT stream processing at edge computing layer for semantic data enrichment F Xhafa, B Kilic, P Krause Future Generation Computer Systems 105, 730-736, 2020 | 77 | 2020 |