|
|
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).
Details
|
BibTeX
| Link (pdf) |
|
[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.
Details
|
BibTeX
| Link (pdf) |
|
[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.
Details
|
BibTeX
| Link (pdf) |
|
[4]
|
Formal Methods for Electronic Government
Jim Davies, Jeremy Gibbons
In Workshop on Formal Methods Education and Training at ICFEM Kitakyushu, Japan. October 2008.
Details
|
BibTeX
| Link (pdf) |
|
[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.
Details
|
BibTeX
| Link (pdf) |
|
[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.
Details
|
BibTeX
| Link (pdf)
|
DOI (10.1145/1328057.1328066)
|
|
[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.
Details
|
BibTeX
|
DOI (10.1145/1328057.1328063)
|
|
|
|
|