Eric Foxley

Affiliations:
  • University of Nottingham, UK


According to our database1, Eric Foxley authored at least 19 papers between 1962 and 1999.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1999
The automatic assessment of formal specification coursework.
J. Comput. High. Educ., 1999

1997
The automatic assessment of Z specifications.
Proceedings of the supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, 1997

1996
Logic and its applications.
Prentice Hall series in computer science, Prentice Hall, ISBN: 978-0-13-030263-2, 1996

1995
Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques.
Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

The Ceilidh system for the automatic grading of students on programming courses.
Proceedings of the 33th Annual Southeast Regional Conference, 1995

1993
A Lexical Analyser for Arabic.
Int. J. Man Mach. Stud., 1993

1990
Towards a Consultative On-Line Help System.
Int. J. Man Mach. Stud., 1990

1987
Music-A Language for Typesetting Music Scores.
Softw. Pract. Exp., 1987

A Flexible Synonym Interface with Application Examples in CAL and Help Environments.
Comput. J., 1987

1985
UNIX for super-users.
International computer science series, Addison-Wesley-Longman, ISBN: 978-0-201-14228-0, 1985

1981
Validation of an Analytic Model of Computer Performance.
Comput. J., 1981

1978
Monitoring the Run-time Activity of Algol 68-R Programs.
Softw. Pract. Exp., 1978

Programming Aids for the Teaching of Programming.
Softw. Pract. Exp., 1978

A Hybrid Computer Performance Modelling System.
Comput. J., 1978

1977
'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'.
Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, 1977

1968
The construction of examination timetables by computer.
Comput. J., 1968

The Implementation of Syntax Analysis Using Algol, and Some Mathematical Applications.
Comput. J., 1968

A meta-semantic language for use with a top-down syntax analyser.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1962
The determination of all Sheffer functions in 3-valued logic, using a logical computer.
Notre Dame J. Formal Log., 1962


  Loading...