Outputs (REF2)
33 - Theology and Religious Studies
University of Sheffield
Output type
E - Conference contribution
Volume title
Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Year
2011
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2012
Output type
E - Conference contribution
Volume title
Recent Trends in Algebraic Development Techniques
Year
2012
Output title
Output type
D - Journal article
Volume title
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2013
Output type
E - Conference contribution
Volume title
Hardware and Software: Verification and Testing
Year
2011
Output type
E - Conference contribution
Volume title
Hardware and Software: Verification and Testing. 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers.
Year
2013
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
Output type
E - Conference contribution
Volume title
CHI 2012: 30th ACM Conference on Human Factors in Computing Systems
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output type
E - Conference contribution
Volume title
FOSSACS: Foundations of Software Science and Computation Structures
Year
2013
Output type
E - Conference contribution
Volume title
CSCW '12 Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Electronic Proceedings in Theoretical Computer Science
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '10)
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '09).
Year
2009
Output type
E - Conference contribution
Volume title
Mobile HCI 2009 Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services
Year
2009
Output type
E - Conference contribution
Volume title
Recent Trends in Algebraic Development Techniques
Year
2012
Output type
E - Conference contribution
Volume title
EICS '10 Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009