Can We formally Specify a Medical Decision Support System? - Paul Krause (EUROVAV, 1991)

SRA: description of the SOLOMON system as used for MUC-5. - Chinatsu Aone; Sharon Flank; Douglas McKee; Paul Krause (MUC, 1993)

Principled Multilingual Grammars for Large Corpora. - Sharon Flank; Paul Krause; Carol Van Ess-Dykema (AAAI, 1994)

Using AI for Counternarcotics: The Predictive Analysis System. - Myriam Abramson; Scott W. Bennett; William Brooks; Emily Hofmann; Paul Krause; Aaron Temin (IEEE Expert, 1994)

Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review). - Paul Krause (Softw. Test. Verification Reliab., 2000)

Probabilistic Modelling for Software Quality Control. - Norman E. Fenton; Paul Krause; Martin Neil (ECSQARU, 2001)

Advanced Inference Filter Defuzzification. - Harro Kiendl; Paul Krause (Fuzzy Days, 2001)

Empowering Requirements for a Product Family. - Elena Pérez-Miñana; Paul Krause; Pierre America (RE, 2001)

Probability modelling for software quality control. - Norman E. Fenton; Paul Krause; Martin Neil (J. Appl. Non Class. Logics, 2002)

Software Measurement: Uncertainty and Causal Modeling. - Norman E. Fenton; Paul Krause; Martin Neil (IEEE Softw., 2002)

Tracing Software Requirements Artifacts. - Andrea Zisman; George Spanoudakis; Elena Pérez-Miñana; Paul Krause (Software Engineering Research and Practice, 2003)

Rule-based generation of requirements traceability relations. - George Spanoudakis; Andrea Zisman; Elena Pérez-Miñana; Paul Krause (J. Syst. Softw., 2004)

Asynchronous Semantics and Anti-patterns for Interacting Web Services. - Yongyan Zheng; Paul Krause (QSIC, 2006)

Analysis of BPEL Data Dependencies. - Yongyan Zheng; Jiong Zhou; Paul Krause (EUROMICRO-SEAA, 2007)

A Model Checking based Test Case Generation Framework forWeb Services. - Yongyan Zheng; Jiong Zhou; Paul Krause (ITNG, 2007)

Project Data Incorporating Qualitative Factors for Improved Software Defect Prediction. - Norman E. Fenton; Martin Neil; William Marsh 001; Peter Stewart Hearty; Lukasz Radlinski; Paul Krause (PROMISE@ICSE, 2007)

Predicting software defects in varying development lifecycles using Bayesian nets. - Norman E. Fenton; Martin Neil; William Marsh 001; Peter Stewart Hearty; David Marquez; Paul Krause; Rajat Mishra (Inf. Softw. Technol., 2007)

An Automatic Test Case Generation Framework for Web Services. - Yongyan Zheng; Jiong Zhou; Paul Krause (J. Softw., 2007)

On the effectiveness of early life cycle defect prediction with Bayesian Nets. - Norman E. Fenton; Martin Neil; William Marsh 001; Peter Stewart Hearty; Lukasz Radlinski; Paul Krause (Empir. Softw. Eng., 2008)

Procuring Interoperability at the Expense of Usability: A Case Study of UK National Programme for IT Assurance Process. - Paul Krause; Simon de Lusignan (EFMI-STC, 2010)

A system for solution-orientated reporting of errors associated with the extraction of routinely collected clinical data for research and quality improvement. - Georgios Michalakidis; Pushpa Kumarapeli; Andre Ring; Jeremy van Vlymen; Paul Krause; Simon de Lusignan (MedInfo, 2010)

Neural Network Rule Extraction to Detect Credit Card Fraud. - Nick F. Ryman-Tubb; Paul Krause (EANN, 2011)

Virtual University: A Peer to Peer Open Education Network. - Amir R. Razavi; Abbas Strommen-Bakhtiar; Paul Krause (J. Inf. Technol. Educ. Innov. Pract., 2011)

A digital ecosystem view on cloud computing. - Noah Sabry; Paul Krause (DEST, 2012)

Potential CO2 mitigation in digital ecosystems. - Noah Sabry; Paul Krause (DEST, 2012)

Bayesian Networks for the management of greenhouse gas emissions in the British agricultural sector. - Elena Pérez-Miñana; Paul Krause; Judith Thornton (Environ. Model. Softw., 2012)

Agile Exploration of Electronic Health Records with Application to Comparing the Quality of Blood Pressure Control in Pay-for-Performance Targets in a Cross-Sectional Study. - Norman Poh; Simon de Lusignan; Harshana Liyanage; Jeremy van Vlymen; Paul Krause; Simon Jones 002 (MedInfo, 2013)

