4609 Information systems

< Back to all Subject/college/research areas
Number of items at this level: 77.
Group by: Item type | Creators | Date

19 December 2007

Daneshgar, Farhad ORCID: 0000-0002-0356-0981 and Parirokh, Mehri (2007) A knowledge schema for organisational learning in academic libraries. Knowledge Management Research and Practice, 5 (1). pp. 22-33. ISSN 1477-8238

2008

Daneshgar, Farhad ORCID: 0000-0002-0356-0981 and Hooper, S (2008) Sociological factors affecting trust development in virtual communities. International Journal of Networking and Virtual Organisations, 5 (1). pp. 51-63. ISSN 1470-9503

Daneshgar, Farhad ORCID: 0000-0002-0356-0981, Ramarathinam, K and Ray, PK (2008) Representation of knowledge in Information Technology Service Capability Maturity Model (IT Service CMM). In: RCIS 2008, 3 Jun 2008 - 6 Jun 2008, Marrakech, Morocco.

Daneshgar, Farhad ORCID: 0000-0002-0356-0981, Toorn, CV and Cha, SCE (2008) E-Learning in workplaces. In: ITI 6th International Conference on Information and Communications Technology, 16 Dec 2008 - 18 Dec 2008, Cairo, Egypt.

2009

Ghobadi, Shahla and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2009) Managing incompatible impacts of organizational values on knowledge sharing. In: 10th European Conference on Knowledge Management 2009 (ECKM 2009), 3 Sep 2009 - 4 Sep 2009, Vicenza, Italy.

15 September 2009

Ghobadi, Shahla and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2009) A conceptual model for managing incompatible impacts of organisational structures on awareness levels. Knowledge Management Research and Practice, 8 (3). pp. 256-264. ISSN 1477-8238

2010

Ghobadi, Shahla, Daneshgar, Farhad ORCID: 0000-0002-0356-0981 and Low, G (2010) A model of cross-functional coopetition in software development project teams. In: 13th International Conference on Business Information Systems - BIS 2010, 3 May 2010 - 5 May 2010, Berlin, Germany.

Pang, Patrick ORCID: 0000-0002-8820-5443 and Biuk-Aghai, RP (2010) A method for category similarity calculation in wikis. In: WikiSym 2010, the 6th International Symposium on Wikis and Open Collaboration, 7 Jul 2010 - 9 Jul 2010, Gdańsk, Poland.

Seyyedeh, N and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2010) What drives organizations to share knowledge with their supply chain partners? In: 18th European Conference on Information Systems, ECIS 2010, 7 June 2010 - 9 June 2010, Pretoria, South Africa.

1 April 2010

Daneshgar, Farhad ORCID: 0000-0002-0356-0981, Van Toorn, C and Hsu, J (2010) Investigating e-Learner Satisfaction in the Workplace. Bulletin of the Technical Committee on Learning Technology, 12 (2). pp. 20-22. ISSN 2306-0212

2011

Awan, A and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2011) A methodology for development of a model warehouse for identifying innovative services in academic libraries. In: 5th International Conference on New Trends in Information Science and Service Science, NISS 2011, 24 Oct 2011 - 26 Oct 2011, Macao.

Biuk-Aghai, RP, Pang, Patrick ORCID: 0000-0002-8820-5443 and Cheang, FHH (2011) Visualization of large category hierarchies. In: VINCI'11 - 2011 Visual Information Communication - International Symposium, 4 Aug 2011 - 5 Aug 2011, Hong Kong.

Mirkazemi, M, Daneshgar, Farhad ORCID: 0000-0002-0356-0981, Mood, MM, Sarabi, N and Youshanlouei, HR (2011) Using a FuzzyQFD approach for successful implementation of knowledge management. In: 12th Annual European Conference on Knowledge Management (ECKM), 1 Sep 2011 - 2 Sep 2011, Germany.

Pang, Patrick ORCID: 0000-0002-8820-5443 and Biuk-Aghai, RP (2011) Wikipedia world map: Method and application of map-like wiki visualization. In: WikiSym 2011, 3 Oct 2011 - 5 Oct 2011, Mountain View, California.

