You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Birmingham » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Birmingham

First <

1 2 3 4

Showing outputs 151 - 157 of 157

Output title

Verification and Trade-Off Analysis of Security Properties in ...

Output type

D - Journal article

Volume title

IEEE Transactions on Software Engineering

Year

2010

DOI

10.1109/TSE.2010.36

Output title

Verifying privacy-type properties of electronic voting proto ...

Output type

D - Journal article

Volume title

Journal of Computer Security

Year

2009

DOI

10.3233/JCS-2009-0340

Output title

Very High Accuracy and Fast Dependency Parsing is not a Cont ...

Output type

E - Conference contribution

Volume title

International Conference on Computational Linguistics

Year

2010

DOI

Output title

Visualization of Tree-Structured Data Through Generative Topographic ...

Output type

D - Journal article

Volume title

IEEE Transactions on Neural Networks

Year

2008

DOI

10.1109/TNN.2008.2001000

Output title

When is 'nearest neighbour' meaningful: A converse theorem and ...

Output type

D - Journal article

Volume title

Journal of Complexity

Year

2009

DOI

10.1016/j.jco.2009.02.011

Output title

Wirelessly Pickpocketing a Mifare Classic Card

Output type

E - Conference contribution

Volume title

2009 30th IEEE Symposium on Security and Privacy (SP)

Year

2009

DOI

10.1109/SP.2009.6

Output title

Your Botnet is My Botnet: Analysis of a Botnet Takeover

Output type

E - Conference contribution

Volume title

Proceedings of the 16th ACM Conference on Computer and Communications Security - CCS '09

Year

2009

DOI

10.1145/1653662.1653738

First <

1 2 3 4

Showing outputs 151 - 157 of 157