 | 2009 |
|---|
| 7 |       | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry:
Creating automated plans for Semantic Web applications through planning as model checking.
Expert Syst. Appl. 36(7): 10595-10603 (2009) |
| 2007 |
|---|
| 6 | | James V. Hansen,
James B. McDonald,
Conan C. Albrecht,
Douglas L. Dean,
Bonnie Brinton Anderson:
A Semantic Web data retrieval implementation with an adaptive model for supporting agent decision structures.
Electronic Commerce Research 7(1): 5-16 (2007) |
| 2006 |
|---|
| 5 | | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
The application of model checking for securing e-commerce transactions.
Commun. ACM 49(6): 97-101 (2006) |
| 4 | | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Standards and verification for fair-exchange and atomicity in e-commerce transactions.
Inf. Sci. 176(8): 1045-1066 (2006) |
| 2005 |
|---|
| 3 | | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Model checking for design and assurance of e-Business processes.
Decision Support Systems 39(3): 333-344 (2005) |
| 2 | | Bonnie Brinton Anderson,
James V. Hansen,
Paul Benjamin Lowry,
Scott L. Summers:
Model checking for E-business control and assurance.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 35(3): 445-450 (2005) |
| 2002 |
|---|
| 1 | | Bonnie Brinton Anderson,
Akhilesh Bajaj,
Wilpen Gorr:
An estimation of the decision models of senior IS managers when evaluating the external quality of organizational software.
Journal of Systems and Software 61(1): 59-75 (2002) |