Worasinchai, L and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2011) A Sense-Making Analysis of Knowledge Transfer in Global Supply Chain Relationships: Case of Scientific Equipment Resellers in Thailand. In: ICICKM 2011, 27 Oct 2011 - 28 Oct 2011, Bangkok, Thailand.

Youshanloui, KR, Daneshgar, Farhad ORCID: 0000-0002-0356-0981, Sarabi, N, Youshanlouei, HR and Mood, MM (2011) An intelligent model to assess organizational maturity for implementation of knowledge management. In: 12th European Conference on Knowledge Management - ECKM 2011, 1 Sep 2011 - 2 Sep 2011, Passau, Germany.

1 January 2011

Hussain, Walayat ORCID: 0000-0003-0610-4006, Sohaib, Osama ORCID: 0000-0001-9287-5995, Ahmed, Atiq ORCID: 0000-0002-4789-9151 and Khattak, Bilal Shams (2011) Comparative study of WCAG 2.0, IBM Web 5.1 and Section 508-1194.22 for Lower-Literate Web-Users to enhance Content Usability. In: International Conference on Future Information Technology (ICFIT 2011), 16 Sep - 18 Sep 2011, Singapore.

22 February 2011

Daneshgar, Farhad ORCID: 0000-0002-0356-0981 and Chattopadhyay, S (2011) A framework for crisis management in developing countries. Intelligent Decision Technologies, 5 (2). pp. 189-199. ISSN 1872-4981

15 December 2011

Pang, Patrick ORCID: 0000-0002-8820-5443 and Biuk-Aghai, RP (2011) Map-like Wikipedia overview visualization. In: CTS 2011, 23 May 2011 - 27 May 2011, Philadelphia, Pennsylvania, USA.

2012

Hussain, Shumaila and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2012) Incorporating usability factor in readability formula to enhance web readability. Science Technology and Development, 31 (1). pp. 74-81. ISSN 0950-0707

Hussain, Walayat ORCID: 0000-0003-0610-4006, Sohaib, Osama ORCID: 0000-0001-9287-5995, Ahmed, Aftab and Khan, Muhammad Qasim (2012) Geographical information system based model of land suitability for good yield of rice in Prachuap Khiri Khan Province, Thailand. Science Technology and Development, 31 (1). pp. 1-9. ISSN 0950-0707

29 March 2012

Shaikh, Atfab Ahmed, Hussain, Walayat ORCID: 0000-0003-0610-4006 and Kamran, Ali (2012) Logic formulation and evaluation of academic constraints. International Journal of Basic and Applied Sciences, 1 (1). pp. 26-39. ISSN 2227-5053

27 April 2012

Manzoor, Mirfa, Hussain, Walayat ORCID: 0000-0003-0610-4006, Ahmed, Atfab and Iqbal, Muhammad ORCID: 0000-0001-8002-0551 (2012) The importance of higher education website and its usability. International Journal of Basic and Applied Sciences, 1 (2). pp. 150-163. ISSN 2227-5053

4 September 2013

Saeed, Nausheen, Nasim, Farrukh, Amin, Dr.Riaz ul and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2013) In VANET single Network types i.e. WAVE is not sufficient to provide QoS. UMTS in integration with WAVE can provide efficient network connectivity – a survey. International Journal of Basic and Applied Sciences, 2 (4). pp. 275-280. ISSN 2227-5053

2014

Pang, Patrick ORCID: 0000-0002-8820-5443, Chang, Shanton, Pearce, J and Verspoor, K (2014) Online health information seeking behaviour: Understanding different search approaches. In: PACIS 2014, 24 June 2014 - 28 June 2014, Chengdu, China.

Pang, Patrick ORCID: 0000-0002-8820-5443, Verspoor, K, Chang, Shanton and Pearce, J (2014) Designing for health exploratory seeking behaviour. In: SIGIR 2014, 6 July - 11 July 2014, Gold Coast, Australia.

1 January 2014

Schlagwein, Daniel and Daneshgar, Farhad ORCID: 0000-0002-0356-0981 (2014) User requirements of a crowd sourcing platform for researchers: findings from a series of focus groups. In: Pacific Asia Conference on Information Systems (PACIS) 2014, 24 Jun - 28 Jun 2014, Chengdu, China.

