You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Queen's University Belfast » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Queen's University Belfast

First <

1 2 3

Showing outputs 101 - 104 of 104

Output title

University space planning and space-type profiles

Output type

D - Journal article

Volume title

Journal of Scheduling

Year

2010

DOI

10.1007/s10951-010-0178-9

Output title

Web Data Extraction from Query Result Pages Based on Visual and ...

Output type

D - Journal article

Volume title

International Journal of Software and Informatics

Year

2012

DOI

Output title

Web Services and Incerta Spiriti: A Game Theoretic Approach to ...

Output type

E - Conference contribution

Volume title

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

Year

2011

DOI

10.1007/978-3-642-22152-1_55

Output title

Zero-One Designs Produce Small Hard SAT Instances

Output type

E - Conference contribution

Volume title

Theory and Applications of Satisfiability Testing – SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Year

2010

DOI

10.1007/978-3-642-14186-7_37

First <

1 2 3

Showing outputs 101 - 104 of 104