OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Formal refinement of informal GUI design artefacts
Judy Bowen, Steve Reeves
(2006), pp. 10 pp.-230
Closed Access | Times Cited: 19
Judy Bowen, Steve Reeves
(2006), pp. 10 pp.-230
Closed Access | Times Cited: 19
Showing 19 citing articles:
Formal models for user interface design artefacts
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 125-141
Closed Access | Times Cited: 37
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 125-141
Closed Access | Times Cited: 37
Formal Models for Informal GUI Designs
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science (2007) Vol. 183, pp. 57-72
Open Access | Times Cited: 32
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science (2007) Vol. 183, pp. 57-72
Open Access | Times Cited: 32
Generating Obligations, Assertions and Tests from UI Models
Judy Bowen, Steve Reeves
Proceedings of the ACM on Human-Computer Interaction (2017) Vol. 1, Iss. EICS, pp. 1-18
Closed Access | Times Cited: 17
Judy Bowen, Steve Reeves
Proceedings of the ACM on Human-Computer Interaction (2017) Vol. 1, Iss. EICS, pp. 1-18
Closed Access | Times Cited: 17
Combining Models for Interactive System Modelling
Judy Bowen, Steve Reeves
Human-computer interaction series (2017), pp. 161-182
Closed Access | Times Cited: 14
Judy Bowen, Steve Reeves
Human-computer interaction series (2017), pp. 161-182
Closed Access | Times Cited: 14
State of the Art on Formal Methods for Interactive Systems
Raquel Oliveira, Philippe Palanque, Benjamin Weyers, et al.
Human-computer interaction series (2017), pp. 3-55
Open Access | Times Cited: 13
Raquel Oliveira, Philippe Palanque, Benjamin Weyers, et al.
Human-computer interaction series (2017), pp. 3-55
Open Access | Times Cited: 13
Refinement for User Interface Designs
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science (2008) Vol. 208, pp. 5-22
Open Access | Times Cited: 16
Judy Bowen, Steve Reeves
Electronic Notes in Theoretical Computer Science (2008) Vol. 208, pp. 5-22
Open Access | Times Cited: 16
A semi-formal framework for describing interaction design spaces
Judy Bowen, Anke Dittmar
(2016), pp. 229-238
Open Access | Times Cited: 11
Judy Bowen, Anke Dittmar
(2016), pp. 229-238
Open Access | Times Cited: 11
Using Formal Models to Design User Interfaces A Case Study
Judy Bowen, Steve Reeves
Electronic workshops in computing (2007)
Open Access | Times Cited: 13
Judy Bowen, Steve Reeves
Electronic workshops in computing (2007)
Open Access | Times Cited: 13
Using Storyboards to Integrate Models and Informal Design Knowledge
Mieke Haesen, Jan Van den Bergh, Jan Meskens, et al.
Studies in computational intelligence (2011), pp. 87-106
Open Access | Times Cited: 9
Mieke Haesen, Jan Van den Bergh, Jan Meskens, et al.
Studies in computational intelligence (2011), pp. 87-106
Open Access | Times Cited: 9
A formal methods approach to semiotic engineering
Andrew J. Abbate, Ellen J. Bass
International Journal of Human-Computer Studies (2018) Vol. 115, pp. 20-39
Closed Access | Times Cited: 8
Andrew J. Abbate, Ellen J. Bass
International Journal of Human-Computer Studies (2018) Vol. 115, pp. 20-39
Closed Access | Times Cited: 8
Refinement for user interface designs
Judy Bowen, Steve Reeves
Formal Aspects of Computing (2008) Vol. 21, Iss. 6, pp. 589-612
Open Access | Times Cited: 8
Judy Bowen, Steve Reeves
Formal Aspects of Computing (2008) Vol. 21, Iss. 6, pp. 589-612
Open Access | Times Cited: 8
Runtime user interface design and adaptation
David England, Martin Randles, A. Taleb-Bendiab
(2009), pp. 463-470
Closed Access | Times Cited: 7
David England, Martin Randles, A. Taleb-Bendiab
(2009), pp. 463-470
Closed Access | Times Cited: 7
Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants
Judy Bowen, Anke Dittmar
Lecture notes in computer science (2017), pp. 483-502
Open Access | Times Cited: 6
Judy Bowen, Anke Dittmar
Lecture notes in computer science (2017), pp. 483-502
Open Access | Times Cited: 6
A New Approach for Multi-device User Interface Design
Xudong Lü, Jiancheng Wan, Lei Lu
2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) (2007), pp. 648-656
Closed Access | Times Cited: 3
Xudong Lü, Jiancheng Wan, Lei Lu
2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) (2007), pp. 648-656
Closed Access | Times Cited: 3
Task Modelling Using Situation Calculus
Martin Randles, David England, A. Taleb-Bendiab
Lecture notes in computer science (2010), pp. 103-116
Closed Access | Times Cited: 2
Martin Randles, David England, A. Taleb-Bendiab
Lecture notes in computer science (2010), pp. 103-116
Closed Access | Times Cited: 2
Improving Usability of HTA Charts
Raja Jamilah Raja Yusof, Khairuddin Hashim
(2009), pp. 365-368
Closed Access | Times Cited: 2
Raja Jamilah Raja Yusof, Khairuddin Hashim
(2009), pp. 365-368
Closed Access | Times Cited: 2
Supporting Multi-path UI Development with Vertical Refinement
Judy Bowen, Steve Reeves
Australian Software Engineering Conference (2009), pp. 64-72
Closed Access | Times Cited: 2
Judy Bowen, Steve Reeves
Australian Software Engineering Conference (2009), pp. 64-72
Closed Access | Times Cited: 2
Runtime User Interface Design and Adaptation
David England, Martin Randles, A. Taleb-Bendiab
Electronic workshops in computing (2009)
Open Access | Times Cited: 2
David England, Martin Randles, A. Taleb-Bendiab
Electronic workshops in computing (2009)
Open Access | Times Cited: 2
Engineering Interactive Systems with Model-Driven Code Contracts
Judy Bowen, Steve Reeves
(2018), pp. 11-20
Closed Access
Judy Bowen, Steve Reeves
(2018), pp. 11-20
Closed Access
