CSP with Record Data Type for Supporting Transaction Systems Specification. - Sylvanus A. Ehikioya; Ken Barker 001 (ADBIS, 1997)

A Formal Specification Strategy for Electronic Commerce. - Sylvanus A. Ehikioya; Ken Barker 001 (IDEAS, 1997)

Specification of transaction systems protocols. - Sylvanus Agbonifoh Ehikioya (1997)

A formal approach to multimedia information systems development. - Sylvanus Agbonifoh Ehikioya (SMC, 1998)

Evolution of competing situated robots: concepts and experiments with a Java applet. - James F. Peters; J. Wong; Sheela Ramanna; Sylvanus A. Ehikioya (SMC, 1998)

Adaptive fuzzy rough approximate time controller design methodology: concepts, Petri net model and application. - James F. Peters; K. Ziaei; Sheela Ramanna; Sylvanus A. Ehikioya (SMC, 1998)

An integrated tool support for the specification of transaction systems protocols. - Sylvanus A. Ehikioya (CATA, 1999)

A formal specification of transaction systems in distributed multi-agents systems. - Sylvanus A. Ehikioya; Trevor Walowetz (CATA, 1999)

Modeling Electronic Commerce Transactions in Z. - Sylvanus A. Ehikioya (International Conference on Internet Computing, 2000)

Electronic Commerce for Services and Intangible Goods. - Sylvanus A. Ehikioya; Jayaraman Suresh (International Conference on Internet Computing, 2000)

A formal perspective to specification of transaction systems. - Sylvanus A. Ehikioya; Ken Barker 001 (South Afr. Comput. J., 2000)

A formal characterization of electronic commerce transactions. - Sylvanus A. Ehikioya (ACIS Int. J. Comput. Inf. Sci., 2001)

A Formal Perspective to Modelling Electronic Commerce Transactions. - Sylvanus A. Ehikioya (Rev. Colomb. de Computación, 2001)

Security Middleware Infrastructure for DICOM Images in Health Information Systems. - Vijay N. V. Kallepalli; Sylvanus A. Ehikioya; Sergio Camorlinga; Jose A. Rueda (J. Digit. Imaging, 2003)

A Flexible Integration Model for Web-based E-Commerce Transactions. - Chima Adiele; Sylvanus A. Ehikioya (CATA, 2004)

A predicate logic foundation for financial audit systems. - John A. Akinyemi; Sylvanus A. Ehikioya (IASTED Conf. on Software Engineering and Applications, 2004)

Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration. - Chima Adiele; Sylvanus A. Ehikioya (ITCC (1), 2004)

Intelligent Content-Based Routing for Enhanced Internet Services. - Sylvanus A. Ehikioya; Jayaraman Suresh; Jose A. Rueda (SNPD, 2004)

A comparative study of specification methods for electronic commerce systems. - Sylvanus A. Ehikioya; B. Ola (AICCSA, 2005)

Towards a formal data management strategy for a web-based community. - Chima Adiele; Sylvanus A. Ehikioya (Int. J. Web Based Communities, 2005)

Evolving a "Wise" integration system for e-commerce transactions. - Chima Adiele; Sylvanus A. Ehikioya (Electron. Commer. Res. Appl., 2007)

A Formal Model of Peer-to-Peer Digital Product Marketplace. - Sylvanus A. Ehikioya (Int. J. Networked Distributed Comput., 2018)

Real-time Multi-Agents Architecture for E-commerce Servers. - Sylvanus A. Ehikioya; Cong Zhang (Int. J. Networked Distributed Comput., 2018)

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems. - Sylvanus A. Ehikioya; Adepele A. Olukunle (Int. J. Networked Distributed Comput., 2019)

A Traffic Tracking Analysis Model for the Effective Management of E-commerce Transactions. - Sylvanus A. Ehikioya; Shenghong Lu (Int. J. Networked Distributed Comput., 2020)