Research Output 1965 2020

Filter
Article
1978
1 Citation (Scopus)

Electronic simulation of electrical power system loads

Gawler, R. A. & Morsztyn, K., 1 Jan 1978, In : Mathematics and Computers in Simulation. 20, 1, p. 61-68 8 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Probabilistic approach to the determination of the stability of weak tie lines with random fluctuations of power flow

Gawler, R. A. & Morsztyn, K., 1 Jan 1978, Aeronautical Journal, 1, p. 265-273 9 p.

Research output: Contribution to specialist publicationArticleResearch

1979

Hybrid computer simulation of dynamic stability of power system with stochastic load and voltage variations

Gawler, R. A., Smith, D. C. & Morsztyn, K., 1 Dec 1979, In : Institution of Engineers, Australia, Electrical Engineering Transactions. 15, 1, p. 7-11 5 p.

Research output: Contribution to journalArticleResearchpeer-review

1981
2 Citations (Scopus)

Regulation and the Auditing Profession in the USA: The Metcalf Subcommittee's Recommendations Re-examined

Milne, F. & Weber, R., 1 Jan 1981, In : Accounting and Business Research. 11, 43, p. 197-205 9 p.

Research output: Contribution to journalArticleResearchpeer-review

1983
46 Citations (Scopus)

Some factors affecting program repair maintenance: An empirical study

Vessey, I. & Weber, R., 1 Feb 1983, In : Communications of the ACM. 26, 2, p. 128-134 7 p.

Research output: Contribution to journalArticleResearchpeer-review

52 Citations (Scopus)

System Designers' User Models: A Comparitive Study and Methodological Critique

Dagwell, R. & Weber, R., 1 Nov 1983, In : Communications of the ACM. 26, 11, p. 987-997 11 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

The economics of designing generalized software

Milne, F. & Weber, R., 1 Aug 1983, In : Communications of the ACM. 26, 8, p. 582-589 8 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Undecidability and recursive equivalence I

Crossley, J. N. & Remmel, J. B., 1 Jan 1983, In : Studies in Logic and the Foundations of Mathematics. 111, C, p. 37-53 17 p.

Research output: Contribution to journalArticleResearchpeer-review

1984
6 Citations (Scopus)

Conditional statements and program coding: an experimental evaluation

Vessey, I. & Weber, R., 1 Jan 1984, In : International Journal of Man-Machine Studies. 21, 2, p. 161-190 30 p.

Research output: Contribution to journalArticleResearchpeer-review

37 Citations (Scopus)

Research on Structured Programming: An Empiricist's Evaluation

Vessey, I. & Weber, R., 1 Jan 1984, In : IEEE Transactions on Software Engineering. SE-10, 4, p. 397-407 11 p.

Research output: Contribution to journalArticleResearchpeer-review

1986
17 Citations (Scopus)

Canonical logic programs

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : The Journal of Logic Programming. 3, 2, p. 143-155 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Decision Trees Versus Decision Tables for Audit Test Data Design: An Experimental Study

Ip, A. & Weber, R., 1 Jan 1986, In : Accounting & Finance. 26, 1, p. 25-46 22 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

Semantics of infinite tree logic programming

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : Theoretical Computer Science. 46, C, p. 141-158 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
62 Citations (Scopus)

Structured Tools and Conditional Logic: An Empirical Investigation

Vessey, I. & Weber, R., 1 Jan 1986, In : Communications of the ACM. 29, 1, p. 48-57 10 p.

Research output: Contribution to journalArticleResearchpeer-review

1987

Has EDP audit progressed in the last 15 years?

Weber, R., 1 Jan 1987, In : EDPACS. 15, 2, p. 1-6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

1988
11 Citations (Scopus)

Computer technology and jobs: An impact assessment model

Weber, R., 1 Jan 1988, In : Communications of the ACM. 31, 1, p. 68-77 10 p.

Research output: Contribution to journalArticleResearchpeer-review

115 Citations (Scopus)

Generalized subsumption and its applications to induction and redundancy

Buntine, W., 1 Jan 1988, In : Artificial Intelligence. 36, 2, p. 149-176 28 p.

Research output: Contribution to journalArticleResearchpeer-review

1989

Completeness proofs for propositional logic with polynomial-time connectives

Crossley, J. N. & Scott, P. J., 9 Oct 1989, In : Annals of Pure and Applied Logic. 44, 1-2, p. 39-52 14 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Controls in electronic funds transfer systems: A survey and synthesis

Weber, R., 1 Jan 1989, In : Computers and Security. 8, 2, p. 123-137 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Inductive knowledge acquisition and induction methodologies

Buntine, W., 1 Jan 1989, In : Knowledge-Based Systems. 2, 1, p. 52-61 10 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

On the existence of sequences of co-prime pairs of integers

