Research Output

1996

The Melbourne family grief study, II: Psychosocial Morbidity and Grief in Bereaved Families

Kissane, D. W., Bloch, S., Onghena, P., McKenzie, D. P., Snyder, R. D. & Dowe, D. L., 1 Jan 1996, In : American Journal of Psychiatry. 153, 5, p. 659-666 8 p.

Research output: Contribution to journalArticleResearchpeer-review

87 Citations (Scopus)

Topological design of truss structures using simulated annealing

Topping, B. H. V., Khan, A. I. & Leite, J. P. D. B., 1 Jan 1996, In : Structural engineering review. 8, 2-3, p. 301-314 14 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Towards a hierarchy of visual languages

Marriott, K. & Meyer, B., 1996, Proceedings of the 1996 IEEE Symposium on Visual Languages. IEEE, Institute of Electrical and Electronics Engineers, p. 196-203 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Towards independent and-parallelism in CLP

Garcia De La Banda, M. J., Bueno, F. & Hermenegildo, M., 1996, In : Lecture Notes in Computer Science. 1140, p. 77 - 91 15 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Two applications of an incremental analysis engine for (Constraint) logic programs

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Schmidt, D. A. & Cousot, R. (eds.). Springer, p. 385-386 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1995

2D simulations of cortical networks in a neural processor array model

Mount, M. W. & Paplinski, A. P., 1 Dec 1995, p. 947-952. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

An optimizing compiler for CLP(R)

Kelly, A. D., Macdonald, A., Marriott, K., Søndergaard, H., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 222-239 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Confluent calculus for concurrent constraint programming with guarded choice

Marriott, K. & Odersky, M., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 310-327 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)

Constraint logic programming for scheduling and planning

Lever, J., Wallace, M. & Richards, B., 1 Jan 1995, In : British Telecom technology journal. 13, 1, p. 73-80 8 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

Efficient analysis of logic programs with dynamic scheduling

Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 1995, Proceedings of the 1995 International Symposium on Logic Programming. Lloyd, J. (ed.). Massachusetts London UK: The MIT Press, p. 417 - 431 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Improving abstract interpretations by combining domains

Codish, M., Mulkers, A., Bruynooghe, M., Garcia De La Banda, M. J. & Hermenegildo, M., 1995, In : ACM Transactions on Programming Languages and Systems. 17, 1, p. 28 - 44 17 p.

Research output: Contribution to journalArticleResearchpeer-review

41 Citations (Scopus)

On the deep structure of information systems

Wand, Y. & Weber, R., 1 Jan 1995, In : Information Systems Journal. 5, 3, p. 203-223 21 p.

Research output: Contribution to journalArticleResearchpeer-review

363 Citations (Scopus)

Polygonal inductive generalisation system

Newlands, D. A. & Webb, G. I., 30 Jun 1995, Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1995. Ali, M. & Forsyth, G. F. (eds.). Association for Computing Machinery (ACM), p. 587-592 6 p. (Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1995).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Practical logic (Invited presentation)

Crossley, J. N., 1 Jan 1995, Algorithms and Computations - 6th International Symposium, ISAAC 1995, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1004).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Predicting engine parameters using the optical spectrum of the space shuttle main engine exhaust plume

Srivastava, A. N. & Buntine, W., 1 Jan 1995, p. 29-34. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Production data modelling: An integrated approach

Yeh, C. H., 1 Dec 1995, In : International Journal of Operations and Production Management. 15, 8, p. 52-62 11 p.

Research output: Contribution to journalReview ArticleResearchpeer-review

12 Citations (Scopus)

Spatial query optimization: From boolean constraints to range queries

Helm, R., Marriott, K. & Odersky, M., 1 Jan 1995, In : Journal of Computer and System Sciences. 51, 2, p. 197-210 14 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Using two object-oriented modelling techniques: Specifying the just-in-time kanban system

Ling, S. & Durnota, B., 1 Jan 1995, In : International Journal of Operations and Production Management. 15, 9, p. 185-199 15 p.

