Nick Gibbins

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 0

Top Topics

Knowledge Representation

Semantic Descriptions

Service Discovery

Top Venues

Concurr. Comput. Pract. Exp.

Publications

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