These are my work-related publications to date.
Please email me at dekker@ACM.org for information on any of these publications.
Unfortunately only some of these publications are available electronically at present.
Dekker, A.H. and Colbert, B.
Scale-Free Networks and Robustness of Critical Infrastructure Networks.Complexity International,
Volume 12, Paper ID: msid04, 2008, available here
(reprint of paper from 7th Asia-Pacific Conference on Complex Systems, 2004)
(R).
Dekker, A.H.
Network Effects in Epidemiology.
Proceedings of SimTecT 2008,
pp 3944, ISBN: 0-9775257-4-0, Simulation Industry Association of Australia, 1215 May,
Melbourne, Australia (awarded best paper in conference).
PDF file available (R).
Dekker, A.H.
Centrality in Social Networks: Theoretical and Simulation Approaches.
Proceedings of SimTecT 2008,
pp 3338, ISBN: 0-9775257-4-0, Simulation Industry Association of Australia, 1215 May,
Melbourne, Australia (runner-up for best paper).
PDF file available (R).
Dekker, A.H.
Experiments in Planning and the “ISLAND MISSION” Game.
Proceedings of SimTecT 2008,
pp 2732, ISBN: 0-9775257-4-0, Simulation Industry Association of Australia, 1215 May,
Melbourne, Australia.
PDF file available (R).
2007
Dekker, A.H.
Realistic Social Networks for Simulation using Network Rewiring.
In Oxley, L. and Kulasiri, D. (eds)
MODSIM 2007 International Congress on Modelling and Simulation.
Modelling and Simulation Society of Australia and New Zealand, December 2007, pp. 677-683.
ISBN : 978-0-9758400-4-7.
PDF file available (R).
Dekker, A.H.
Predicting Periodic Phenomena with Self-Organising Maps.
In Oxley, L. and Kulasiri, D. (eds)
MODSIM 2007 International Congress on Modelling and Simulation.
Modelling and Simulation Society of Australia and New Zealand, December 2007, pp. 2293-2298.
ISBN : 978-0-9758400-4-7.
PDF file available (R).
This paper was reprinted in the Systems Engineering Society of Australia Newsletter, No. 45, March 2008.
Dekker, A.H.
Using Tree Rewiring to Study “Edge” Organisations for C2.
Proceedings of SimTecT 2007,
pp 83-88, ISBN: 0-9775257-2-4,
Simulation Industry Association of Australia, 47 June,
Brisbane, Australia,
PDF file available (R).
Dekker, A.H.
Studying Multi-Agency Planning Using Team Games.
Proceedings of SimTecT 2007,
pp 451-454, ISBN: 0-9775257-2-4,
Simulation Industry Association of Australia, 47 June,
Brisbane, Australia,
PDF file available (R).
Dekker, A.H.
The Eurovision Song Contest as a Friendship Network,
Connections, the official journal of the International Network for
Social Network Analysis,
vol. 27, no. 3, 2007, pp 5360. The paper is available
electronically as a
PDF
file available in the
electronic
version of the journal(R).
Dekker, A.H.
Simulating Agility for Networked Military Systems.
Proceedings of SimTecT 2006,
pp 101-106, ISBN: 0-9775257-0-8, 29 May to 1 June,
Melbourne Convention Centre, Australia, pp 101-106.
PDF file available
(R).
Dekker, A.H. and Colbert, B.
Scale-Free Networks and Robustness of Critical Infrastructure Networks.
Proceedings of the 7th Asia-Pacific Conference on Complex Systems,
6-10 December 2004,
Cairns, Australia, pp 685-699.
PDF file available (R).
Dekker, A.H.
Simulating Network Robustness: Two Perspectives on Reality.
Proceedings of SimTecT 2004,
pp 125–130, ISBN: 0-9578879-3-0, 24-27 May 2004,
National Convention Centre, Canberra, Australia (runner-up for best paper).
PDF file available.
2+ CCRP citations(R).
Dekker, A.H.
Using Agent-Based Modelling to Study Organisational Performance and Cultural Differences.
Proceedings of the MODSIM 2003 International Congress on Modelling and Simulation,
Townsville, Queensland, July 2003, Volume 4, pages 1793-1798.
PDF file available.
1+ CCRP citations(R).
Dekker, A.H.
C4ISR Architectures, Social Network Analysis and the FINC Methodology:
An Experiment in Military Organisational Structure.
DSTO report DSTO-GD-0313, Jan 2002.
HTML version
available.
12+ Google Scholar citations
and
4+ CCRP citations.
Dekker, A.H.
Applying Social Network Analysis
Concepts to Military C4ISR Architectures. Connections, the official journal of the International Network for
Social Network Analysis,
vol. 24, no. 3, 2001, pp 93103. The paper is available
electronically as a
PDF
file available in the
electronic
version of the journal.
19+ Google Scholar citations
and
3+ CCRP citations(R).
Dekker, A.H.
Social Network Analysis in Military Headquarters using CAVALIER.
Proceedings of 5th International Command and Control Research and Technology Symposium,
Australian War Memorial, Canberra ACT, Australia, 24-26 October 2000.
PDF file
available in
electronic proceedings.
1+ Google Scholar citations.
Dekker, A.H.
C3PO: a Tool for Automatic Sound Cryptographic Protocol Analysis.
Proceedings of 13th IEEE Computer Security Foundations Workshop,
Cambridge, England, July 3-5, 2000.
PDF file available.
Citations or
15+ Google Scholar citations or
4+ Amazon citations(R).
1990s
Dekker, A.H.
How to Defeat a Firewall: An Introduction to
Internet Vulnerabilities and Firewall Evaluation.
Internal Report, May 1996.
Dekker, A.H. and Piggott P.K.
Robot Learning with Neural Self-Organization.
In Proceedings of Robots for Australian Industries,
National Conference of the Australian Robot Association, Melbourne,
5-7 July 1995 (pages 369-381).
PDF file available.
Citations or
2+ Google Scholar citations(R).
Dekker, A.H.
The Lazy Lambda Calculus with Constants: A Böhm Tree Model (Extended Abstract).
In Proceedings of Computing: the Australian Theory Seminar,
University of Technology, Sydney, 17-19 December 1994,
Sydney, Australia, edited by C. Barry Jay (pages 36-47) (R).
Dekker, A.H. and Farrow, P.
Creativity, Chaos, and Artificial Intelligence.
In Dartnall, T. H. (ed.)
Artificial Intelligence and Creativity: An Interdisciplinary Approach,
Kluwer Academic Publishers, Dordrecht, Holland, 1994 (pages 217-231).
[An older version of this paper was published as an extended abstract in
Preprints of the Symposium on AI, Reasoning and Creativity, 20-23 August 1991,
Lamington National Park, Queensland, Australia, edited by Terry Dartnall, pages 19-23].
1+ Google Scholar citations(R).
Dekker, A.H.
The Game of Life: A CLEAN Programming Tutorial and Case Study.
In ACM SIGPLAN Notices, Volume 29, No. 9, September 1994 (pages 91-104).
A Macintosh SEA/HQX file (110K) or
a Unix tar file (80K) containing
literate LaTeX/CLEAN programs are available
on request,
and a WWW Tutorial is available on-line.
Citations or
1+ Google Scholar citations.
Dekker, A.H.
Böhm Trees for the Lazy Lambda Calculus with Constants.
Technical Report TRA8/94, Department of ISCS, National University of Singapore, 1994.
Dekker, A.H.
The Lazy Lambda Calculus with Constants.
Technical Report TRA7/94, Department of ISCS, National University of Singapore, 1994.
Dekker, A.H.
The Game of Life: A CLEAN Programming Tutorial and Case Study.
Technical Report TRB5/94, Department of ISCS, National University of Singapore, 1994.
Dekker, A.H.
Optimal Colour Quantization using Kohonen Neural Networks.
Technical Report TR10/93, Department of ISCS, National University of Singapore, 1993.
Please note that this is an older and incomplete version of the work on
the NeuQuant web site.
2+ Google Scholar citations.
1980s
Partridge A.S. and Dekker A.H.
Speculative Parallelism in a distributed graph reduction machine.
In Proceedings of the 22nd Hawaii International Conference on Systems Sciences, 3-6 January 1989,
Kailua-Kona, Hawaii, USA. Vol II, SOFTWARE Track, edited by Bruce D. Shriver,
IEEE Computer Society Press, 1989 (pages 771-779).
Citations or
5+ Google Scholar citations(R)
Dekker, A.H.
Subtype Inference in Functional Languages. Ph.D. thesis,
Department of Electrical Engineering and Computer Science, University of Tasmania, 1989.
Dekker A.H.
Output as Reduction in Functional Programming Languages.
Technical Report R88-11, Department of EE & CS, University of Tasmania, 1988.
Wright D.A. and Dekker A.H.
Strictness Analysis and Type Inference for the lambda-calculus (Summary).
Technical Report R88-9, Department of EE&CS, University of Tasmania, 1988.
Dekker A.H. and Partridge A.S.
Implementing Functional Languages on the PCM-1.
Technical Report R88-8, Department of EE & CS, University of Tasmania, 1988.
Sale A.H.J., Partridge A.S., Parry J.S. and Dekker A.H.
PCM-1 architecture definition and project overview.
Technical Report R88-4, Department of EE & CS, University of Tasmania, 1988.
Dekker A.H.
A Type Inference System for Subtype Hierarchies.
Technical Report R87-8, Department of Information Science, University of Tasmania, 1987.
Dekker A.H. and Partridge A.S.
Constrained-Cycle Reference Counting for Combinator Graph Reduction.
Technical Report R87-6, Department of Information Science, University of Tasmania, 1987.
Dekker A.H.
A Generalised Combinator Reduction System and Abstract Machine.
Technical Report R87-3, Department of Information Science, University of Tasmania, 1987.
Dekker, A.H.
Implementation of a Backus FP System. B.Sc. (Hons) thesis,
Department of Information Science, University of Tasmania, 1983.