University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Krause, P"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 72.

Article

Krause, PJ and Liang, PC (2016) Smartphone-based Real-time Indoor Location Tracking with One-meter Precision IEEE Journal of Biomedical and Health Informatics, 20 (3). pp. 756-762.

Liyanage, HS, Luzi, D, de Lusignan, S, Pecoraro, F, McNulty, R, Tamburis, O, Krause, P, Rigby, M and Blair, M (2016) Accessible Modelling of Complexity in Health and associated data flows: asthma as an exemplar Journal of Innovation in Health Informatics, 23 (1). pp. 476-484.

Manaf, NA, Moschoyiannis, S and Krause, P (2015) Service Choreography, SBVR, and Time EPTCS 201, 2015, pp. 63-77.

Moschoyiannis, S and Krause, PJ (2015) True Concurrency in Long-running Transactions for Digital Ecosystems FUNDAMENTA INFORMATICAE, 138 (4). pp. 483-514.

Liyanage, H, Krause, P and De Lusignan, S (2015) Using ontologies to improve semantic interoperability in health data. J Innov Health Inform, 22 (2). pp. 309-315.

Allinjawi, AA, Al-Nuaim, HA and Krause, P (2014) An Achievement Degree Analysis Approach to Identifying Learning Problems in Object-Oriented Programming ACM TRANSACTIONS ON COMPUTING EDUCATION, 14 (3), ARTN 20.

Xhafa, F, Wang, J, Chen, X, Liu, JK, Li, J and Krause, P (2014) An efficient PHR service system supporting fuzzy keyword search and fine-grained access control SOFT COMPUTING, 18 (9). pp. 1795-1802.

Webb, SJ, Hanser, T, Howlin, B, Krause, P and Vessey, JD (2014) Feature combination networks for the interpretation of statistical machine learning models: application to Ames mutagenicity JOURNAL OF CHEMINFORMATICS, 6, ARTN 8.

Liyanage, H, de Lusignan, S, Liaw, ST, Kuziemsky, CE, Mold, F, Krause, P, Fleming, D and Jones, S (2014) Big Data Usage Patterns in the Health Care Domain: A Use Case Driven Approach Applied to the Assessment of Vaccination Benefits and Risks. Contribution of the IMIA Primary Healthcare Working Group. Yearb Med Inform, 9. pp. 27-35.

Krause, PJ and Sabry, N (2013) Optimal Green Virtual Machine Migration Model International Journal of Business Data Communications and Networking, 9 (3). pp. 35-52.

Poh, N, de Lusignan, S, Liyanage, H, van Vlymen, J, Krause, P and Jones, S (2013) 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. Stud Health Technol Inform, 192. pp. 82-86.

de Lusignan, S, Krause, P, Michalakidis, G, Tristan Vicente, M, Thompson, S, Gilchrist, M, Sullivan, F, van Royen, P, Agreus, L, Desombre, T, Taweel, A and Delaney, B (2012) Business Process Modelling is an Essential Part of a Requirements Analysis. IMIA Yearbook of Medical Informatics 2012.

Krause, PJ, Perez-Minana, E and Thornton, J (2012) Bayesian Networks for the management of Greenhouse Gas emissions in the British agricultural sector Environmental Modelling and Software, 35. pp. 132-148.

de Lusignan, S, Krause, P, Michalakidis, G, Vicente, MT, Thompson, S, McGilchrist, M, Sullivan, F, van Royen, P, Agreus, L, Desombre, T, Taweel, A and Delaney, B (2012) Business Process Modelling is an Essential Part of a Requirements Analysis. Contribution of EFMI Primary Care Working Group. Yearb Med Inform, 7 (1). pp. 34-43.

de Lusignan, S, Cashman, J, Poh, N, Michalakidis, G, Mason, A, Desombre, T and Krause, P (2012) Conducting Requirements Analyses for Research using Routinely Collected Health Data: a Model Driven Approach. Stud Health Technol Inform, 180. pp. 1105-1107.

de Lusignan, S, Liaw, ST, Krause, P, Curcin, V, Vicente, MT, Michalakidis, G, Agreus, L, Leysen, P, Shaw, N and Mendis, K (2011) Key Concepts to Assess the Readiness of Data for International Research: Data Quality, Lineage and Provenance, Extraction and Processing Errors, Traceability, and Curation. Contribution of the IMIA Primary Health Care Informatics Working Group. Yearb Med Inform, 6 (1). pp. 112-120.

