Concepedia

Ian Bayley

IB

Statistics

Publications

15

Citations

424

H-Index

13

Active since

2004

Affiliations

Oxford Brookes University(Current)

Nanjing University of Science and Technology

Hubei University of Technology

Ian Bayley is an author at Oxford Brookes University specializing in computing, computer science, and formal methods.

Publications per year

2004–2020

15

Publications

15

Formal specification of the variants and behavioural features of design patterns

Ian Bayley, Hong Zhu · Journal of Systems and Software · 2009 · 62 citations

Computing, Computer Science, Design Automation +13

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support

Daniel Brown, Arantza Aldea, Rachel Harrison et al. · Artificial Intelligence in Medicine · 2017 · 50 citations · Full text

Computing, Biomedical Informatics, Health Informatics +14

Formalising Design Patterns in Predicate Logic

Ian Bayley · 2007 · 39 citations · Full text

Computing, Computer Science, Design +16

On the Composition of Design Patterns

Ian Bayley, Hong Zhu · 2008 · 36 citations · Full text

Arts, Design, Design Automation +9

Tool Support for Design Pattern Recognition at Model Level

Hong Zhu, Ian Bayley, Lijun Shan et al. · 2009 · 34 citations

Computing, Computer Science, Diagramming +15

1–5 of 15