"Bing Li,Junichi Iijima","A Survey on Application of Situation Calculus in Business Information Systems","The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems","Proceedings of the 2007 International Conference on Convergence Information Technology","IEEE Computer Society  Washington, DC, USA",,,"pp. 425-431",2007,Nov.
"Bing Li,Junichi Iijima","A Hybrid Approach for Business Process Verification","The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems","IFIP International Federation for Information Processing","Springer Boston","Vol. 254",,"pp. 1-9",2007,Oct.
"Bing Li,Junichi Iijima","Architecture on a Hybrid Business ProcessDesign and Verification System","2007 International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007)","Proceedings of 2007 International Conference on Wireless Communications, Networking and Mobile Computing",,,,"pp. 6193 - 6198",2007,Sept.
"Bing Li,Junichi Iijima","A situation calculus based approach to dynamic management of e-business services",,"Journal of Systems Science and Systems Engineering","Systems Engineering Society of China, co-published with Springer-Verlag GmbH","Vol. 16","No. 3","pp. 336-355",2007,Sept.
"Bing Li,Junichi Iijima","Dynamic Management of e-Business Services: A Situation Calculus Based Approach","2007 International Conference on Service Systems and Service Management","Proceedings of 2007 International Conference on Service Systems and Service Management",,,,"pp. 765-768",2007,June
"Bing Li,Junichi Iijima","Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification","the 9th International Conference on Enterprise Information Systems","Proceedings of the 9th International Conference on Enterprise Information Systems",,,,"pp. 151-156",2007,June