Marinos, A, Moschoyiannis, S and Krause, PJ (2011) Towards a RESTful infrastructure for Digital Ecosystems. IJEB, 9, 5/6. pp. 484-498.

Razavi, AR, Krause, PJ and Strømmen-Bakhtiar, A (2010) From Business Ecosystems towards Digital Business Ecosystems 4th IEEE International Conference on Digital Ecosystems and Technologies - Conference Proceedings of IEEE-DEST 2010, DEST 2010. pp. 290-295.

de Lusignan, S and Krause, P (2010) The Hayes principles: learning from the national pilot of information technology and core generalisable theory in informatics. Inform Prim Care, 18 (2). pp. 73-77.

Krause, P and de Lusignan, S (2010) Procuring interoperability at the expense of usability: a case study of UK National Programme for IT assurance process. Studies in Health Technology and Informatics: Seamless care, safe care: the challenges of interoperability and patient safety in health care: Proceedings of the EFMI Special Topic Conference, 155. pp. 143-149.

Marinos, A and Krause, P (2010) Towards the web of models: A rule-driven RESTful architecture for distributed systems Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6403 L. pp. 251-258.

Moschoyiannis, S, Razavi, A and Krause, P (2010) Transaction Scripts: Making Implicit Scenarios Explicit Electronic Notes in Theoretical Computer Science, 238 (6). pp. 63-79.

de Lusignan, S, Sullivan, F and Krause, P (2010) Vault, cloud and agent: choosing strategies for quality improvement and research based on routinely collected health data. Inform Prim Care, 18 (1). pp. 1-4.

Michalakidis, G, Kumarapeli, P, Ring, A, van Vlymen, J, Krause, P and de Lusignan, S (2010) A system for solution-orientated reporting of errors associated with the extraction of routinely collected clinical data for research and quality improvement. Studies in Health Technology and Informatics: Proceedings of the 13th World Congress on Medical Informatics, 160 (Pt 1). pp. 724-728.

Hierons, RM, Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, J, Gheorghe, M, Harman, M, Kapoor, K, Krause, P, Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, MR and Zedan, H (2009) Using Formal Specifications to Support Testing ACM COMPUTING SURVEYS, 41 (2), ARTN 9.

Krause, PJ and Marinos, A (2009) An SBVR framework for RESTful Web Applications Lecture Notes in Computer Science: Rule Interchange and Applications, 5858. pp. 144-158.

Moschoyiannis, S, Krause, PJ and Shields, MW (2009) A True-Concurrent Interpretation of Behavioural Scenarios Electronic Notes in Theoretical Computer Science, 203 (7). pp. 3-22.

Razavi, A, Moschoyiannis, S and Krause, P (2009) An open digital environment to support business ecosystems Peer-to-Peer Networking and Applications, 2 (4). pp. 367-397.

Bryant, D and Krause, P (2008) A review of current defeasible reasoning implementations KNOWLEDGE ENGINEERING REVIEW, 23 (3). pp. 227-260.

Moschoyiannis, S, Razavi, AR, Zheng, Y and Krause, P (2008) Long-running transactions: Semantics, schemas, implementation 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies, IEEE-DEST 2008. pp. 20-27.

Krause, PJ, Fenton, N, Neil, M, Marsh, W, Hearty, P and Radlinski, L (2008) On the effectiveness of early life cycle defect prediction with Bayesian Nets Empirical Software Engineering: an international journal, 13 (5). pp. 499-537.

Zheng, Yongyan, Zhou, Jiong and Krause, Paul (2007) An Automatic Test Case Generation Framework for Web Services Journal of Software (JSW), 2. pp. 64-77.

Fenton, N, Neil, M, Marsh, W, Hearty, P, Marquez, D, Krause, P and Mishra, R (2007) Predicting software defects in varying development lifecycles using Bayesian nets INFORMATION AND SOFTWARE TECHNOLOGY, 49 (1). pp. 32-43.

