J. Nelson Rushton
According to our database1,
J. Nelson Rushton
authored at least 16 papers
between 2003 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010
2009
Computer, 2009
2008
ACM Trans. Program. Lang. Syst., 2008
A System for Checking Semi-formal Proofs.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008
2007
A Language Facilitating Informal Reasoning about Programs.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
An Experiment Comparing the Performance of Declarative and Procedural Languages.
Proceedings of the 2007 International Conference on Information & Knowledge Engineering, 2007
2006
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
A Cluster Implementation for the Parallel Programming Language SequenceL.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006
Executable English.
Proceedings of the 2006 International Conference on Machine Learning; Models, 2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006
2005
SequenceL - An Overview of a Simple Language.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005
Proceedings of the Computational Science, 2005
2004
Learning Natural Language Using Genetic Algorithms.
Proceedings of the International Conference on Artificial Intelligence, 2004
2003
Natural Language Parsing Using Simple Neural Networks.
Proceedings of the International Conference on Machine Learning; Models, Technologies and Applications. MLMTA'03, June 23, 2003