Simon Finn

According to our database, Simon Finn authored at least 7 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Dense FPGA Compute Using Signed Byte Tuples.

Martin Langhammer, Simon Finn, Sergey Gribok, Bogdan Pasca

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2012

Synthetic animated realities.

Simon Finn

Proceedings of the Electronic Visualisation and the Arts, 2012

1997

Partial Functions in a Total Setting.

Simon Finn, Michael P. Fourman, John Longley

J. Autom. Reason., 1997

1994

Datatypes in L2.

Nick Chapman, Simon Finn, Michael P. Fourman

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Formal Methods and Their Future.

Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes

Proceedings of the Computer Aided Systems Theory, 1993

1992

Formal Tools in Tri-State Design in Busses.

Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1987

Hoisting: Lazy Evaluation in a Cold Climate.

Simon Finn

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987