Razavi, AR, Moschoyiannis, SK and Krause, PJ (2007) Concurrency control and recovery management for open e-business transactions Concurrent Systems Engineering Series, 65. pp. 267-285.

Moschoyiannis, SK, Razavi, AR, Moschoyiannis, SK and Krause, PJ (2007) A coordination model for distributed transactions in Digital Business EcoSystems Proceedings of the 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, DEST 2007. pp. 159-164.

Mak, Lee-Onn and Krause, Paul (2006) Detection and Management of Concept Drift Proceedings of the Fifth International Conference on Machine Learning and Cybernetics. pp. 3486-3491.

Krause, PJ, Ambler, S, Elvang-Goransson, M and Fox, J (1995) A Logic of Argumentation for Reasoning Under Unertainty Computational Intelligence, 11. pp. 113-131.

Book Section

Razavi, A, Krause, P and Moschoyiannis, S (2010) Digital Ecosystems: challenges and proposed solutions In: Handbook of research on P2P and grid systems for service-oriented computing. Information Science Reference - Imprint of: IGI Publishing, Hersehy, PA, pp. 1003-1031. ISBN 1615206868

Conference or Workshop Item

Moschoyiannis, S, Krause, PJ and Georgiou, P (2012) An animation tool for exploring transactions in a de In: 6th IEEE International conference on Digital Ecosystems Technologies (DEST), 2012-06-18 - 2012-06-20, Campione d'Italia.

Ryman-Tubb, NF and Krause, P (2011) Neural Network Rule Extraction to Detect Credit Card Fraud In: 12th INNS EANN-SIG International Conference (EANN 2011)/7th IFIP 12 5 International Conference (AIAI 2011), 2011-09-15 - 2011-09-18, Corfu, GREECE.

Moschoyiannis, S, Marinos, A and Krause, P (2010) Generating SQL queries from SBVR rules In: Rule ML 2010: The 4th International Web Rule Symposium: Research Based and Industry Focused, 2010-10-21 - 2010-10-23, Washington, DC, USA.

Marinos, A, Moschoyiannis, S and Krause, PJ (2010) An SBVR to SQL Compiler.

Razavi, A, Marinos, A, Moschoyiannis, S, Krause, P, Gaedke, M, Grossniklaus, M and Diaz, O (2009) RESTful Transactions Supported by the Isolation Theorems In: 9th International Conference on Web Engineering, 2009-06-24 - 2009-06-26, San Sebastian, SPAIN.

Marinos, A, Razavi, A, Moschoyiannis, S, Krause, P, Damiani, E, Zhang, J and Chang, R (2009) RETRO: A Consistent and Recoverable RESTful Transaction Model In: IEEE International Conference on Web Services (ICWS 2009), 2009-07-06 - 2009-07-10, Los Angeles, CA.

Krause, PJ, Razavi, AR, Moschoyiannis, S and Marinos, A (2009) Stability and Complexity in Digital Ecosystems In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Marinos, A and Krause, P (2009) Using SBVR, REST and Relational Databases to develop Information Systems native to the Digital Ecosystem In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Moschoyiannis, S, Krause, P, Bryant, D and McBurney, P (2009) Verifiable Protocol Design for Agent Argumentation Dialogues In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Marinos, A and Krause, P (2009) What, not How: A generative approach to service composition In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Razavi, A, Marinos, A, Moschoyiannis, S and Krause, P (2009) Recovery management in RESTful Interactions In: DEST 2009, 2009-06-01 - 2009-06-03, Istanbul, Turkey.

Marinos, A, Moschoyiannis, S and Krause, P (2009) Towards a RESTful infrastructure for digital ecosystems In: MEDES 2009, 2009-10-27 - 2009-10-30, Lyon, France.

Moschoyiannis, S, Razavi, AR, Zheng, YY and Krause, P (2008) Long-running Transactions: semantics, schemas, implementation In: IEEE DEST 2008, 2008-02-26 - 2008-02-29, Phitsanuloke, Thailand.

Razavi, AR, Moschoyiannis, SK and Krause, PJ (2008) A scale-free business network for digital ecosystems In: 2nd IEEE DEST 2008, 2008-06-26 - 2008-06-29, Phitsanulok, Thailand.

