For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Durham » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Durham

First <
1 2
Showing outputs 51 - 59 of 59
Output title
The limits of tractability in Resolution-based propositional ...
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic.
Year
2012
DOI
10.1016/j.apal.2011.11.001
Output title
The longest path problem has a polynomial solution on interval ...
Output type
D - Journal article
Volume title
Algorithmica
Year
2011
DOI
10.1007/s00453-010-9411-3
Output title
The recognition of tolerance and bounded tolerance graphs
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2011
DOI
10.1137/090780328
Output title
Three-Dimensional Surface Relief Completion Via Nonparametric ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
DOI
10.1109/TPAMI.2008.153
Output title
Tight rank lower bounds for the Sherali–Adams proof system.
Output type
D - Journal article
Volume title
Theoretical Computer Science.
Year
2009
DOI
10.1016/j.tcs.2009.01.002
Output title
Transversals of subtree hypergraphs and the source location problem ...
Output type
D - Journal article
Volume title
Networks.
Year
2008
DOI
10.1002/net.20206
Output title
Trends in the quality of human-intensive software engineering ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
DOI
10.1109/TSE.2012.76
Output title
Variational Bayesian noise estimation of point sets.
Output type
D - Journal article
Volume title
Computers & Graphics.
Year
2009
DOI
10.1016/j.cag.2009.03.019
Output title
What Do We Know About the Effectiveness of Software Design P ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.79
First <
1 2
Showing outputs 51 - 59 of 59