Dowe, D. L., 1989, In : Journal of the Australian Mathematical Society. 47, 1, p. 84-89 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
1990
386 Citations (Scopus)

An Ontological Model of an Information System

Wand, Y. & Weber, R., 1 Jan 1990, In : IEEE Transactions on Software Engineering. 16, 11, p. 1282-1292 11 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

A predictive approach for the generation of rhetorical devices

Zukerman, I., 1 Jan 1990, In : Computational Intelligence. 6, 1, p. 25-40 16 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Arteriovenous malformations of the brain: Outcome of conventional radiotherapy in the management of 33 cases

Spry, N. A., Lamb, D. S., Millar, J. L., Balakrishnan, V. & Symons, L. A., 1990, In : Clinical Oncology. 2, 4, p. 210-213 4 p.

Research output: Contribution to journalArticleResearchpeer-review

24 Citations (Scopus)

Job oriented production scheduling

Hastings, N. A. J. & Yeh, C. H., 5 Jul 1990, In : European Journal of Operational Research. 47, 1, p. 35-48 14 p.

Research output: Contribution to journalArticleResearchpeer-review

21 Citations (Scopus)

Thus spake al-Khwārizmī: A translation of the text of Cambridge University Library Ms. Ii.vi.5

Crossley, J. N. & Henry, A. S., 1 Jan 1990, In : Historia Mathematica. 17, 2, p. 103-131 29 p.

Research output: Contribution to journalArticleResearchpeer-review

1991
18 Citations (Scopus)

Generation and selection of likely interpretations during plan recognition in task-oriented consultation systems

Raskutti, B. & Zukerman, I., 1 Dec 1991, In : User Modeling and User-Adapted Interaction. 1, 4, p. 323-353 31 p.

Research output: Contribution to journalArticleResearchpeer-review

Modelling default and likelihood reasoning as probabilistic reasoning

Buntine, W., 1 Mar 1991, In : Annals of Mathematics and Artificial Intelligence. 4, 1-2, p. 25-68 44 p.

Research output: Contribution to journalArticleResearchpeer-review

36 Citations (Scopus)

Parallel adaptive mesh generation

Khan, A. I. & Topping, B. H. V., 1 Jan 1991, In : Computing Systems in Engineering. 2, 1, p. 75-101 27 p.

Research output: Contribution to journalArticleResearchpeer-review

Teamwork: Special Issue on Cognitive Science and Artificial Intelligence

Phil, C., 1991, In : Nous. 25, 4, p. 137-156 19 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Using meta‐comments to generate fluent text in a technical domain

Zukerman, I., 1 Jan 1991, In : Computational Intelligence. 7, 4, p. 276-295 20 p.

Research output: Contribution to journalArticleResearchpeer-review

1992
147 Citations (Scopus)

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

20 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

21 Citations (Scopus)

Bill of manufacture

Hastings, N. A. J. & Yeh, C. H., 4 Jan 1992, In : Production and Inventory Management Journal. 33, 4, p. 27-31 5 p.

Research output: Contribution to journalArticleResearchpeer-review

27 Citations (Scopus)

Bottom-up dataflow analysis of normal logic programs

Marriott, K. & Søndergaard, H., 1 Jan 1992, In : The Journal of Logic Programming. 13, 2-3, p. 181-204 24 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Cancellation laws for polynomial-time p-isolated sets

Crossley, J. N. & Remmel, J. B., 29 Apr 1992, In : Annals of Pure and Applied Logic. 56, 1-3, p. 147-172 26 p.

Research output: Contribution to journalArticleResearchpeer-review

Isolation and partial purification of a melanocyte-stimulating hormone receptor from B16 murine melanoma cells. A novel approach using a cleavable biotinylated photoactivated ligand and streptavidin-coated magnetic beads: Biochem J

Ahmed, A. R., Olivier, G. W., Adams, G., Erskine, M. E., Kinsman, R. G., Branch, S. K., Moss, S. H., Notarianni, L. J. & Pouton, C. W., 1992, In : Biochemical Journal. 286 ( Pt 2), p. 377-382 6 p.

Research output: Contribution to journalArticleResearchpeer-review

207 Citations (Scopus)

Learning classification trees

Buntine, W., 1 Jun 1992, In : Statistics and Computing. 2, 2, p. 63-73 11 p.

Research output: Contribution to journalArticleResearchpeer-review

312 Citations (Scopus)

The CLP(R) Language and System

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 5 Jan 1992, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 14, 3, p. 339-395 57 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

4 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

7 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

22 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

26 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

418 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

74 Citations (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 (LOPLAS). 2, 1-4, p. 181-196 16 p.

Research output: Contribution to journalArticleResearchpeer-review

11 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

8 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 (LOPLAS). 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (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