Research output: Contribution to journalReview ArticleResearchpeer-review

3 Citations (Scopus)
1994

Analyzing logic programs with dynamic scheduling

Marriott, K., de la Banda, M. L. G. & Hermenegildo, M., 1 Jan 1994, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 240-253 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

28 Citations (Scopus)

A Robust Mimo Terminal Sliding Mode Control Scheme For Rigid Robotic Manipulators

Zhihong, M., Paplinski, A. P. & Wu, H. R., 1 Jan 1994, In : IEEE Transactions on Automatic Control. 39, 12, p. 2464-2469 6 p.

Research output: Contribution to journalLetterResearchpeer-review

640 Citations (Scopus)

A transputer routing algorithm for non-linear or dynamic finite element analysis

Khan, A. I. & Topping, B. H. V., 1 Jun 1994, In : Engineering Computations. 11, 6, p. 549-564 16 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Automatic depiction of spatial descriptions

Olivier, P., Maeda, T. & Tsujii, J. I., 1 Dec 1994, p. 1405-1410. 6 p.

Research output: Contribution to conferencePaper

16 Citations (Scopus)

Beyond finite domains

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

54 Citations (Scopus)

Business process re-engineering and decision support systems: a cautionary tale

Arnott, D. R. & O'Donnell, P. A., 1 Dec 1994, In : IFIP Advances in Information and Communication Technology. A-54, p. 127-135 9 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Compact coding of automata for inference

Collins, M. & Zukerman, I., 1 Dec 1994, In : National Conference Publication - Institution of Engineers, Australia. 1, 94 /9, p. 395-400 6 p.

Research output: Contribution to journalConference articleResearchpeer-review

Computing Second Derivatives in Feedforward Networks: A Review

Buntine, W. L. & Weigend, A. S., 1 Jan 1994, In : IEEE Transactions on Neural Networks. 5, 3, p. 480-488 9 p.

Research output: Contribution to journalArticleResearchpeer-review

60 Citations (Scopus)

Denotational Abstract Interpretation of Logic Programs

Marriott, K., Søndergaard, H. & Jones, N. D., 5 Jan 1994, In : ACM Transactions on Programming Languages and Systems. 16, 3, p. 607-648 42 p.

Research output: Contribution to journalArticleResearchpeer-review

55 Citations (Scopus)

Model selection in linear regression using the MML criterion

Baxter, R. A. & Dowe, D. L., 1994, Proceedings of the Data Compression Conference. Storer, J. A. & Cohn, M. (eds.). IEEE, Institute of Electrical and Electronics Engineers, 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

3 Citations (Scopus)

On Solving Equations and Disequations

Buntine, W. L. & Bürckert, H. J., 7 Jan 1994, In : Journal of the ACM (JACM). 41, 4, p. 591-629 39 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Parallel computation schemes for dynamic relaxation

Topping, B. H. V. & Khan, A. I., 1 Jun 1994, In : Engineering Computations. 11, 6, p. 513-548 36 p.

Research output: Contribution to journalArticleResearchpeer-review

29 Citations (Scopus)

Quantitative perceptual representation of prepositional semantics

Olivier, P. & Tsujii, J. I., 1 Mar 1994, In : Artificial Intelligence Review. 8, 2-3, p. 147-158 12 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

The melanocortin (MC3) receptor from rat hypothalamus: photoaffinity labelling and binding of alanine-substituted alpha-MSH analogues: FEBS Lett

Sahm, U. G., Qarawi, M. A., Olivier, G. W., Ahmed, A. R., Branch, S. K., Moss, S. H. & Pouton, C. W., 1994, In : FEBS Letters. 350, p. 29-32 4 p.

Research output: Contribution to journalArticleResearchpeer-review

1993

A cleavable biotinylated photoactivable derivative of alpha-MSH. Its application to the characterization and isolation of the alpha-MSH receptor: Ann N Y Acad Sci

Ahmed, A. R., Olivier, G. W., Branch, S. K., Moss, S. H., Notarianni, L. J. & Pouton, C. W., 1993, In : Annals of the New York Academy of Sciences. 680, p. 442-444 3 p.

