Outputs (REF2)
25 - Education
University of Exeter
Output type
E - Conference contribution
Volume title
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 11th Communications and Networking Simulation Symposium, CNS'08
Year
2008
Output type
E - Conference contribution
Volume title
32nd annual IEEE International Computer Software and Applications : COMPSAC 2008, 28 July-1 August 2008, Turku, Finland
Year
2008
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2010
Output type
E - Conference contribution
Volume title
2012 34th international conference on software engineering (ICSE 2012) : Zurich, Switzerland 2-9 June 2012
Year
2012
Output type
E - Conference contribution
Volume title
ISSAC 2012 : Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Year
2012
Output type
E - Conference contribution
Volume title
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Year
2012
Output type
E - Conference contribution
Volume title
Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Year
2011
Output type
D - Journal article
Volume title
Journal of Clinical Endocrinology & Metabolism
Year
2013
Output type
E - Conference contribution
Volume title
SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2009
Output title
Output type
D - Journal article
Volume title
Research on Language and Computation
Year
2008
Output type
E - Conference contribution
Volume title
User Modeling, Adaption and Personalization 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings
Year
2011
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Year
2012
Output type
E - Conference contribution
Volume title
Advanced Information Systems Engineering : 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 17th International Symposium on High-Performance Distributed Computing HPDC '08
Year
2008
Output title
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
Year
2011
DOI
Output type
E - Conference contribution
Volume title
2010 17th Asia Pacific Software Engineering Conference (APSEC)
Year
2010
Output type
E - Conference contribution
Volume title
2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGrid 2010)
Year
2010
Output type
E - Conference contribution
Volume title
CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013)
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013)
Year
2013
Output type
D - Journal article
Volume title
International Journal of Parallel Programming
Year
2011
Output type
E - Conference contribution
Volume title
24th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2010
Year
2010
Output title
Output type
E - Conference contribution
Volume title
2012 21st International Conference on Computer Communication Networks (ICCCN) : Proceedings
Year
2012