Nick Gibbins

13 papers B 3Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2015 J jnl
A survey of Semantic Web Services formalisms.
Concurr. Comput. Pract. Exp.
Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli, Yangang Wang
2013 — conf
A Survey of Semantic Web Services Formalisms.
SKG
Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli
2012 J jnl
A formal model of the Semantic Web Service Ontology (WSMO).
Inf. Syst.
Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid
2012 — conf
Digital Natives?: investigating young people's critical skills in evaluating web based information.
WebSci
Huw C. Davies, Susan J. Halford, Nick Gibbins
2011 — conf
The Design and Implementation of Minimal RDFS Backward Reasoning in 4store.
ESWC (2)
Manuel Salvadores, Gianluca Correndo, Steve Harris, Nick Gibbins, Nigel Shadbolt
2010 — conf
4s-reasoner: RDFS Backward Chained Reasoning Support in 4store.
Web Intelligence/IAT Workshops
Manuel Salvadores, Gianluca Correndo, Tope Omitola, Nick Gibbins, Steve Harris, Nigel Shadbolt
2010 — conf
Geographical Service: a compass for the Web of Data.
LDOW
Gianluca Correndo, Manuel Salvadores, Yang Yang, Nick Gibbins, Nigel Shadbolt
2008 B conf
A Formal Model of Semantic Web Service Ontology (WSMO) Execution.
ICECCS
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
2007 B conf
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
ICECCS
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
2007 B conf
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.
WISE
Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh
2007 — conf
Formal Specification of OWL-S with Object-Z: the Static Aspect.
Web Intelligence
Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins
2007 J jnl
Transitioning Applications to Semantic Web Services: An Automated Formal Approach.
Int. J. Interoperability Bus. Inf. Syst.
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Yuan-Fang Li
2001 — conf
The Pipeline of Enrichment: Supporting Link Creation for Continuous Media.
OHS-7/SC-3/AH-3
Richard Beales, Don Cruickshank, David De Roure, Nick Gibbins, Ben Juby, Danius T. Michaelides, Kevin R. Page