OXFORD UNIVERSITY COMPUTING LABORATORY

Semantic Frameworks: Publications

by date |  by title |  by type |  bibtex

[1]

Formal Methods for Future Interoperability

Jim Davies, Jeremy Gibbons

ACM Inroads, Vol. 41, No. 2, pages 60-64. June 2009.

A revised version of "Formal Methods for Electronic Government" (FMET, 2008).

[2]

Semantics-Driven Development for Electronic Government Applications

Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui

In HICSS Workshop on Electronic Government Hawaii. January 2009.

[3]

Semantic Technologies in Electronic Government

Steve Harris et al.

In Tomasz Janowski, Teresa Pardo, editors, ICEGOV 2008 pages 45 — 51. Cairo. December 2008. ACM Press.

[4]

Formal Methods for Electronic Government

Jim Davies, Jeremy Gibbons

In Workshop on Formal Methods Education and Training at ICFEM Kitakyushu, Japan. October 2008.

[5]

Metadata Standards for Semantic Interoperability in Electronic Government

Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons

In International Conference on Theory and Practice of Electronic Governance Cairo. December 2008.

Received a Best Paper Award.

[6]

Semantic Frameworks for e-Government

Charles Crichton et al.

In Theresa Pardo, Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007 pages 30—39. ACM, December 2007.

[7]

Technological foundations of electronic governance

Jim Davies et al.

In First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007 pages 5—11. 2007.

Random Image
Random Image
Random Image