Research output: Contribution to journalArticleResearchpeer-review

A decision graph explanation of protein secondary structure prediction

Dowe, D. L., Oliver, J., Dix, T. I., Allison, L. & Wallace, C. S., 1 Jan 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE, Institute of Electrical and Electronics Engineers, p. 669-678 10 p. 270674. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Constructing multi-view editing environments using MViews

Grundy, J. C. & Hosking, J. G., 1 Jan 1993, Proceedings - 1993 IEEE Symposium on Visual Languages, VL 1993. IEEE, Institute of Electrical and Electronics Engineers, p. 220-224 5 p. 269600. (Proceedings - 1993 IEEE Symposium on Visual Languages, VL 1993).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

14 Citations (Scopus)

Consulting a user model to address a user's inferences during content planning

Zukerman, I. & Mcconachy, R., 1 Jun 1993, In : User Modeling and User-Adapted Interaction. 3, 2, p. 155-185 31 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Difference-list transformation for Prolog

Marriott, K. & Søndergaard, H., 1 Jun 1993, In : New Generation Computing. 11, 2, p. 125-157 33 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Effects of damping on the quantum limits to optical phase shifts in Kerr nonlinear media

Liebman, A. & Milburn, G. J., 1 Jan 1993, In : Physical Review A. 47, 5, p. 4528-4531 4 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

Frameworks for abstract interpretation

Marriott, K., 1 Feb 1993, In : Acta Informatica. 30, 2, p. 103-129 27 p.

Research output: Contribution to journalArticleResearchpeer-review

22 Citations (Scopus)

Generalized constraint propagation over the CLP scheme

Le Provost, T. & Wallace, M., 1 Jan 1993, In : The Journal of Logic Programming. 16, 3-4, p. 319-359 41 p.

Research output: Contribution to journalArticleResearchpeer-review

26 Citations (Scopus)

On the ontological expressiveness of information systems analysis and design grammars

Wand, Y. & Weber, R., 1 Jan 1993, In : Information Systems Journal. 3, 4, p. 217-237 21 p.

Research output: Contribution to journalArticleResearchpeer-review

425 Citations (Scopus)

Optimizing method for structuring inferentially linked discourse

Zukerman, I. & McConachy, R., 1 Dec 1993, Proceedings of the National Conference on Artificial Intelligence. Publ by AAAI, p. 202-207 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Precise and Efficient Groundness Analysis for Logic Programs

Marriott, K. & Søndergaard, H., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems. 2, 1-4, p. 181-196 16 p.

Research output: Contribution to journalArticleResearchpeer-review

74 Citations (Scopus)

Projecting CLP R constraints

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Sep 1993, In : New Generation Computing. 11, 3-4, p. 449-469 21 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Semantics of Constraint Logic Programs with Optimization

Marriott, K. & Stuckey, P. J., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems. 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

Space shuttle main engine plume diagnostics: OPAD approach to vehicle health monitoring

Powers, W. T., Cooper, A. E., Wallace, T. L., Buntine, W. L. & Whitaker, K., 1 Dec 1993.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Subdomain generation for parallel finite element analysis

Khan, A. I. & Topping, B. H. V., 1 Jan 1993, In : Computing Systems in Engineering. 4, 4-6, p. 473-488 16 p.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (Scopus)

Tight, consistent, and computable completions for unrestricted logic programs

Wallace, M., Feb 1993, In : Journal of Logic Programming. 15, 3, p. 243-273 31 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
18 Citations (Scopus)
1992

A Further Comparison of Splitting Rules for Decision-Tree Induction

Buntine, W. & Niblett, T., 1 Jan 1992, In : Machine Learning. 8, 1, p. 75-85 11 p.

Research output: Contribution to journalArticleResearchpeer-review

155 Citations (Scopus)

An Abstract Machine for CLP(R)

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 7 Jan 1992, In : ACM SIGPLAN Notices. 27, 7, p. 128-139 12 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)