February 2014

Biuk-Aghai, RP, Pang, Patrick ORCID: 0000-0002-8820-5443 and Si, YW (2014) Visualizing large-scale human collaboration in Wikipedia. Future Generation Computer Systems, 31 (1). pp. 120-133. ISSN 0167-739X

2015

Pang, Patrick ORCID: 0000-0002-8820-5443, Verspoor, K, Chang, Shanton and Pearce, J (2015) Better health information exploration. In: APCHIUX 2015, 7 Dec 2015 - 10 Dec 2015, Melbourne; Australia.

Pang, Patrick ORCID: 0000-0002-8820-5443, Verspoor, K, Chang, Shanton and Pearce, J (2015) Conceptualising health information seeking behaviours and exploratory search: result of a qualitative study. Health and Technology, 5 (1). pp. 45-55. ISSN 2190-7188

Pang, Patrick ORCID: 0000-0002-8820-5443, Verspoor, K, Pearce, J and Chang, Shanton (2015) Better health explorer: Designing for health information seekers. In: OzCHI 2015, 7 Dec 2015 – 10 Dec 2015, Melbourne, Australia.

December 2015

Biuk-Aghai, RP, Yang, M, Pang, Patrick ORCID: 0000-0002-8820-5443, Ao, WH, Fong, S and Si, YW (2015) A map-like visualisation method based on liquid modelling. Journal of Visual Languages and Computing, 31 (Part A). pp. 87-103. ISSN 1045-926X

2016

Pang, Patrick ORCID: 0000-0002-8820-5443, Biuk-Aghai, RP and Yang, M (2016) What makes you think this is a map?: Suggestions for creating map-like visualisations. In: VINCI 2016, 24 Sept 2016 - 26 Sept 2016, Dallas, TX, USA.

Pang, Patrick ORCID: 0000-0002-8820-5443, Chang, Shanton, Verspoor, K and Pearce, J (2016) Innovation in designing health information websites: Results from a quantitative study. In: PACIS 2016, 27 June 2016 - 01 July 2016, Chiayi, Taiwan.

Pang, Patrick ORCID: 0000-0002-8820-5443, Harrop, M, Verspoor, K, Pearce, J and Chang, Shanton (2016) What are health website visitors doing? Insights from visualisations towards exploratory search. In: OzCHI 2016, 29 Nov 2016 - 2 Dec 2016, Launceston, Tasmania, Australia.

Pang, Patrick ORCID: 0000-0002-8820-5443, Verspoor, K, Pearce, J and Chang, Shanton (2016) Finding and exploring health information with a slider-based user interface. In: Digital Health Innovation for Consumers, Clinicians, Connectivity: Selected Papers from the 24th Australian National Health Informatics Conference (HIC 2016). Georgiou, A, Schaper, LK and Whetton, S, eds. Studies in Health Technology and Informatics, 227 . IOS Press, Netherlands, pp. 106-112.

1 March 2016

Mao, B, He, Jing, Cao, J, Gao, W and Pan, D (2016) Food traceability system based on 3D city models and deep learning. Annals of Data Science, 3 (1). pp. 89-100. ISSN 2198-5804

June 2016

Pang, Patrick ORCID: 0000-0002-8820-5443, Chang, Shanton, Verspoor, K and Pearce, J (2016) Designing health websites based on users' web-based information-seeking behaviors: A mixed-method observational study. Journal of Medical Internet Research, 18 (6). ISSN 1438-8871

1 December 2016

Hussain, Walayat ORCID: 0000-0003-0610-4006, Hussain, FK, Hussain, OK and Chang, E (2016) Provider-based optimized personalized viable SLA (OPV-SLA) framework to prevent SLA violation. The Computer Journal, 59 (12). pp. 1760-1783. ISSN 0010-4620

2017

Biuk-Aghai, RP, Pang, Patrick ORCID: 0000-0002-8820-5443 and Pang, B (2017) Map-like visualisations vs. treemaps - An experimental comparison. In: VINCI 2017, 14 Aug 2017 - 16 Aug 2017, Bangkok, Thailand.

