Find Research outputs

Search results

• Conference proceeding

  Probability distribution function of self-organization of shear flows

  Kim, E. J., Liu, H. L. & Anderson, J., 14 May 2010, Twelfth International Solar Wind Conference Proceedings. Maksimovic, M., Meyer-Vernet, N., Moncuquet, M. & Pantellini, F. (eds.). 1 ed. AIP Publishing, p. 308-311 4 p. (AIP Conference Proceedings; vol. 1216).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • probability distribution functions
  • shear flow
  • intermittency
  • disturbances
  • simulation

• Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

  England, M., Bradford, R., Chen, C., Davenport, J. H., Maza, M. M. & Wilson, D., 2014, Intelligent Computer Mathematics - International Conference, CICM 2014, Proceedings. LNCS ed. Springer Verlag, Vol. 8543 . p. 45-60 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  File

  • Truth table
  • Triangular
  • Decomposition
  • Decompose
  • Formulation
  17 Citations (Scopus)

  7 Downloads (Pure)

• Procedure of fault detection for driving systems using self-organizing neural networks

  Puscasu, G., Palade, V. & Stancu, A., 2000, Proceedings of the Mediterranean Electrotechnical Conference - MELECON. IEEE, Vol. 2. p. 446-448 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Fault detection
  • Neural networks

• Production planning and control in an automobile closed-loops assembly line

  Ferreira, L. P., Ares, E., Peláez, G., Tjahjono, B. & Areal, J. J., 23 Feb 2012, Advances in Manufacturing Systems. Scientific.Net, Vol. 502. p. 103-108 6 p. (Key Engineering Materials; vol. 502).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Conveyors
  • Automobiles
  • Planning
  • Buffers
  • Decision making

