| 2007 |
|---|
| 16 | EE | Chima Adiele,
Sylvanus A. Ehikioya:
Evolving a "Wise" integration system for e-commerce transactions.
Electronic Commerce Research and Applications 6(2): 219-232 (2007) |
| 2005 |
|---|
| 15 | EE | Sylvanus A. Ehikioya,
B. Ola:
A comparative study of specification methods for electronic commerce systems.
AICCSA 2005: 108 |
| 14 | EE | Chima Adiele,
Sylvanus A. Ehikioya:
Towards a formal data management strategy for a web-based community.
IJWBC 1(2): 226-242 (2005) |
| 2004 |
|---|
| 13 | | Chima Adiele,
Sylvanus A. Ehikioya:
A Flexible Integration Model for Web-based E-Commerce Transactions.
Computers and Their Applications 2004: 87-91 |
| 12 | | John A. Akinyemi,
Sylvanus A. Ehikioya:
A predicate logic foundation for financial audit systems.
IASTED Conf. on Software Engineering and Applications 2004: 339-344 |
| 11 | EE | Chima Adiele,
Sylvanus A. Ehikioya:
Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration.
ITCC (1) 2004: 223-227 |
| 10 | | Sylvanus A. Ehikioya,
Jayaraman Suresh,
Jose A. Rueda:
Intelligent Content-Based Routing for Enhanced Internet Services.
SNPD 2004: 412-419 |
| 2003 |
|---|
| 9 | EE | Vijay N. V. Kallepalli,
Sylvanus A. Ehikioya,
Sergio Camorlinga,
Jose A. Rueda:
Security Middleware Infrastructure for DICOM Images in Health Information Systems.
J. Digital Imaging 16(4): 356-364 (2003) |
| 2001 |
|---|
| 8 | EE | Sylvanus A. Ehikioya:
A Formal Perspective to Modelling Electronic Commerce Transactions.
Revista Comlombiana de Computación 2(2): (2001) |
| 2000 |
|---|
| 7 | | Sylvanus A. Ehikioya:
Modeling Electronic Commerce Transactions in Z.
International Conference on Internet Computing 2000: 245-252 |
| 6 | | Sylvanus A. Ehikioya,
Jayaraman Suresh:
Electronic Commerce for Services and Intangible Goods.
International Conference on Internet Computing 2000: 261-268 |
| 5 | | Sylvanus A. Ehikioya,
Ken Barker:
A formal perspective to specification of transaction systems.
South African Computer Journal 26: 34-44 (2000) |
| 1999 |
|---|
| 4 | | Sylvanus A. Ehikioya,
Trevor Walowetz:
A formal specification of transaction systems in distributed multi-agents systems.
Computers and Their Applications 1999: 378-383 |
| 3 | | Sylvanus A. Ehikioya:
An integrated tool support for the specification of transaction systems protocols.
Computers and Their Applications 1999: 78-81 |
| 1997 |
|---|
| 2 | EE | Sylvanus A. Ehikioya,
Ken Barker:
CSP with Record Data Type for Supporting Transaction Systems Specification.
ADBIS 1997: 64-71 |
| 1 | | Sylvanus A. Ehikioya,
Ken Barker:
A Formal Specification Strategy for Electronic Commerce.
IDEAS 1997: 201-210 |