Pang, Patrick ORCID: 0000-0002-8820-5443, Clavisi, O and Chang, Shanton (2017) Engaging consumers with musculoskeletal conditions in health research: A user-centred perspective. In: Integrating and Connecting Care: Selected Papers from the 25th Australian National Health Informatics Conference (HIC 2017). Ryan, A, Schaper, LK and Whetton, S, eds. Studies in Health Technology and Informatics, 239 . IOS Press, Netherlands, pp. 104-111.

1 March 2017

Hussain, Walayat ORCID: 0000-0003-0610-4006, Hussain, OK, Hussain, FK and Khan, Muhammad Qasim (2017) Usability evaluation of English, local and plain languages to enhance on-screen text readability: a use case of Pakistan. Global Journal of Flexible Systems Management, 18 (1). pp. 33-49. ISSN 0972-2696

1 November 2017

Hussain, Walayat ORCID: 0000-0003-0610-4006, Hussain, FK, Hussain, OK, Damiani, Ernesto and Chang, E (2017) Formulating and managing viable SLAs in cloud computing from a small to medium service provider's viewpoint: a state-of-the-art review. Information Systems, 71. pp. 240-259. ISSN 0306-4379

December 2017

Pang, Patrick ORCID: 0000-0002-8820-5443, Biuk-Aghai, RP, Yang, M and Pang, B (2017) Creating realistic map-like visualisations: Results from user studies. Journal of Visual Languages and Computing, 43. pp. 60-70. ISSN 1045-926X

October 2018

Pang, Patrick ORCID: 0000-0002-8820-5443, Chang, Shanton, Verspoor, K and Clavisi, O (2018) The use of web-based technologies in health research participation: Qualitative study of consumer and researcher experiences. Journal of Medical Internet Research, 20 (10). ISSN 1438-8871

2019

Neagoe, M, Taskhiri, Mohammad Sadegh ORCID: 0000-0002-9871-361X, Turner, P and Hvolby, H-H (2019) Using discrete-event simulation to explore the impact of user behaviours on the effectiveness of a terminal appointment system. In: ESM 2019, 28 October 2-19 - 30 Oct 2019, Palma de Mallorca, Spain.

1 January 2019

Ghanbarzadeh, Reza and Ghapanchi, Amir ORCID: 0000-0002-1897-0748 (2019) Antecedents and Consequences of User Acceptance of Three-Dimensional Virtual Worlds in Higher Education. Journal of Information Technology Education: Research, 19. pp. 855-859. ISSN 1547-9714

1 December 2019

Aljarboa, Soliman and Miah, Md Shah Jahan M ORCID: 0000-0002-3783-8769 (2019) Investigating acceptance factors of Clinical Decision Support Systems in a developing country context. In: 2019 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 9 Dec - 11 Dec 2019.

Almtiri, Ziad HA and Miah, Md Shah Jahan M ORCID: 0000-0002-3783-8769 (2019) Impact of e-commence technology adoption in Dubai SMEs. In: 2019 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 9 Dec - 11 Dec 2019, Melbourne, Australia.

2020

Halabi-Echeverry, AX ORCID: 0000-0002-8862-1543, Nino-Vergara, HL ORCID: 0000-0002-4671-0978, Obregon-Neira, N and Islam, Sardar M. N ORCID: 0000-0001-9451-7390 (2020) Blockchain for data sharing in the rational use of coastlines and seaport demands in inter-organizational networks: Development of a new intelligent decision support system. In: Conference on Innovative Technologies in Intelligent Systems and Industrial Applications (CITISIA 2020), 25 Nov 2020 - 27 Nov 2020, Sydney, Australia.

1 January 2020

Chenthara, Shekha ORCID: 0000-0003-0338-8728, Ahmed, Khandakar ORCID: 0000-0003-1043-2029, Wang, Hua ORCID: 0000-0002-8465-0996 and Whittaker, Frank ORCID: 0000-0002-3728-0291 (2020) A novel blockchain based smart contract system for ereferral in healthcare: HealthChain. In: 9th International Conference, HIS 2020, , October 20–23, 2020, Oct 20 – Oct 23 2020, Amsterdam, The Netherlands.

7 January 2020

