School of Information Technology and Electrical Engineering Publications

Browse Results (7228 results found)

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

Page 7 of 145

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
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. doi:10.1088/0957-0233/12/6/310 72   0 Cited 1 times in Scopus1 0
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. 100  
Antoniades, M. A. and Eleftheriades, G. V. (2008) A folded-monopole model for electrically small NRI-TL metamaterial antennas. IEEE Antennas and Wireless Propagation Letters, 7 Article # 2008773: 425-428. doi:10.1109/LAWP.2008.2008773 56   68 Cited 76 times in Scopus76 0
Bialkowski, Marek E., Razali, Ahmad Rashidy and Boldaji, Ashkan (2010). A folded quarter-elliptical wideband antenna for portable devices. In: Proceedings, 2010 IEEE International Symposium Antennas and Propagation and CNC-USNC/URSI. 2010 IEEE International Symposium Antennas and Propagation and CNC-USNC/URSI, Toronto, ON, Canada, (1-4). 11-17 July 2010. doi:10.1109/APS.2010.5562306 79 13 Cited 0 times in Scopus0 0
Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems, 15 4: 659-685. doi:10.1142/S0218843006001529 798 8864 21 Cited 37 times in Scopus37 0
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. doi:10.1016/S1567-4223(02)00016-9 212 1450 Cited 40 times in Scopus40 0
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. doi:10.1145/383535.383555 292 3362 Cited 40 times in Scopus40 0
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 51  
Wildman, Luke (2002). A Formal Basis for a Program Compilation Proof Tool. In: L.-H. Eriksson and P. A. Lindsay, FME2002: Formal Methods - Getting IT Right. 11th International Symposium of Formal Methods Europe, Copenhagen, Denmark, (370-389). 22-24 July, 2002. doi:10.1007/3-540-45614-7_28 49 5 0
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. 939  
Li, Q. and Smith, G. (2014). A formal development approach for self-organising systems. In: Theoretical Aspects of Software Engineering Conference (TASE), 2014. 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014, Changsha, Hunan, China, (209-212). 1-3 September 2014. doi:10.1109/TASE.2014.11 30 1 Cited 0 times in Scopus0 0
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 (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004. doi:10.1145/980000/979946/p193-smith.pdf?key1=979946 54   0
Kim, Soon Kyeong and Carrington, David (2009) A formalism to describe design patterns based on role concepts. Formal Aspects of Computing, 21 5: 397-420. doi:10.1007/s00165-008-0090-7 94   7 Cited 9 times in Scopus9 0
Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000. 509  
Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002. doi:10.1007/3-540-36103-0_55 117 174 2 0
Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 462 470
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 586 470
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 47   5 Cited 7 times in Scopus7 0
Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002. 183  
Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290461 122   1 0
Pothipruk, Pakornpong and Governatori, Guido (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J. Y. Chung and Q. Z. Sheng, Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA, (119-132). 20-22 November 2005. doi:10.1007/11581062_10 324 1172 1 Cited 0 times in Scopus0 0
Kim, S. K. and Carrington, D. A. (2005). A formal V&V framework for UML models based on Model transformation techniques. In: B. Baudry, C. Caston and S. Ghosh, 2nd MoDeVa Workshop - Model Design and validation. Model Validation (MoDeVa) Workshop, Montego Bay, Jamaic, (). 3 October 2005. 258  
Miller, T. and Strooper, P. (2003) A framework and tool support for the systematic testing of model-based specifications. Acm Transactions On Software Engineering And Methodology, 12 4: 409-439. doi:10.1145/990010.990012 52   7 Cited 10 times in Scopus10 0
Süß, Jörn Guy, Carrington, David, Robinson, Neil and Strooper, Paul (2012). Μίνθα: a framework for auto-programming and testing of railway controllers for varying clients. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 175-197) Hershey, PA, United States: IGI Global. doi:10.4018/978-1-4666-1643-1.ch008 100 12 0
Yeganeh, Naiem K. and Sharaf, Mohamed A. (2011). A framework for data quality aware query systems. In: 16th International Conference, DASFAA 2011, International Workshops. DASFAA Workshops, Hong Kong, People's Republic of China, (478-489). 22-25 April 2011. doi:10.1007/978-3-642-20244-5_46 52 2 0
Yeganeh, Naiem K., Sadiq, Shazia and Sharaf, Mohamed A. (2014) A framework for data quality aware query systems. Information Systems, 46 24: 44-21. doi:10.1016/j.is.2014.05.005 61   0 Cited 0 times in Scopus0 0
Zhao, J. H., Dong, Z. Y., Li, Xue and Wong, K. P. (2007) A framework for electricity price spike analysis with advanced data mining methods. IEEE Transactions on Power Systems, 22 1: 376-385. doi:10.1109/TPWRS.2006.889139 218   40 Cited 62 times in Scopus62 0
Abdullah, Norris Syed, Sadiq, Shazia and Indulska, Marta (2011). A framework for industry-relevant ontology development. In: Proceedings of the Australasian Conference on Information Systems ACIS 2011 - "Identifying the Information Systems Discipline". 22nd Australasian Conference on Information Systems (ACIS), Sydney, Australia, (). 29 November - 2 December 2011. 176 6 Cited 0 times in Scopus0
Abeyratne, U. (2008). A Framework for Information Processing in the Diagnosis of Sleep Apnea. In Wickramasinghe, N and Geisler, E. (Ed.), Encyclopedia of Healthcare Information Systems Vol II 1 ed. (pp. 610-617) Hershey, New York: IGI Global. 100  
Dadgostar, Farhad, Bigdeli, Abbas, Mau, Sandra, Smith, Terence and Lovell, Brian (2010). A framework for lab-based real-time video analysis on distributed camera networks. In: ICDSC - 4th ACM/IEEE International Conference on Distributed Smart Cameras. 4th ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC 2010, Atlanta, GA United States, (238-242). 31 August - 4 September 2010. doi:10.1145/1865987.1866028 40   Cited 1 times in Scopus1 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004. doi:10.1007/b97813 306 1689 2 0
Stocks, P and Carrington, D (1996) A framework for specification-based testing. Ieee Transactions On Software Engineering, 22 11: 777-793. doi:10.1109/32.553698 124   85 Cited 126 times in Scopus126 0
Shukla, Rakesh, Strooper, Paul and Carrington, David (2007) A framework for statistical testing of software components. International Journal of Software Engineering And Knowledge Engineering, 17 3: 379-405. doi:10.1142/S021819400700329X 150   0 Cited 0 times in Scopus0 0
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001) A framework for subsystem-based configuration management. SVRC Tech Report 01-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 43  
Kromodimoeljo, Sentot (2013) A framework for symbolic LTL model checking. ITEE Technical Report 2013-04, School of Information Technol and Elec Engineering. 34 40
Miller, Tim and Strooper, Paul (2002) A Framework for Systematic Specification Animation. Technical Report 02-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 318 627
Daley, N., Hoffman, D. and Strooper, P. (2002) A framework for table driven testing of Java classes. Software: Practice & Experience, 32 5: 465-493. doi:10.1002/spe.452 129   9 Cited 9 times in Scopus9 0
Lu, M., Dong, Z. Y. and Saha, T. K. (2005). A Framework for Transmission Planning in a Competitive Electricity Market. In: IEEE Power Engineering Society, Proceedings of the 2005 IEEE/PES Transmission and Distribution Conference & Exhibition: Asia and Pacific. 2005 IEEE/PES Transmission and Distribution Conference & Exhibition: Asia Pacific, Dalian, China, (). 14-18 August, 2005. 581 1848
Sadegh, Payman, Concha, Julio, Stricevic, Slaven, Thompson, Adrian and Kootsookos, Peter (2006). A Framework for Unified Design of Fault Detection and Isolation and Optimal Maintenance Policies. In: American Control Conference, Minneapolis, Minnesota, USA, (). 14-16 June, 2006. 278 544
Limbu, T. R. and Saha, T K (2006). A framework of generation investment analysis in a deregulated electricity market using financial price model. In: Conference Proceedings of the 2006 Australasian Universities Power Engineering Conference. Australasian Universities Power Engineering Conference 2006, Melbourne, Australia, (). 10-13 December, 2006. 122  
Gollapalli, Mohammed and Li, Xue (2013). A framework of Ontology Guided Data Linkage for evidence based knowledge extraction and information sharing. In: 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013. 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013, Brisbane, QLD, Australia, (294-297). 8-11 April 2013. doi:10.1109/ICDEW.2013.6547467 28 2 0 Cited 0 times in Scopus0 0
Hunter, Jane and Little, Suzanne (2005) A Framework to Enable the Semantic Inferencing and Querying of Multimedia Content. International Journal of Web Engineering and Technology, 2 2/3: 264-286. doi:10.1504/IJWET.2005.008487 287 118 Cited 7 times in Scopus7 0
Fong, Johnson, Indulska, Jadwiga and Robinson, Ricky (2013). A framework to support intelligibility in pervasive applications. In: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), San Diego, United States, (37-42). 18-22 March 2013. doi:10.1109/PerComW.2013.6529453 42   0 Cited 0 times in Scopus0 0
Tyapin, I., Hovland, G. and Brogardh, T. (2007). A fully geometric approach for the workspace area of the gantry-tau parallell kinematic manipulator. In: Hovland, G., The 13th IASTED International Conference. International Conference Robotics and Applications, Wurzburg, Germany, (437-444). 29-31 August, 2007. 48  
Song, H. and Bialkowski, M. E. (1999). A fully planar power combiner using microstrip patch arrays. In: IEEE Antennas and Propagation Society International Symposium. APS'99, Orlando, Florida, (2398-2401). 11-16 July 1999. 60  
Han, Liqi, Gresshoff, Peter M. and Hanan, Jim (2011) A functional-structural modelling approach to autoregulation of nodulation. Annals of Botany, 107 5: 855-863. doi:10.1093/aob/mcq182 100   6 Cited 8 times in Scopus8 0
Nguyen Nhu, S and Orlowska, M E (2006). A further study in the data partitioning approach for frequent itemsets mining. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Tasmania, Australia, (31-37). 16-19 January, 2006. 60  
Chen, Xia and Orlowska, Maria (2005). A further study on inverse frequent set mining. In: Xue Li, Shuliang Wang and Zhao Yang Dong, Proceedings of the First International Conference on Advanced Data Mining and Applications (ADMA2005). First International Conference on Advanced Data Mining and Applications (ADMA 2005), Wuhan, China, (753-760). 22-24 July 2005. doi:10.1007/11527503_89 68   3 Cited 2 times in Scopus2 0
Hanmandlu, Madasu, Madasu, Vamsi Krishna and Vasikarla, Shantaram (2004). A fuzzy approach to texture segmentation. In: P. Srimani, Proceedings of the International Conference on Information Technology: Coding and Computing (ITTC 2004). The International Conference on Information Technology: Coding and Computing (ITTC 2004), Las Vegas, U.S.A., (636-642). 5-7 April 2004. doi:10.1109/ITCC.2004.1286537 58   0 Cited 19 times in Scopus19 0
Thapar, Alok, Saha, Tapan K. and Dong, Zhao Yang (2003). A fuzzy logic based recognition technique for power quality categorization. In: R. Duke, Proceedings of the Australasian Universities Power Engineering Conference. Australasian Universities Power Engineering Conference, Christchurch, New Zealand, (-6). 28 September-1 October, 2003. 689 1113

Page 7 of 145

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  next › last »