Temporal Authorization in the Simplified Event Calculus. - Steve Barker (DBSec, 1999)

An Expert System for Intelligent Database Design. - Steve Barker (IC-AI, 1999)

Data Protection by Logic Programming. - Steve Barker (Computational Logic, 2000)

Protecting Deductive Databases from Unauthorized Retrievals. - Steve Barker (DBSec, 2000)

Information Security: A Logic Based Approach. - Steve Barker (ICEIS, 2000)

Flexible Security Policies in SQL. - Steve Barker; Arnon Rosenthal (DBSec, 2001)

TRBAC: A Temporal Authorization Model. - Steve Barker (MMM-ACNS, 2001)

Secure Deductive Databases. - Steve Barker (PADL, 2001)

Deductive Database Security. - Steve Barker (DBSec, 2002)

Implementing RBAC Policies. - Steve Barker; Paul Douglas; Terry Fanning (DBSec, 2002)

Access Control for Deductive Databases by Logic Programming. - Steve Barker (ICLP, 2002)

Protecting deductive databases from unauthorized retrieval and update requests. - Steve Barker (Data Knowl. Eng., 2002)

RBAC Policy Implementation for SQL Databases. - Steve Barker; Paul Douglas (DBSec, 2003)

Extended Protected Databases: A Practical Implementation. - Steve Barker; Paul Douglas (ICEIS (1), 2003)

An E-Learning Tool for Understanding Schedule Properties. - Steve Barker; Paul Douglas (ITCC, 2003)

Distributed Access Control: A Logic-Based Approach. - Steve Barker (MMM-ACNS, 2003)

Flexible access control policy specification with constraint logic programming. - Steve Barker; Peter J. Stuckey (ACM Trans. Inf. Syst. Secur., 2003)

Web Resource Usage Control in RSCLP. - Steve Barker (DBSec, 2004)

An Intelligent Tutoring System for Database Transaction Processing. - Steve Barker; Paul Douglas (ICEIS (2), 2004)

Labeled Logic Programs. - Steve Barker (ICLP, 2004)

Access Policy Specification for Web Applications. - Steve Barker (ITCC (2), 2004)

Protecting Federated Databases Using A Practical Implementation of a Formal RBAC Policy. - Steve Barker; Paul Douglas (ITCC (1), 2004)

Dependency Theory E-Learning Tool. - Paul Douglas; Steve Barker (ITCC (1), 2004)

Efficient and flexible access control via logic program specialisation. - Steve Barker; Michael Leuschel; Mauricio Varea (PEPM, 2004)

An Intelligent Tutoring System for Program Semantics. - Steve Barker; Paul Douglas (ITCC (1), 2005)

An E-learning tool for Database Administration. - Paul Douglas; Steve Barker (ITCC (1), 2005)

Term Rewriting for Access Control. - Steve Barker; Maribel Fernández (DBSec, 2006)

Dynamic Event-Based Access Control as Term Rewriting. - Clara Bertolissi; Maribel Fernández; Steve Barker (DBSec, 2007)

Secure knowledge exchange by policy algebra and erml. - Steve Barker; Paul Douglas (ICEIS (1), 2007)

Action-status access control. - Steve Barker (SACMAT, 2007)

Dynamic Meta-level Access Control in SQL. - Steve Barker (DBSec, 2008)

Panel Session: What Are the Key Challenges in Distributed Security?. - Steve Barker; David W. Chadwick; Jason Crampton; Emil Lupu; Bhavani Thuraisingham (DBSec, 2008)

Access control by action control. - Steve Barker (SACMAT, 2008)

Action Control by Term Rewriting. - Steve Barker; Clara Bertolissi; Maribel Fernández (SecReT@LICS/CSF, 2008)

Event-oriented Web-based E-trading. - Steve Barker; Gill Lowen (WWV, 2008)

Efficient and flexible access control via Jones-optimal logic program specialisation. - Steve Barker; Michael Leuschel; Mauricio Varea (High. Order Symb. Comput., 2008)

Status-Based Access Control. - Steve Barker; Marek J. Sergot; Duminda Wijesekera (ACM Trans. Inf. Syst. Secur., 2008)

The next 700 access control models or a unifying meta-model? - Steve Barker (SACMAT, 2009)

A Meta-model of Access Control in a Fibred Security Language. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (Stud Logica, 2009)

A Logic of Privacy. - Steve Barker; Valerio Genovese (DBSec, 2010)

Personalizing access control by generalizing access control. - Steve Barker (SACMAT, 2010)

Dynamics in Delegation and Revocation Schemes: A Logical Approach. - Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert W. N. van der Torre (DBSec, 2011)

Socially Constructed Trust for Distributed Authorization. - Steve Barker; Valerio Genovese (ESORICS, 2011)

Secommunity: A Framework for Distributed Access Control. - Steve Barker; Valerio Genovese (LPNMR, 2011)