Pang, Patrick ORCID: 0000-0002-8820-5443 and Liu, Libo (2020) Why Do Consumers Review Doctors Online? Topic Modeling Analysis of Positive and Negative Reviews on an Online Health Community in China. In: Hawaii International Conference on System Sciences 2020, 7 Jan 2020 - 10 Jan 2020, Maui, Hawaii, USA.

February 2020

Goltz, Nachshon, Zeleznikow, John ORCID: 0000-0002-8786-2644 and Dowdeswell, Tracey (2020) From the Tree of Knowledge and the Golem of Prague to Kosher Autonomous cars : The Ethics of Artificial Intelligence Through Jewish Eyes. Oxford Journal of Law and Religion, 9 (1). pp. 132-156. ISSN 2047-0789

21 May 2020

Prokofieva, Maria ORCID: 0000-0003-1974-3827 and Miah, Shah Jahan ORCID: 0000-0002-3783-8769 (2020) Promoting social media analytics in capital raising: a design science-based approach. Social Network Analysis and Mining, 10. ISSN 1869-5450

8 October 2020

Vimalachandran, Pasupathy, Liu, Hong, Lin, Yongzheng, Ji, Ke, Wang, Hua ORCID: 0000-0002-8465-0996 and Zhang, Yanchun ORCID: 0000-0002-5094-5980 (2020) Improving accessibility of the Australian My Health Records while preserving privacy and security of the system. Health Information Science and Systems, 8. ISSN 2047-2501

23 October 2020

Burgess, Stephen ORCID: 0000-0001-8998-9772, Parker, Craig M and Bingley, Scott ORCID: 0000-0002-9188-5136 (2020) Mapping the online presence of small local sporting clubs. Journal of the Association for Information Science and Technology, 72 (4). pp. 433-448. ISSN 2330-1635

2021

Aljarboa, Soliman and Miah, Shah Jahan ORCID: 0000-0002-3783-8769 (2021) Acceptance of clinical decision support systems in Saudi healthcare organisations. Information Development. ISSN 0266-6669

Chenthara, Shekha ORCID: 0000-0003-0338-8728 (2021) Privacy Preservation of Electronic Health Records Using Blockchain Technology: Healthchain. PhD thesis, Victoria University.

Ghapanchi, Amir ORCID: 0000-0002-1897-0748, Purarjomandlangrudi, A and Miao, Yuan ORCID: 0000-0002-6712-3465 (2021) Does students' adoption of block mode of teaching boost positive learning outcomes in tertiary sector? In: ISECON 2021, 9 October 2021, Virtual Conference.

Masmali, Feisal Hadi and Miah, Shah Jahan ORCID: 0000-0002-3783-8769 (2021) Internet of Things Adoption for Saudi Healthcare Services. Pacific Asia Journal of the Association for Information Systems, 13 (3). pp. 113-130. ISSN 1943-7536

Shen, Yue (2021) What Universities Can Learn from YouTube, from the Perspective of User Experience (UX). PhD thesis, Victoria University.

11 March 2021

Ghapanchi, Amir ORCID: 0000-0002-1897-0748, Purarjomandlangrudi, Afrooz and Miao, Yuan ORCID: 0000-0002-6712-3465 (2021) Uncovering the impact of university students' adoption of Learning Management Systems on positive learning outcomes. In: 24th International Conference Information Visualisation (IV), 7 Sep - 11 Sep 2020, Melbourne, Australia.

28 April 2021

Aljarboa, Soliman and Miah, Md Shah Jahan M ORCID: 0000-0002-3783-8769 (2021) Assessing the Acceptance of Clinical Decision Support Tools using an Integrated Technology Acceptance Model. In: 2020 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 16 Dec - 18 Dec 2020, Gold Coast, Australia.

Almtiri, Ziad HA and Miah, Md Shah Jahan M ORCID: 0000-0002-3783-8769 (2021) Impact of Business technologies on the success of E-commerce Strategies: SMEs Perspective. In: 2020 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 16 Dec - 18 Dec 2020, Queensland, Australia.

Masmali, Feisal Hadi, Miah, Md Shah Jahan M ORCID: 0000-0002-3783-8769 and Mathkoor, Nada Yahya (2021) Internet of Things-based innovations in Saudi healthcare sector: a methodological approach for investigating adoption issues. In: 2020 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE), 16 Dec - 18 Dec 2020, Queensland, Australia.

