Artie Basukoski
Senior Lecturer
Computer Science
Fashion Design University of Westminster
United Kingdom
Biography
BSc Computing Science, University of Technology, Sydney (UTS) MSc Advanced Computer Science, University of Westminster PhD Computer Science (University of Westminster) Implemented trading systems for Union Bank of Switzerland(UBS). Managed regional networking projects for Citibank.
Research Interest
Process Mining Distributed and parallel architectures. Specification and verification of software Computability and complexity theory
Publications
-
A clausal resolution method for branching-time logic ECTL+ (2006) Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263.
-
2006 A clausal resolution method for extended computation tree logic ECTL (2006) Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic. 4 (2), pp. 141-167.