GPF: A General Policy Framework. - Steve Barker; Gillian Lowen (POLICY, 2011)

Logical Approaches to Authorization Policies. - Steve Barker (Logic Programs, Norms and Action, 2012)

The Scientific Contribution of Marek Sergot. - Steve Barker; Andrew J. I. Jones; Antonis C. Kakas; Robert A. Kowalski; Alessio Lomuscio; Rob Miller 002; Stephen H. Muggleton; Giovanni Sartor (Logic Programs, Norms and Action, 2012)

Access Control with Privacy Enhancements a Unified Approach. - Steve Barker; Valerio Genovese (IEEE Trans. Dependable Secur. Comput., 2012)

Analysis and Design of a High Precision-High output impedance Tissue Current Driver for Medical Applications. - Nikolaos Terzopoulos; Khaled Hayatleh; Cristiana Sebu; F. J. Lidgey; Mohamed Ben-Esmael; Amr A. Tammam; Steve Barker (J. Circuits Syst. Comput., 2014)

Reasoning about delegation and revocation schemes in answer set programming. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (J. Log. Comput., 2014)

Design of a biologically inspired humanoid neck. - Steve Barker; Luis A. Fuente; Khaled Hayatleh; Neil Fellows; Jochen J. Steil; Nigel T. Crook (ROBIO, 2015)

Natural head movement for HRI with a muscular-skeletal head and neck robot. - Steve Barker; Hooshang Izadi; Nigel T. Crook; Khaled Hayatleh; Matthias Rolf; Philip Hughes; Neil Fellows (RO-MAN, 2017)

A Technique to Reduce the Capacitor Size in Two Stage Miller Compensated Opamp. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Saddam Zourob; Nabil Yassine; B. Naresh Kumar Reddy (ICCCNT, 2018)

High Performance Circuit Techniques for Nueral Front-End Design in 65nm CMOS. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Saddam Zourob; Nabil Yassine; B. Naresh Kumar Reddy (ICCCNT, 2018)

A 31 ppm/° C Pure CMOS Bandgap Reference by Exploiting Beta-Multiplier. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Saddam Zourob; Nabil Yassine; B. Naresh Kumar Reddy (VDAT, 2018)

A 0.6 V MOS-Only Voltage Reference for Biomedical Applications with 40 ppm/∘C Temperature Drift. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Sumathi Raparthy; Nabil Yassine; John Lidgey (J. Circuits Syst. Comput., 2018)

A Low Power Miller Compensation Technique for Two Stage Op-amp in 65nm CMOS Technology. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; B. Naresh Kumar Reddy; B. Seetharamulu (ICCCNT, 2019)

A High Frequency CMRR improvement technique for Differential Amplifiers in 45nm CMOS. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; B. Naresh Kumar Reddy; B. Seetharamulu (ICCCNT, 2019)

A High-Performance Skin Impedance Measurement Circuit for Biomedical Applications. - Khaled Hayatleh; Saddam Zourob; Rajasekhar Nagulapalli; Steve Barker; Nabil Yassine; Pantelis Georgiou; F. J. Lidgey (J. Circuits Syst. Comput., 2019)

A High Value, Linear and Tunable CMOS Pseudo-Resistor for Biomedical Applications. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Pantelis Georgiou; F. J. Lidgey (J. Circuits Syst. Comput., 2019)

A 0.55 V Bandgap Reference with a 59 ppm/°C Temperature Coefficient. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Amr A. Tammam; Pantelis Georgiou; F. J. Lidgey (J. Circuits Syst. Comput., 2019)

A Low Noise Amplifier Suitable for Biomedical Recording Analog Front-End in 65nm CMOS Technology. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Amr A. Tammam; Nabil Yassine; Bilal Yassine; Mohamed Ben-Esmael (J. Circuits Syst. Comput., 2019)

A Start-up Assisted Fully Differential Folded Cascode Opamp. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Bilal Yassine; Saddam Zourob; Sumathi Raparthy; Nabil Yassine (J. Circuits Syst. Comput., 2019)

A Single BJT 10.2 ppm/°C Bandgap Reference in 45nm CMOS Technology. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; B. Naresh Kumar Reddy (ICCCNT, 2020)

A two-stage opamp frequency Compensation technique by splitting the 2nd stage. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; B. Naresh Kumar Reddy (ICCCNT, 2020)

A VGA Linearity Improvement Technique for ECG Analog Front-End in 65nm CMOS. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker (J. Circuits Syst. Comput., 2020)

A Positive Feedback-Based Op-Amp Gain Enhancement Technique for High-Precision Applications. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker (J. Circuits Syst. Comput., 2020)

A High-Sensitivity and Low-Power Circuit for the Measurement of Abnormal Blood Cell Levels. - Rajasekhar Nagulapalli; Khaled Hayatleh; Steve Barker; Amr A. Tammam; F. John Lidgey; Nabil Yassine (J. Circuits Syst. Comput., 2020)