Outputs (REF2)
11 - Computer Science and Informatics
Newcastle University
Output type
E - Conference contribution
Volume title
EDBT 2010: Proceedings of the 13th International Conference on Extending Database Technology
Year
2010
Output title
Output type
D - Journal article
Volume title
International Journal on Software Tools Technology Transfer
Year
2011
Output type
E - Conference contribution
Volume title
31st IEEE Symposium on Reliable Distributed Systems (SRDS)
Year
2012
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences
Year
2011
Output type
E - Conference contribution
Volume title
FM 2008: Formal Methods - 15th International Symposium on Formal Methods
Year
2008
Output title
Output type
C - Chapter in book
Volume title
Transactions on Computational Science XI: Special Issue on Security in Computing, Part II
Year
2010
Output type
E - Conference contribution
Volume title
CHI 2011: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
Output title
Output type
E - Conference contribution
Volume title
CHI 2010: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2010
Output title
Output type
D - Journal article
Volume title
International Journal of Information Security
Year
2008
Output title
Output type
E - Conference contribution
Volume title
CSCW 2010: Proceedings of the 2010 ACM Conference on Computer Supported Cooperative Work
Year
2010
Output type
E - Conference contribution
Volume title
42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Year
2012
Output title
Output type
C - Chapter in book
Volume title
Theories of Programming and Formal Methods
Year
2013
Output type
E - Conference contribution
Volume title
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
Year
2010
Output type
E - Conference contribution
Volume title
BCS-HCI 2009: Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology
Year
2009
DOI
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2013
Output type
E - Conference contribution
Volume title
WWW 2013: Proceedings of the 22nd International World Wide Web Conference
Year
2013
DOI
Output type
E - Conference contribution
Volume title
9th International Conference on Quantitative Evaluation of SysTems (QEST)
Year
2012
Output type
E - Conference contribution
Volume title
SBMF 2010: 13th Brazilian Symposium on Formal Methods
Year
2010
Output title
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2011
Output type
E - Conference contribution
Volume title
CHI 2010: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Year
2013
Output title
Output type
E - Conference contribution
Volume title
17th ACM Conference on Computer and Communications Security (CCS 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
IEEE 24th Computer Security Foundations Symposium (CSF)
Year
2011