Razavi, A, Moschoyiannis, S and Krause, P (2008) A self-organising environment for evolving business activities In: ICCGI '08, 2008-07-27 - 2008-08-01, Athens, Greece.

Fenton, Norman, Neil, Martin, Marsh, William, Hearty, Peter, Radlinski, Lukasz and Krause, Paul (2007) Project Data Incorporating Qualitative Facts for Improved Software Defect Prediction In: Third International Workshop on Predictor Models in Software Engineering (PROMISE'07: ICSE Workshops 2007).

Zheng, Yongyan and Krause, Paul J. (2007) Automata Semantics and Analysis of BPEL In: 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference.

Zhang, Fan, Povey, David and Krause, Paul J. (2007) Protein Attributes Microtuning System (PAMS): an effective tool to increase protein structure prediction by data purification In: 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference.

Zheng, Y, Zhou, J, Krause, P, Muller, P, Liggesmeyer, P and Maehle, E (2007) Analysis of BPEL data dependencies In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, 2007-08-27 - 2007-08-31, Lubeck, GERMANY.

Razavi, AR, Moschoyiannis, SK and Krause, PJ (2007) Concurrency Control and Recovery Management for Open e-Business Transactions In: 30th WoTUG Technical Meeting 2007, 2007-07-08 - 2007-07-11, Univ Surrey, Guildford, ENGLAND.

Razavi, AR, Malone, PJ, Moschoyiannis, S, Jennings, B and Krause, PJ (2007) A distributed transaction and accounting model for digital ecosystem composed services In: IEEE International Conference on Digital Ecosystems and Technologies, 2007-02-21 - 2007-02-23, Cairns, AUSTRALIA.

Zheng, Y, Zhou, J, Krause, P and Latifi, S (2007) A model checking based test case generation framework for web services In: 4th International Conference on Information Technology - New Generations, 2007-04-02 - 2007-04-04, Las Vegas, NV.

Mak, Lee-Onn and Krause, Paul J. (2006) Detection & Management of Concept Drift In: 2006 International Conference on Machine Learning and Cybernetics.

Bryant, D, Krause, PJ and Vreeswijk, GAW (2006) Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications In: 1st International Conference on Computational Models of Argument (COMMA), 2006-09-11 - 2006-09-12, Univ Liverpool, Dept Comp Sci, Liverpool, ENGLAND.

Zheng, Y, Krause, P and Mei, H (2006) Asynchronous semantics and anti-patterns for interacting web services In: 6th International Conference on Quality Software, 2006-10-27 - 2006-10-28, Beijing, PEOPLES R CHINA.

Mak, L-O and Krause, P (2006) Detection & management of concept drift In: 5th International Conference on Machine Learning and Cybernetics, 2006-08-13 - 2006-08-16, Dalian, PEOPLES R CHINA.

Bryant, D and Krause, P (2006) An implementation of a lightweight argumentation engine for agent applications In: 10th European Conference on Logics in Artificial Intelligence, 2006-09-13 - 2006-09-15, Liverpool, ENGLAND.

Bryant, D, Krause, P, Moschoyiannis, S, Fisher, M, VanDerHoek, W, Konev, B and Lisitsa, A (2006) A tool to facilitate agent deliberation In: 10th European Conference on Logics in Artificial Intelligence, 2006-09-13 - 2006-09-15, Liverpool, ENGLAND.

Jacobs, J. C., van Moll, J. H., Krause, P. J., Kusters, R. J. and Trienekens, J. J. M. (2003) Effects of virtual development on product quality: exploring defect causes In: Eleventh Annual International Workshop on Software Technology and Engineering Practice.

Krause, Paul J., Freimut, Bernd and Suryn, Witold (2002) New directions in measurement for software quality control

Salazar Sutil, N, Dumic, M and Krause, P Corporeal Computing: a performative archaeology of digital gesture

Show/Exhibition

Sansom, Matthew J, Salazar, Nicolas and Krause, Paul MindBeat Quintet [Show/Exhibition]

Performance

Sansom, M, Salazar, N and Krause, P MindBeat Quintet: Kinetifying thought through movement and sound. [Performance]

Salazar Sutil, N, Sansom, M and Krause, P Offending the Audience: e-theatre [Performance]

This list was generated on Tue Nov 21 19:40:37 2017 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800