Outputs (REF2)
16 - Architecture, Built Environment and Planning
University of Cambridge
Output type
E - Conference contribution
Volume title
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010.
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2013
DOI
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
Year
2013
Output type
E - Conference contribution
Volume title
CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2008, San Francisco, CA)
Year
2008
DOI
Output title
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2013
Output type
E - Conference contribution
Volume title
Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings.LNCS 5565
Year
2009
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS 2013, Proceedings. LNCS volume 7794.
Year
2013
Output title
Output type
D - Journal article
Volume title
LOGICAL METHODS IN COMPUTER SCIENCE
Year
2012
DOI
Output type
E - Conference contribution
Volume title
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013.
Year
2013
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012, Proceedings, Part II. LNCS volume 7392.
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008, Bordeaux, France)
Year
2008
DOI
Output title
Output type
E - Conference contribution
Volume title
Graph Transformations - 6th International Conference, ICGT 2012
Year
2012
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2012
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2013
Output type
D - Journal article
Volume title
Journal of the Australian Mathematical Society
Year
2008
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering, FASE 2010, Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
Year
2010
Output title
Output type
D - Journal article
Volume title
International Journal on Software Tools for Technology Transfer
Year
2011
Output title
Output type
D - Journal article
Volume title
SIAM Journal on Discrete Mathematics
Year
2011
Output title
Output type
E - Conference contribution
Volume title
23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, LNCS 5052
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. ENTCS volume 298.
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012
Year
2012
Output type
D - Journal article
Volume title
International Journal of Computer Mathematics
Year
2013