List of Subject Classifications Records

Browse Results (11 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

 Browse by Research Fields, Courses and Disciplines The Research Fields, Courses and Disciplines (Australian Standard Research Classification) is published by the Australian Bureau of Statistics (ABS catalogue number 1297.0) 1998. ABS data is used with permission from the Australian Bureau of Statistics -> 280000 Information, Computing and Communication Sciences -> 280400 Computation Theory and Mathematics -> 280499 Computation Theory and Mathematics not elsewhere classified :

No further child subject classifications could be found.
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Watson, Geoffrey Norman (2001). A Generic Proof Checker PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 799 1428
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M. and Russell, Nick (2002). An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. In: Yanchun Zhang, Amjad Umar, Ee-Peng Lim and Ming-Chien Shan, PROCEEDINGS - GREAT LAKES SYMPOSIUM ON VLSI. 12th International Workshop on Reseach Issues in Data Engineering (RIDE-2EC 2002), San Jose, (75-83). 24 -25 February, 2002. doi:10.1109/RIDE.2002.995101 210 491 0 0
Su, K., Sattar, A., Wang, K. and Governatori, G. (2005). Computationally Grounded Model of BDI-Agents. In: L.P. Kaelbling and A. Saffiotti, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). International Joint Conference on Artificial Inteligence, Edinburgh, Scotland, (1581-1582). 30 July - 5 August, 2005. 222 640
Goldson, D. W. and Dongol, B. M. S. (2005). Concurrent Program Design in the Extended Theory of Owicki and Gries. In: Atkinson, Mike and Dehne, Frank, Theory of Computing. Computing: The Australasian Theory Symposium (CATS2005), Newcastle, Australia, (41-50). 30 January - 3 February 2005. 217 253
Bordes, Nicole, Ulm, Sean, Pettersen, Oystein, Murphy, Karen, Gwynne, David, Pagnon, William, Hungerford, Stuart, Hiscock, Peter, Hall, Jay and Pailthorpe, Bernard (2006). Data grid for the management, reconstruction, analysis and visualisation of archaeological data. In Sean Ulm and Ian Lilley (Ed.), An Archaeological life: Papers in honour of Jay Hall (pp. 251-264) Brisbane, Australia: Aboriginal and Torres Strait islander Studies Unit, University of Queensland. 150  
Muhlhaus, Hans-Bernd, Davies, Matt and Moresi, Louis (2004) Elasticity, Yielding and Episodicity in Simple Models of Mantle Convection. 252 619
Jacobs, Peter A. (1996) MB_CNS: A Computer Program for the Simulation of Transient Compressible Flows. Report 10/96, Department of Mechanical Engineering, The University of Queensland. 341 479
Voelzer, H. (2002) On randomization versus synchronization Brisbane, Australia: The University of Queensland 23  
Volzer, Hagen (2002) On Randomization versus Synchronization. Technical Report 02-17, Software Verification Research Centre, School of Information Technology, The University of Queensland. 249 500
Davies, M., Gross, L. and Muhlhaus, H-B, (2004). Scripting High Performance Earth Systems Simulations on the SGI Altix 3700. In: B. Werner, Proceedings of the 7th International Conference on High Performance Computing and Grid in the Asia Pacific Region. 7th International Conference on High Performance Computing and Grid in the Asia Pacific Region, Tokyo, Japan, (244-251). 20-22 July, 2004. doi:10.1109/HPCASIA.2004.1324041 219 554 0
Shield, J., Hayes, I. J. and Carrington, D. A. (2001). Using theory interpretation to mechanise the reals in a theorem prover. In: C.J Fidge, Proceedings of Computing: The Australian Theory Symposium (CATS2001). CATS2001, Gold Coast, (266-281). 29 January-1 February, 2001. 31