Bohdan Durnota's
publications and talks

R Stocker, H Jelinek, B Durnota and T Bossomaier (eds), Complex Systems 96, IOS Press, 1996.

B Durnota and K Sawyer, The Use Of Object-Oriented Formal Specification In Modelling Interactive Traders In An Asset Market, AIS'96. Sixth Annual Conference on AI, Simulation and Planning in High Autonomy Systems, Addendum, La Jolla, California, March 23-27, 1996, pp 9-16.

B Durnota and R. Kitching, The Demographics Of A Biodiversity Model And Its Object-Oriented Formal Specification, AIS'96. Sixth Annual Conference on AI, Simulation and Planning in High Autonomy Systems, Addendum, La Jolla, California, March 23-27, 1996, pp 17-24.

B Durnota and S. Sajeev, Using the Linda coordination models to develop a parallel biodiversity simulation, AIS'96. Sixth Annual Conference on AI, Simulation and Planning in High Autonomy Systems, Addendum, La Jolla, California, March 23-27, 1996, pp 1-8.

B Durnota, An Abstract Object Model Of An Animal's Environment, Ecological Modelling 86(96)119-123.

B Durnota and S Sajeev, Parallel Simulation Of Spatially-Explicit Ecosystem Models (poster), 2nd. CSIRO Symposium On Computational Challenges In Life Sciences, Melbourne, Australia, 1996.

H Gimblett, B Durnota and R Itami, Spatially-Explicit Autonomous Agents For Modeling Recreation Use In Complex Wilderness Landscapes, in R Stocker et al (eds), Complex Systems 96, IOS Press, 1996, pp 69-80.

H Gimblett, B Durnota and R Itami, Some Practical Issues In Designing And Calibrating Artificial Human Recreator Agents In GIS-Based Simulated Worlds, in R Stocker et al (eds), Complex Systems 96, IOS Press, 1996, pp 352-363.

M Mitchell and B Durnota, A 2-Dimensional Cellular Automaton of Traffic Flow With Simple Adaptive Routing, in R Stocker et al (eds), Complex Systems 96, IOS Press, 1996, pp 162-173.

B Durnota and D Vieglais, Simulated Annealing Of Two-Dimensional Plant Canopies (poster), Ecological Society of Australia, 1995 Open Forum & Symposium Conference, Hobart, Australia, 1995.

B Durnota, Complex Object Models Of Natural Systems, Object Oriented Simulation '95, Las Vegas, 1995.

B Durnota, Formal Ontologies, Specifications And Logics In Canopy Research, Workshop On Designing The Forest Canopy Researcher's Workbench, Olympia, USA, 1995, 14 pp. loose-leaf.

B Durnota and R Blewett, An Example Of Field Data Management: OZROX, Workshop On Designing The Forest Canopy Researcher's Workbench, Olympia, USA, 1995, 3 pp. loose-leaf.

B Durnota and J Chen, Adding Roles To Object-Oriented Formal Specifications, Technical Report, Department of Software Development, Monash University, 1995.

B Durnota and G Ong, Modelling Intentional Notions In An Object-Oriented Formal Specification Lanaguage, Workshop on Intelligent Decision Support Systems, Department of Information Systems, Monash University, Melbourne, Australia, 1995, pp 17-26.

J Chen and B Durnota, Integrating Formal Specifications Into The Conventional Software Development Process, CASE, China, 1995.

S Ling and B Durnota, Specifying The Just-In-Time Kanban System Using Two Modelling Techniques, International Journal of Operations & Production Management 15,9(95)185-199.

B Durnota, Defining Relationships In Ecology Using Object-Oriented Formal Specifications, Mathematical And Computer Modelling 20,8(94)83-96.

B Durnota, The Use Of Formal Object-Oriented Specification In Numerics: The Case Of Interval Analysis (Poster), OON-SKI '94. Proceedings of the Second Annual Object-Oriented Numerics Conference, 1994, pp 450-453.

B Durnota, Object-Oriented Formal Specification For Spatial Representation: A Terrain Model And Its Channel Network, Workshop On Spatial And Temporal Interaction: Representation And Reasoning, Singapore, 1994, pp 113–131.

J Chen and B Durnota, Type Checking Classes in Object-Z To Promote Quality of Specifications, First IFIP/SQI International Conference on Software Quality and Productivity (ICSQP'94), Hong Kong,1994.

G Maughan and B Durnota, MON: An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions, Object Oriented Information Systems, London, 1994.

S Raik and B Durnota, The Evolution Of Sporting Strategies, in R Stonier and X Yu (eds), Complex Systems '94: Mechanisms Of Adaption, IOS Press, 1994.

R Smart and B Durnota, A Conceptual Framework For Describing, Simulating and Designing Enterprises, And It's Formal Codification, AAAI Symposium on Computational Organization Design, 1994, pp 175-180.

B Durnota, An Abstract Object Model of an Animal's Environment, International Congress on Modelling and Simulation, The University of Western Australia, Perth, Australia, 1993, pp 1717-1722.

B Durnota, Comparing Class Coherence via Dominance, Technical Report 93-1, Department of Software Development, Monash University, 1993.

B Durnota, Applying Object-Oriented Formal Specifications to Defining Spatial Features (Position Paper), Workshop on Spatial Relations, Island of Elba, Italy,1993.

C Mingins, B Durnota and G Smith, Collection and Analysis of Software Metrics from the Eiffel Class Hierarchy, TOOLS USA '93, 1993.

S Ling and B Durnota, A Comparison For Specifying Concurrent Systems Using The Object-Oriented Paradigm, TOOLS Pacific '93, 1993, pp 155-177.

B Durnota and C Mingins, Tree-Based Coherence Metrics in Object-Oriented Design, TOOLS Pacific '92, 1992, pp 489-504.