Geraint Jones

Orcid: 0000-0003-2601-4411

According to our database1, Geraint Jones authored at least 13 papers between 1985 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Squeezy Green Balls: Promoting Environmental Awareness through Playful Interactions.
Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play, 2016

2010
Towards a situated, multimodal interface for multiple UAV control.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2001
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1998
The Under-Appreciated Unfold.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997
More Haste, Less Speed: Lazy Versus Eager Evaluation.
J. Funct. Program., 1997

1994
Designing Arithmetic Circuits by Refinement in Ruby.
Sci. Comput. Program., 1994

1992
A Certain Loss of Identity.
Proceedings of the Functional Programming, 1992

1991
Deriving Bit-Serial Circuits in Ruby.
Proceedings of the VLSI 91, 1991

Getting Your Wires Crossed.
Proceedings of the Functional Programming, 1991

1989
Formal Derivation of a Pattern Matching Algorithm.
Sci. Comput. Program., 1989

Deriving the Fast Fourier Algorithm by Calculation.
Proceedings of the Functional Programming, 1989

1986
Programming in occam.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-729773-3, 1986

1985
Programming in occam 2.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-730334-2, 1985


  Loading...