Følg
Paul Krause
Paul Krause
Professor in Complex Systems, University of Surrey
Verificeret mail på surrey.ac.uk - Startside
Titel
Citeret af
Citeret af
År
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
5332009
Clinical terminology: why is it so hard?
AL Rector
Methods of information in medicine 38 (04/05), 239-252, 1999
4361999
A logic of argumentation for reasoning under uncertainty
P Krause, S Ambler, M Elvang‐Goransson, J Fox
Computational Intelligence 11 (1), 113-131, 1995
3361995
Rule-based generation of requirements traceability relations
G Spanoudakis, A Zisman, E Pérez-Miñana, P Krause
Journal of systems and software 72 (2), 105-127, 2004
3182004
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
2962007
Representing uncertain knowledge: an artificial intelligence approach
P Krause, D Clark
Springer Science & Business Media, 2012
2742012
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
2682021
Software measurement: Uncertainty and causal modeling
N Fenton, P Krause, M Neil
IEEE software 19 (4), 116-122, 2002
2682002
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
2462018
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
1932008
Learning probabilistic networks
PJ Krause
The Knowledge Engineering Review 13 (4), 321-351, 1999
1511999
Dialectic reasoning with inconsistent information
M Elvang-Gøransson, P Krause, J Fox
Uncertainty in Artificial Intelligence, 114-121, 1993
1441993
Arguments, contradictions and practical reasoning
J Fox, P Krause, S Ambler
Proceedings of the 10th European conference on Artificial intelligence, 623-627, 1992
1411992
Acceptability of arguments as ‘logical uncertainty’
M Elvang-Gøransson, PJ Krause, J Fox
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European …, 1993
1331993
Using ontologies to improve semantic interoperability in health data
H Liyanage, P Krause, S De Lusignan
BMJ Health & Care Informatics 22 (2), 2015
128*2015
An automatic test case generation framework for web services
Y Zheng, J Zhou, P Krause
Journal of Software (JSW) 2, 64-77, 2007
1092007
Tracing Software Requirements Artifacts.
A Zisman, G Spanoudakis, E Pérez-Miñana, P Krause
Software engineering research and practice, 448-455, 2003
842003
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
811990
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
802020
Argumentation as a general framework for uncertain reasoning
J Fox, P Krause, M EIvang-Gøransson
Uncertainty in Artificial Intelligence, 428-434, 1993
761993
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20