Doug Goldson
According to our database1,
Doug Goldson
authored at least 17 papers
between 1992 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Log. Methods Comput. Sci., 2006
2005
Proceedings of the Theory of Computing 2005, 2005
2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the 6th International Workshop on Formal Methods, 2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Proceedings of the 5th Irish Workshop on Formal Methods, 2001
2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
1997
Abstract modelling of interactive systems.
Proceedings of the Human-Computer Interaction, 1997
1996
1994
1993
1992
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods.
Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992
Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992