• Productisation business model in non-OEM aero-engine MRO service providers

  Wibowo, A., Tjahjono, B. & Tomiyama, T., 2016, Advances in Manufacturing Technology XXX - Proceedings of the 14th International Conference on Manufacturing Research, ICMR2016 - Incorporating the 31st National Conference on Manufacturing Research. Goh, Y. M. & Case, K. (eds.). IOS Press BV, Vol. 3. p. 561-566 6 p. (Advances in Transdisciplinary Engineering; vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Aeroengine
  • Business Model
  • Maintenance
  • Repair
  • Bundling
  1 Citation (Scopus)

• Productivity without the product

  Sekhon, H. & Saporetti, S., 2006, EMAC Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Professional Sports teams: Going beyond the core

  Pritchard, A., Cook, D., Jones, A., Bason, T., Salisbury, P. & Hickman, E., 2 Sep 2018, (Accepted/In press) British Academy of Management.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Profitable Experiences from a Business Simulation Game

  Ali, M. & Hill, J., 1 Sep 2007, European Conference on Games Based Learning : ECGBL 2007. Academic Conferences Ltd, p. 1-6 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  • Students
  • Industry
  • Decision making
  • Profitability

• Prognostic value of histology and lymph node status in bilharziasis-bladder cancer: Outcome prediction using neural networks

  Ji, W., Naguib, R. N. G., Petrovic, D., Gaura, E. & Ghoneim, M. A., 7 Nov 2002, Proceedings of the 23rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2001. IEEE, p. 3870-3873 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Histology
  • Set theory
  • Neural networks

• Program verification in the presence of complex numbers, functions with branch cuts etc

  Davenport, J. H., Bradford, R., England, M. & Wilson, D., 2012, Proceedings - 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. IEEE, p. 83-88 6 p. 6481015

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  File

  • Program Verification
  • Complex number
  • Branch
  • Inverse function
  • Complex Functions
  25 Citations (Scopus)

  9 Downloads (Pure)

• Progressive crack propagation in Bi-material adhesive bonding

  Yazdani-Nejad, H. & Hadidi-Moud, S., 2008, 17th European Conference on Fracture 2008: Multilevel Approach to Fracture of Materials, Components and Structures. Vol. 3. p. 2112-2120 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • adhesive bonding
  • crack propagation
  • cracks
  • fracture mechanics
  • crack tips

• Progress towards an intelligent beehive: Building an intelligent environment to promote the well-being of honeybees

  Howard, D., Hunter, G., Duran, O. & Venetsanos, D., 26 Oct 2016, Proceedings - 12th International Conference on Intelligent Environments, IE 2016. Institute of Electrical and Electronics Engineers Inc., p. 262-265 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Intelligent buildings
  • Parasites
  • Pesticides
  • Crops
  • Sensors
  2 Citations (Scopus)

• Project management system review and redesign using user-centred design methodology

  Iqbal, R., Rider, R., Shah, N. & James, A., 2011, Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, CSCWD2011. p. 139-145 7 p. 5960067

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • User centered design
  • Project management
  • Productivity
  • Students

• Promoting Youth Participation and Mainstreaming for Socioeconomic Development Lessons and Best Practices

  Ogamba, I., 2017, Human Development and Capabilities Association (HDCA) Conference 2017. HDCA

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Proof-of-Concept Swarm of Self-Organising Drones Aimed at Fighting Wildfires

  Innocente, M. S. & Grasso, P., 20 Jan 2018, Proceedings of the 2017 UK-RAS Conference: ‘Robots Working for and among Us’. UK-RAS Network, p. 102-105 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  File

  • Drones
  • Fires
  • Unmanned aerial vehicles (UAV)
  • Robotics
  • Robots
  9 Downloads (Pure)

• Property Based Verification of Evolving Petri Nets

  Khan, Y. I. & Al-shaer, E., 2015, ICSEA 2015 - The Tenth International Conference on Software Engineering Advances.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  • Petri nets
  • Model checking
  • Information technology
  • Communication
  • Costs

• Proportional derivative like fuzzy logic control of dynamic walking with crutches

  Jailani, R., Panagiotis, K., Tokhi, M. O., Gharooni, S. C., Hussain, Z., Huq, M. S. & Ibrahim, B. S. K. K., 1 Dec 2010, Mobile Robotics: Solutions and Challenges - Proceedings of the 12th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2009. Tosun, O., Tokhi, M. O., Virk, G. S. & Akin, H. L. (eds.). World Scientific Publishing, p. 1137-1144 8 p. (Mobile Robotics: Solutions and Challenges - Proceedings of the 12th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Fuzzy logic
  • Derivatives
  • Torque

• Prospects for a method to infer non-destructively the strength of bamboo: a research proposal

  Trujillo, D., 2013, Proceedings of 3rd International Conference on Sustainable Construction Materials and Technologies, Kyoto, Japan, Paper E. Vol. 74. 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • bamboo
  • timber
  • stiffness
  • method
  • test
  3 Citations (Scopus)

• Provabs: Model, policy, and tooling for abstracting PROV graphs

  Missier, P., Bryans, J., Gamble, C., Curcin, V. & Danger, R., 2015, Provenance and Annotation of Data and Processes. Springer, Vol. 8628. p. 3-15 13 p. (Lecture Notes in Computer Science ; vol. 8628).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Metadata
  • Access control
  13 Citations (Scopus)

• ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs

  Missier, P., Bryans, J., Gamble, C., Curcin, V. & Danger, R., 21 Mar 2015, Provenance and Annotation of Data and Processes. Ludäscher, B. & Plale, B. (eds.). Cham: Springer Verlag, Vol. 8628. p. 3-15 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Metadata
  • Access control

• PSAFactory: An End-User Programming Tool for Building Participatory Sensing Applications

  Wang, J., Wang, Y. & Wang, H., 26 Sep 2014, Proceedings 2014 IEEE 9th International Conference on Global Software Engineering Workshops, ICGSEW 2014. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • mobile phone
  • citizen
  • software
  • paper
  1 Citation (Scopus)

• PSAllocator: Multi-Task Allocation for Participatory Sensing with Sensing Capability Constraints

  Wang, J., Wang, Y., Zhang, D., Wang, F., He, Y. & Ma, L., 25 Feb 2017, CSCW '17 Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. ACM, p. 1139–1151 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Towers
  • Mobile computing
  • Availability
  • Sensors
  42 Citations (Scopus)

• Pseudo-Adaptive Penalization to Handle Constraints in Particle Swarm Optimizers

  Innocente, M. & Sienz, J., 2010, Proceedings of the Tenth International Conference on Computational Structures Technology. Topping, B. H. V., Adam, J. M., Pallarés, F. J., Bru, R. & Romero, M. L. (eds.). Stirlingshire: Saxe-Coburg Publications, 123. (Civil-Comp Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Particle swarm optimization (PSO)
  • Tuning
  • Experiments
  3 Citations (Scopus)

• Pseudorandom maximum length signal design with bias compensation least squares estimation for system identification

  Foo, M. F. L., Tan, A. H. & Basu, K. P., 25 Jun 2007, IMTC 2007. IEEE Instrumentation and Measurement Technology Conference Proceedings, 2007. New York: IEEE, p. 417-422 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Identification (control systems)
  • Compensation and Redress
  1 Citation (Scopus)

• Public requirements for patient-held records

  Binnersley, J., Woodcock, A., Kyriacou, P. & Wallace, L. M., 21 Apr 2009, Contemporary Ergonomics 2009. Bust, P. D. (ed.). Taylor and Francis, p. 159-164 6 p. (Contemporary Ergonomics 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Allergies
  • Health
  • Smart cards
  • Blood
  • allergy
  1 Citation (Scopus)

• Pulling effect of Colonial Legacies on Africa’s Inward FDI

  Omar, M., Osei, C. & Joosub, S., 5 Sep 2018, Proceedings of BAM2018. British Academy of Management

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Colonial Legacy
  • Foreign Direct Investment
  • Agglomeration
  • Ghana
  • Africa

• Pulsed-Disk-Laser welding of Ti6Al4V

  Mastrocinque, E., Corrado, G., Caiazzo, F., Pasquino, N. & Sergi, V., 2011, Ninth International Conference on Advanced Manufacturing Systems and Technology. p. 383-393 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Pulse interval modulation-based method to extract the respiratory rate from oscillometric cuff pressure waveform during blood pressure measurement

  Gui, Y., Chen, F., Murray, A. & Zheng, D., 5 Apr 2018, Computing in Cardiology. IEEE, Vol. 44.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Respiratory Rate
  • Respiration
  • Pressure
  • Blood Pressure
  • Health Status

• Pupil involvement in classroom (re)design: Participatory ergonomics in policy and practice

  Woodcock, A., Horton, J., Den Besten, O., Kraft, P., Newman, M., Adey, P. & Kinross, M., 1 Dec 2009, Contemporary Ergonomics 2009. Bust, P. (ed.). Taylor and Francis, p. 453-461 9 p. (Contemporary Ergonomics 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • ergonomics
  • Ergonomics
  • pupil
  • classroom
  • Decision making

• Purpose and level of feedback in an exploratory learning environment for fractions

  Holmes, W., Mavrikis, M., Hansen, A. & Grawemeyer, B., 1 Jan 2015, Artificial Intelligence in Education - 17th International Conference, AIED 2015, Proceedings. Springer-Verlag London Ltd, Vol. 9112. p. 620-623 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9112).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Learning Environment
  • Feedback
  • Students
  • Intelligent Systems
  • Questionnaire
  5 Citations (Scopus)

• QBLUE: A new congestion control algorithm based on queuing theory

  Fan, X., Zhang, J., Guan, L. & Wang, X., 2012, Proceedings of the 14th IEEE International Conference on High Performance Computing and Communications, HPCC-2012 - 9th IEEE International Conference on Embedded Software and Systems, ICESS-2012. Min, G., Hu, J., Liu, L. C., Yang, L. T., Seelam, S. & Lefevre, L. (eds.). IEEE, p. 1253-1257 5 p. 6332320

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Bandwidth
  • Jitter
  • Routers
  • Quality of service
  • Experiments
  3 Citations (Scopus)

• QTime: A Queuing-Time Notification System Based on Participatory Sensing Data

  Wang, Y., Wang, J. & Zhang, X., 31 Oct 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Servers
  • Smartphones
  • Computer hardware
  • Sensors
  • Experiments
  19 Citations (Scopus)

• Quake Delirium EEG: A Pilot Study Regarding Biofeedback-Driven Visual Effects in a Computer Game

  Weinel, J., Cunningham, S., Roberts, N., Griffiths, D. & Roberts, S., 2015, Internet Technologies and Applications (ITA), 2015. Pickering, R., Cunningham, S., Houlden, N., Oram, D., Grout, V. & Mayers, J. (eds.). United States: IEEE, p. 335-338 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Biofeedback
  • Computer games
  • Acoustic waves
  • Automation
  • Brain computer interface
  5 Citations (Scopus)

• Quake Delirium Revisited: System for Video Game ASC Simulations

  Weinel, J., 2013, Proceedings of the Fifth International Conference on Internet Technologies and Applications (ITA 13). Picking, R., Cunningham, S., Houlden, N., Oram, D., Grout, V. & Mayers, J. (eds.). North East Wales Institute , 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Chemical activation
  • Acoustic waves
  • Modulation
  • Engines
  5 Citations (Scopus)

• Quantifying Uncertainties during the Early Design Stage of a gas Turbine Disc by Utilizing a Bayesian Framework

  Profir, B., Eres, M. H., Scanlan, J., Bates, R. & Argyrakis, C., 24 Jun 2018, AIAA Forum and Exposition. American Institute of Aeronautics and Astronautics

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Grain Size
  • Stage Design
  • Gas
  • Competitive Advantage
  • Material Properties

• Quantum-Based Agriculture: the Final Frontier

  Wright, J., 20 Nov 2017, Innovative Research for Organic 3.0 - Volume 1: Proceedings of the Scientific Track at the Organic World Congress 2017 November 9-11 in Delhi India. Rahman, G. (ed.). Thunen: Johann Heinrich von Thünen-Institut, Vol. 1. p. 107-111 (Thünen Report ; vol. 54, no. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  File

  • Agriculture
  • Organic Agriculture
  • organic production
  • Quantum Theory
  • agriculture
  903 Downloads (Pure)

• Queremos tanto a Glenda en palabras de Julio Cortázar: Algunas notas sobre su génesis, proceso de creación e intenciones

  Rios Castano, V., 15 Mar 2019, De Rayuela a Queremos tanto a Glenda: Les Orients péruvien et bolivien. Ramos-Izquierdo, E. & Le Gall, E. (eds.). Sorbonne Université: Sorbonne Université, Vol. 5. p. 69-76 8 p. (Latin America Seminar (SAL)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Questioning the Relevance of the Market in the Context of Environmental Sustainability

  Lloveras, J., Bennison, D., Parker, C. & Quinn, L., 2013, Academy of Marketing Conference. Cardiff

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Quick algorithms to calculate mean time to failure and steady state availability of systems

  Amiri, M. & Přenosil, V., Oct 2012, Deterioration, Dependability, Diagnostics 2012. Brno, Czech Republic: University of Defence, p. 109–122 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Availability
  • Repair
  • Systems analysis

• Radial expansion of metal tubes: Static testing and simulation correlation

  Moreno, C., Beaumont, R., Hughes, D. J., Dashwood, R. & Williams, T., 1 Jan 2015, Stephenson Conference Research for Railways 2015. Institution of Mechanical Engineers, Vol. 2015-April. p. 805-813 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Metals
  • Energy absorption
  • Testing
  • Numerical models
  • Friction

• Radical Innovation Process in Sustainable Development and Knowledge Management: Toyota Prius Case Study

  Tomlins, R., Malynka, O., Sukumar, A., Rao, M. & Pandya, K., 22 Jan 2021, IOP Conference Series: Earth and Environmental Science. 1 ed. IOP Publishing, Vol. 628. 18 p. (IOP Conference Series: Earth and Environmental Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  Open Access

  File

  • knowledge management
  • sustainable development
  • innovation
  • causality
  • incentive

• Rainfall Prediction: A Deep Learning Approach

  Hernandez, E., Sanchez-Anguix, V., Julian, V., Palanca, J. & Duque, N., 14 Apr 2016, International Conference on Hybrid Artificial Intelligence Systems. Martínez-Álvarez, F., Troncoso, A., Quintián, H. & Corchado, E. (eds.). Switzerland: Springer Verlag, p. 151-162 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Rain
  • Deep learning
  • Disaster prevention
  • Multilayer neural networks
  • Artificial intelligence
  33 Citations (Scopus)

• Random Cluster Sampling on X-Machines Test Cases

  Khan, Y. I. & Kausar, S., 2013, International Conference on Information Technology : New Generations (ITNG13). p. 310-316 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Microwave ovens
  • Sampling
  • Specifications
  • Set theory
  • Software testing
  1 Citation (Scopus)

• Rapid simulation model building through classification of problems: A case of manufacturing assembly lines

  Mahayuddin, Z. R. & Tjahjono, B., 18 Oct 2011, Proceedings of the 2011 International Conference on Electrical Engineering and Informatics, ICEEI 2011. IEEE, 6021724

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • User interfaces
  • Lean production
  • Engines
  1 Citation (Scopus)

• Reading in the Dark - A Performer's Encounter with Emily Dickinson and her American Musical Interpreters

  Panizza, N., 1 Feb 2014, Consciousness, Theatre, Literature and the Arts 2013. Meyer-Dinkgrafe, D. (ed.). Newcastle-Upon-Tyne: Cambridge Scholars Publishing, p. 193-210 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Realization of geometrically apodized phase masks for the production of apodized fiber gratings by UV exposure

  Liu, X., Aitchison, J. S., De La Rue, R. M., Williams, J. A. R., Everall, L. A. & Bennion, I., 1 Jan 1998, Technical Digest. Summaries of Papers Presented at the Conference on Lasers and Electro-Optics. Conference Edition. . IEEE, p. 514-515 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Electron beams
  • Masks
  • Fibers
  • Bandwidth

• Real-time guiding catheter and guidewire detection for congenital cardiovascular interventions

  Ma, Y., Alhrishy, M., Panayiotou, M., Narayan, S. A., Fazili, A., Mountney, P. & Rhode, K. S., 23 May 2017, Functional Imaging and Modelling of the Heart - 9th International Conference, FIMH 2017, Proceedings. Springer-Verlag London Ltd, Vol. 10263 LNCS. p. 172-182 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10263 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Catheters
  • Real-time
  • X rays
  • Enhancement
  • Object

• Real-Time Rejection of Ammonia Cross Sensitivity in Sensors for Diesel Aftertreatment Systems by Parallel Particle Filtering

  Sowman, J., Laila, D. S., Truscott, A., Fussey, P. & Cruden, A. J., 2016, Proc. European Control Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • diesel
  • ammonia
  • sensor
  • particle
  1 Citation (Scopus)

• Real-Time Simulation Training with Construction Students: a Case Study of an Overseas Partnership

  Austin, S., Bogdanovic, A., Campbell, J., Reid, A. & Benhart, B., 19 Apr 2018, 54th Annual Conference Associated Schools of Construction. Associated Schools of Construction, Vol. (in press). p. (in press)

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

• Reasoning about XACML policies using CSP

  Bryans, J., 2005, SWS '05 Proceedings of the 2005 workshop on Secure web services. ACM, p. 28-35 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Access control
  • Model checking
  • Algebra
  27 Citations (Scopus)