Optimal Green Virtual Machine Migration Model. - Noah Sabry; Paul Krause (Int. J. Bus. Data Commun. Netw., 2013)

Cost-effective Design of Real-time Home Healthcare Telemonitoring. - Po-Chou Liang; Paul Krause (HEALTHINF, 2014)

Real-time indoor patient movement pattern telemonitoring with one-meter precision. - Po-Chou Liang; Paul Krause (MobiHealth, 2014)

An Enhanced Approach to Semantic Markup of VLEs Content Based on Schema.org. - Abdulaziz A. Aldaej; Paul Krause (LILE@ISWC, 2014)

Feature combination networks for the interpretation of statistical machine learning models: application to Ames mutagenicity. - Samuel J. Webb; Thierry Hanser; Brendan J. Howlin; Paul Krause; Jonathan D. Vessey (J. Cheminformatics, 2014)

An Achievement Degree Analysis Approach to Identifying Learning Problems in Object-Oriented Programming. - Arwa Abdulaziz Allinjawi; Hana Abdullah Al-Nuaim; Paul Krause (ACM Trans. Comput. Educ., 2014)

An efficient PHR service system supporting fuzzy keyword search and fine-grained access control. - Fatos Xhafa; Jianfeng Wang 001; Xiaofeng Chen 001; Joseph K. Liu; Jin Li 002; Paul Krause (Soft Comput., 2014)

Food Incident Interactive Training Tool: A Serious Game for Food Incident Management. - Paolo Campo; Elizabeth York; Amy Woodward; Paul Krause; Angela Druckman (ESSA, 2015)

Smartphone-Based Real-Time Indoor Location Tracking With 1-m Precision. - Po-Chou Liang; Paul Krause (IEEE J. Biomed. Health Informatics, 2016)

Effectiveness and Usability of a Developed Collaborative Online Tool for Children with ADHD. - Doaa Sinnari; Paul Krause; Maysoon F. Abulkhair (ArtsIT/DLI, 2018)

Effects of E-Games on the Development of Saudi Children with Attention Deficit Hyperactivity Disorder Cognitively, Behaviourally and Socially: An Experimental Study. - Doaa Sinnari; Paul Krause; Maysoon F. Abulkhair (HCI (7), 2018)

How Artificial Intelligence and machine learning research impacts payment card fraud detection: A survey and industry benchmark. - Nick F. Ryman-Tubb; Paul Krause; Wolfgang Garn (Eng. Appl. Artif. Intell., 2018)

A Framework for Allocation of IoT Devices to the Fog Service Providers in Strategic Setting. - Anjan Bandyopadhyay; Fatos Xhafa; Saurav Mallik; Paul Krause; Sajal Mukhopadhyay; Vikash Kumar Singh; Ujjwal Maulik (3PGCIC, 2019)

Evaluation of IoT stream processing at edge computing layer for semantic data enrichment. - Fatos Xhafa; Burak Kilic; Paul Krause (Future Gener. Comput. Syst., 2020)

Matching IoT Devices to the Fog Service Providers: A Mechanism Design Perspective. - Anjan Bandyopadhyay; Vikash Kumar Singh; Sajal Mukhopadhyay; Ujjwal Rai; Fatos Xhafa; Paul Krause (Sensors, 2020)

A Quality-Assuring, Combinatorial Auction Based Mechanism for IoT-Based Crowdsourcing. - Vikash Kumar Singh; Sajal Mukhopadhyay; Fatos Xhafa; Paul Krause (Advances in Edge Computing, 2020)

A Business Analytics Framework for Primary Care. - Alireza Ettefaghian; Paul Krause; Simon de Lusignan; Lampros K. Stergioulas (EFMI-STC, 2022)

A Taxonomy and Survey of Edge Cloud Computing for Intelligent Transportation Systems and Connected Vehicles. - Peter Arthurs; Lee Gillam; Paul Krause; Ning Wang 001; Kaushik Halder; Alexandros Mouzakitis (IEEE Trans. Intell. Transp. Syst., 2022)

Prompt Engineering and Provision of Context in Domain Specific Use of GPT. - Marton Ribary; Paul Krause; Miklos Orban; Eugenio Vaccari; Thomas Wood (JURIX, 2023)

Continuous-Discrete Differentiable Particle Filters for Irregular Time Series. - Hao Wen; Paul Krause; Lee Gillam (ICASSP, 2025)