4 June 2021

Schelling, Xavier, Fernández, Jose, Ward, Patrick, Fernández, Javier and Robertson, Samuel ORCID: 0000-0002-8330-0011 (2021) Decision Support System Applications for Scheduling in Professional Team Sport. The Team's Perspective. Frontiers in Sports and Active Living, 3. ISSN 2624-9367

July 2021

Fahd, K, Miah, Shah Jahan ORCID: 0000-0002-3783-8769, Ahmed, Khandakar ORCID: 0000-0003-1043-2029, Venkatraman, S and Miao, Yuan ORCID: 0000-0002-6712-3465 (2021) Integrating design science research and design based research frameworks for developing education support systems. Education and Information Technologies, 26 (4). pp. 4027-4048. ISSN 1360-2357

September 2021

Muhammad, Jika Saidu, Isa, Azman Mat, Shamsuddin, A and Miah, Shah Jahan ORCID: 0000-0002-3783-8769 (2021) Constituent of information governance framework for a successful implementation in Nigerian Universities. Education and Information Technologies, 26 (5). pp. 6447-6460. ISSN 1360-2357

20 October 2021

Ghanbarzadeh, Reza ORCID: 0000-0001-9073-1576 and Hossein Ghapanchi, Amir (2021) A study of University students' adoption of 3D online immersive worlds. In: InSITE 2022: Informing Science + IT Education Conferences, Jul 6 - Jul 7 2022, Online.

8 November 2021

Hussain, Walayat ORCID: 0000-0003-0610-4006, Merigó, Jose M and Raza, Muhammad Raheel (2021) Predictive intelligence using ANFIS-induced OWAWA for complex stock market prediction. International Journal of Intelligent Systems, 37 (8). pp. 4586-4611. ISSN 0884-8173

23 November 2021

Thi Thao Trinh, Nguyen, Ghapanchi, Amir ORCID: 0000-0002-1897-0748 and Purarjomandlangrudi, Afrooz (2021) Lessons learnt from implementation of Block Mode of Teaching in Universities. In: The 38th International Business Information Management Association (IBIMA), 23 Nov - 24 Nov 2021, Spain.

29 November 2021

Dwyer, Natasha ORCID: 0000-0002-0393-9836, Miller-Bakewell, Hector, Darbyshire, Tessa, Basu, Anirban and Marsh, Steve (2021) The ethical implications of using digital traces: studying explainability and trust during a pandemic. In: Qualitative and Digital Research in Times of Crisis: Methods, Reflexivity and Ethics. Kara, Helen and Khoo, Su-ming, eds. Bristol University Press, pp. 129-142.

2022

Miah, Shah Jahan ORCID: 0000-0002-3783-8769, Camilleri, E and Vu, Huy Quan ORCID: 0000-0003-1947-2879 (2022) Big Data in Healthcare Research: A survey study. Journal of Computer Information Systems, 62 (3). pp. 480-492. ISSN 0887-4417

Sianaki, Omid ORCID: 0000-0001-8289-3452 and Peiris, S (2022) The Impact of the Blockchain Technology on the Smart Grid Customer Domain: Toward the Achievement of the Sustainable Development Goals (SDGs) of the United Nations. In: 36th International Conference on Advanced Information Networking and Applications (AINA-2022), 13 April - 15 April 2022, Online.

20 January 2022

Maxwell, Christina and Wilson-Evered, Elisabeth ORCID: 0000-0002-9053-0683 (2022) Brief literature review on the effects of exercise on mental illness. Project Report. AusActive, New South Wales, Australia.

8 July 2022

Ali, Arif and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2022) Challenges and issues of the Internet of Things: factoring elements from the social, political and information systems. In: IoT as a Service. Hussain, Walayat and Jan, Mian A, eds. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (421). Springer, Germany, pp. 73-83.

2023

Gao, Honghao, Dai, Baobin, Miao, Huaikou, Yang, Xiaoxian, Barroso, Ramon J Duran and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2023) A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Transactions on Multimedia Computing, Communications, and Applications. pp. 1-23. ISSN 1551-6857