| |
|
|
|
|
Governatori, Guido, Nair, Vineet and Sattar, Abdul (2002). A Defeasible Logic of Policy-based Intention. In: B. McKay and J. Slaney, Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence Proceedings. Australasian Workshop on Computational Logic 2002, Canberra, (9-20). 2-3 December, 2002.
|
153 |
161 |
4
|
|
Governatori, Guido and Nair, Vineet (2003). A Defeasible Logic of Policy-Based Intention. In: Gedeon, Tamas D. and Fung, Lance Chun Che, AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence Proceedings. 16th Australian Conference on Artificial Intelligence, Perth, Australia, (414-426). 3-5 December, 2003.
|
165 |
437 |
|
|
Fu, Q. and Indulska, J. (2005). A delay-based approach for TCP paralleization. In: R. Sabella, NGI 2005 - Next Generation Internet Networks Traffic Engineering. 1st EuroNGI Conference on Next Generation Internet Networks - Traffic Engineering, Rome, Italy, (). 18-20 April, 2005.
|
9 |
|
|
|
Sizov, V. I., Donskoi, L. and Cherniakov, M. S. (1999). A design method for a recursive discrete filter described by difference equation with periodically time-varying coefficients. In: M. Deriche, B. Boashash and W. W. Boles, Proceedings of the Fifth International Symposium on Signal Processing and its Applications. ISSPA'99, Brisbane, (977-980). 22-25 August 1999.
|
17 |
|
|
|
Forbes, L K and Crozier, S. (2004). A design method for asymmetric and symmetric, planar gradient and shim coils. In: J. Duerk, Proceedings of the International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition. The International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition, Tokyo, (1640-1640). 15-21 May, 2004.
|
19 |
|
|
|
Zhao, H. W. and Crozier, S. (2002) A design method for superconducting MRI magnets with ferromagnetic material. Measurement Science & Technology, 13 12: 2047-2052.
|
63 |
|
5
|
|
Doering, K., Will, E., Zhu, W., Parsons, E. and Fleisch, B. D. (1999). A design summary of the oasis & distributed shared memory. In: , The 10th International Symposium on Software Reliability Engineering. ISSRE99, Boca Raton, Florida, (29-30). 1-4 November 1999.
|
7 |
|
|
|
Hood, M. and Alehossein, H. (2000) A Development in Rock Cutting Technology. International Journal of Rock Mechanics and Mining Sciences, 37 1-2: 297-305.
|
21 |
|
7
|
|
Dong, Z Y, Lu, M., Lu, Z. and Wong, P (2006). A differential evolution based method for power system planning. In: , 2006 IEEE Congress on Evolutionary Computation. 2006 IEEE Congress on Evolutionary Computation, Vancouver, Canada, (2699-2706). 16-21 July, 2006.
|
45 |
|
|
|
Drew, Simon C., Silva, Pujitha, Crozier, Stuar and Pearcy, Mark J. (2004) A diffusion and T-2 relaxation MRI study of the ovine lumbar intervertebral disc under compression in vitro. Physics in Medicine and Biology, 49 16: 3585-3592.
|
26 |
|
6
|
|
Drew, S., Silva, P., Crozier, S. and Pearcy, M. (2003). A diffusion and T2 relaxation MRI study of the ovine lumbar intervertebral disc under compression in vivo. In: Allan Murray, IFMBE Proceedings. World Congress on Medical Physics & buiomedical Engineering, Sydney Convention & Exhibition Centre, Sydney, (Record 48 of 220). 24-29 August 2003.
|
16 |
|
|
|
Liu, F. and Crozier, S. (2004) A distributed equivalent magnetic current based FDTD method for the calculation of E-fields induced by gradient coils. Journal of Magnetic Resonance, 169 2: 323-327.
|
46 |
|
8
|
|
Liu, F., Crozier, S. and Wei, Q. (2004). A distributed equivalent-magnetic current based FDTD method for the evaluation of the eddy currents induced by pulsed gradient fields. In: J. Duerk, Proceedings of the International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition. The International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition, Tokyo, (486-486). 15-21 May, 2004.
|
19 |
|
|
|
Hemani, A., Postula, A. J. and Deb, A. K. (1999). A divide and conquer approach for system level verification of DSP ASICs. In: , Digest of Papers IEEE International High Level Design Validation and Test Workshop. HLDVT'99, San Diego, USA, (87-92). 4-6 November 1999.
|
27 |
|
|
|
Bailey, D. A., Engstrom, C. M. and Walker, D. G. (2007) Adolescent fracture implications related to growth. Sport Health, 25 2: 12-17.
|
19 |
|
|
|
Kavanagh, Marie, Marjanovic, Olivera and Brown, Allison (2001). Adopting institutional flexible learning: Facing the challenges. In: , 2001 Education Odyssey: Continuing the journey through adaption and innovation. Open and Distance Learning Association of Australia 15th Biennial Forum, Sydney, (). 24-27 September, 2001.
|
42 |
|
|
|
Zornoza, J.A., Encinar, J.A. and Bialkowski, M. E. (2003). A double-layer microstrip reflectarray design to obtain Australia and New Zealand footprint. In: J. Young and J. Volakis, Proceedings of the 2003 IEEE Antennas and Propagation Society International Symposium. The 2003 IEEE Antennas and Propagation Society International Symposium, Columbus, OH, (310-313). 22-27 June, 2003.
|
14 |
|
|
|
Van den Bogaert, Etienne, Bostoen, Tom and Cendrillon, Raphael (2006) ADSL Transceivers Applying DSM and their Nonstationary Noise Robustness. EURASIP Journal on Applied Signal Processing, 2006 : .
|
176 |
314 |
|
|
Van den Bogaert, Etienne, Bostoen, Tom, Verlinden, Jan, Cendrillon, Raphael and Moonen, Marc (2005) ADSL Transcievers Applying DSM and Their Non-Atationary Noise Robustness. EURASIP Journal on Applied Signal Processing, : .
|
302 |
351 |
|
|
Bialkowski, K. and Zagriatski, S. (2004). A dual band 2.4/5.2GHz antenna including a radial line slot array and a patch. In: A. Poggio, Proceedings of the 2004 IEEE Antennas and Propogation Society International Symposium. The 2004 IEEE Antennas and Propogation Society International Symposium, Monterey, California, (3095-3098). 20-26 June, 2004.
|
18 |
|
|
|
Chow, Y. W., Yung, E. K. N. and Hui, H. T. (2001) A dual-frequency-mode monopole-helical antenna with a parasitic normal-mode helix. Microwave And Optical Technology Letters, 28 3: 183-187.
|
120 |
|
|
|
Governatori, Guido (1996). A Duplication and Loop Checking Free System for S4. In: Miglioli, P., Moscato, U., Mundici, D. and Ornaghi, M. 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (Short Papers), Terrassini, Italy, (19-32). .
|
152 |
213 |
|
|
Sanderson, Penelope M., Watson, Marcus, Russell, W. J., Jenkins, S., Liu, David, Green, N., Llewelyn, K., Cole, P., Shek, Vivian and Krupenia, Stas (2008) Advanced Auditory Displays and Head-Mounted Displays: Advantages and Disadvantages for Monitoring by the Distracted Anesthesiologist. Anesthesia and Analgesia, 106 6: 1787-1797.
|
25 |
|
3
|
|
Advanced Data Mining and Applications. Edited by Li, X., Zaiane, R. and Li, Z. Heidelberg, Germany: Springer, 2006.
|
17 |
|
|
|
Dong, Z. Y. (1998). Advanced Methods For Small Signal Stability Analysis And Control In Modern Power Systems PhD Thesis, Department of Electrical and Information Engineering, The University of Sydney.
|
1878 |
2096 |
|
|
Sanderson, P. M., Watson, M. O. and Russell, W. J. (2005) Advanced patient monitoring displays: Tools or continuous informing. Anesthesia and Analgesia, 101 1: 161-168.
|
11 |
|
11
|
|
Cendrillon, Raphael, Collings, Iain and Nordstrom, Tomas (2006) Advanced Signal Processing for Digital Subscriber Lines. EURASIP Journal on Applied Signal Processing, : .
|
186 |
377 |
|
|
Advanced Web and Network Technologies, and Applications. Edited by H. T. Shen, J Li, M Li, J. Ni and W. Wang Germany: Springer, 2006.
|
8 |
|
|
|
Robinson, A. W., Bialkowski, M. E. and Song, H. J. (2000) A 137-element active reflect array with dual-feed microstrip patch elements. Microwave and Optical Technology Letters, 26 3: 147-151.
|
24 |
|
6
|
|
Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael J. and Rock, Andrew (2000). A Family of Defeasible Reasoning Logics and its Implementation. In: Horn, Werner 14th European Conference on Artificial Intelligence, , (459-463). .
|
174 |
467 |
2
|
|
Fang, XG, Havas, G and Wang, J (1999) A family of non-quasiprimitive graphs admitting a quasiprimitive 2-arc transitive group action. European Journal of Combinatorics, 20 : 551-557.
|
9 |
|
5
|
|
Majewski, BS, Wormald, NC, Havas, G and Czech, ZJ (1996) A family of perfect hashing methods. Computer Journal, 39 : 547-554.
|
49 |
|
9
|
|
Weber, E., Li, B.K., Liu, F. and Crozier, S. (2007). A fast parallel imaging rotary phased array head coil with improved sensitivity profile deep in the center of the brain. In: Dittmar, A. and Clark, J., Proceedings of the 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2007), Lyon, France, (504-507). 23-26 August, 2007.
|
16 |
|
|
|
Hill, A., Mehnert, A. and Crozier, S. (2008). A fast, segmentation-free, method for constructing a biomechanical model of the breast from DCE-MRI data. In: Ceballos, S., Proceedings of the Digital Image Computing: Techniques & Applications. Digital Image Computing : Techniques and Applications : DICTA 2008, Canberra Australia, (386-391). 1-3 December, 2008.
|
20 |
|
|
|
Wang, Hua, Bialkowski, Marek E., Liu, Feng and Crozier, Stuart (2006). A FDTD analysis to investigate capabilities of an UWB radar for breast tumor detection. In: D. McLemore, IEEE Antennas and Propagation Society International Symposium 2006. IEEE Antennas and Propagation Society International Symposium 2006, Albuquerque, USA, (1405-1408). 9-14 July, 2006.
|
30 |
|
|
|
Liu, F. and Crozier, S. (2004). A FDTD model for the calculation of gradient-induced eddy currents in MRI magnets. In: J. Duerk, Proceedings of the International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition. The International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition, Tokyo, (479-479). 15-21 May, 2004.
|
13 |
|
|
|
Song, I. and Governatori, G. (2006). Affective Web Service Design. In: Yang, Qian and Webb, Geoff, PRICAI 2006: Trends In Artificial Intelligence, Proceedings of the 9th Pacific Rim International Conference on Artifical Intelligence. 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, Guanxi, China, (71-80). 7-11 August, 2006.
|
100 |
483 |
|
|
Padmanabhan, Vineet and Governatori, Guido (2006). A Fibred Tableau Calculus for BDI Logics. In: Baldoni, Matteo and Endriss, Ulle Declarative Agent Languages and Technologies (Dalt 2006), Hakodate, Hokkaido, Japan, (). 8 May, 2006.
|
96 |
124 |
|
|
Padmanabhan, V. and Governatori, G (2006). A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006. Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, (105-122). 8 May, 2006.
|
44 |
56 |
|
|
Robinson, M., Kubik, K. and Lovell, B. (2005) A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space. International Journal of Pattern Recognition and Artificial Intelligence, 19 1: 45-62.
|
62 |
6 |
1
|
|
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: American National Conference on Artificial Intelligence (AAAI-2000), , (401-405). .
|
144 |
456 |
|
|
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: 9th Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, (). 9-11 April, 2000.
|
149 |
229 |
|
|
Snape-Jenkinson, C. J., Crozier, S. and Forbes, L. K. (2001) A flexible method for rapid force computation in elliptical magnets. Measurement Science & Technology, 12 6: 716-722.
|
16 |
|
|
|
Rajagopalan, K. and Sutton, P. R. (2001). A flexible multiplacation unit for an FPGA logic block. In: D. Skellern and G. Hellestrand, Proceedings of ISCAS 2001. The IEEE International Symposium on Circuits and Systems, Sydney, (546-549). 6-9 May, 2001.
|
39 |
|
|
|
Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems, 15 4: 659-685.
|
514 |
2900 |
7
|
|
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M and Oaks, Philippa (2002) A Formal Approach to Negotiating Agents Development. Electronic Commerce Research and Applications, 1 2: 193-207.
|
161 |
769 |
|
|
Governatori, Guido, Dumas, Marlon, ter Hofstede, Arthur H. M and Oaks, Philippa (2001). A Formal Approach To Protocols And Strategies For (Legal) Negotiation. In: Henry Prakken, Proceedings of the 8th international conference on Artificial intelligence and law. 8th International Conference on Artificial Intelligence and Law (ICAIL-01), St. Louis, Missouri, USA, (168-177). 21 - 25 May, 2001.
|
218 |
1481 |
|
|
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld
|
10 |
|
|
|
Kim, S. and Carrington, D. A. (2001) A formal denotational semantics of UML in object-z. L'Objet: Object Modelling with UML, 7 1: 323-362.
|
262 |
|
|
|
Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference. The Twenty-Seventh Australasian Computer Science Conference, Dunedin, New Zealand, (193-202). 18-22 January, 2004.
|
15 |
|
|
