
Research Publications
(a) Articles in Refereed Publications
 A. Hussain and W. MacCaull: Context aware service discovery and service enabled workflow. The 4th Canadian Semantic Web Symposium (CSWS 2013). Accepted.
 A. Rutle, F. Rabbi, W. MacCaull, Y. Lamo and X. Wang: UserFriendly Model Checking of Health Care Workflows. The 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Accepted.
 J. Faddoul and W. MacCaull:Parallelizing Algebraic Reasoning for the Description Logic SHOQ. The 4th Canadian Semantic Web Symposium (CSWS 2013). Accepted.
 F. Rabbi, W. MacCaull and R. U. Faruqui:A scalable ontology reasoner via incremental materialization and its application in a workflow management system. The 26th IEEE International Symposium on ComputerBased Medical Systems (CBMS 2013). Accepted.
 F. Rabbi and W. MacCaull: TSquare: A Domain Specific Language for Rapid Workflow Development. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Innsbruck, Austria (September, 2012). Proceedings, Lecture Notes in Computer Science, Volume 7590. pp. 3652.
 R. U. Faruqui and W. MacCaull: OwlOntDB: A Scalable Reasoning System for OWL 2 RL Ontologies, in Proc: FHIES 2012: International Symposium on Foundations of Health Information Engineering and Systems pp. 129144; revised version to appear Springer LNCS vol. 7789.
 M. Z. Islam and W. MacCaull: A OnePass TableauBased Workflow Verification Framework. In Proceedings of The Third Workshop on Practical Aspects of Automated Reasoning. PAAR12 associated with the 6th International Joint Conference on Automated Reasoning (IJCAR2012), Manchester, UK, pp. 5871.
 A. Rutle, H. Wang and W. MacCaull: A Formal Diagrammatic Approach to Compensable Workflow Modelling, in Proc: FHIES 2012, pp 8196; revised version to appear Springer LNCS vol. 7789.
 A. Rutle, H. Wang, W. MacCaull and Y. Lamo.: A Metamodelling Approach to Workflow Modelling. The 4th Workshop on Behavioural Modelling: Foundations and Applications (BMFA 2012), in the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), Denmark, ACM. (July, 2012). to apprear.
 F. Rabbi, W. MacCaull: Model Driven Workflow Development with TSquare. The 10th International Workshop on System/Software Architectures (IWSSA 2012), Gdan'sk, Poland (June, 2012). Proceedings, LNBIP, Volume 112, pp. 265279.
 H. Wang, A. Rutle, W. MacCaull. A Formal Diagrammatic Approach to Timed Workflow Modelling. The 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012), Beijing, China, IEEE CS. (July, 2012). IEEE CS, pp. 167174.
 Y. Lamo, X. Wang, F. Mantz, W. MacCaull and A. Rutle: DPF Editor: A Dynamic Diagrammatic (Meta)Modelling Environment. In the Special Session on Model Based Software Engineering (SSMBSE2012) which will be held in conjunction with ICIS'12, Shanghai (May, 2012). Studies in Computational Intelligence, Volume 429, pp. 3752, Springer 2012.
 F. Rabbi, H. Wang, W. MacCaull, A. Rutle: A Model Slicing Method for Workflow Verification. The 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), Satellite event of ETAPS, Tallinn, Estonia (March, 2012). to appear in ENTCS.
 A. Rakib, R. U. Faruqui, W. MacCaull: Verifying resource requirements for ontology driven rulebased agents. The 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Kiel, Germany (March, 2012) . Proceedings, Lecture Notes in Computer Science, Volume 7153. pp. 312331; extended version submitted: J. Logic and Algebraic Prog.
 C. Kuziemsky, H. Jewers, B. Appleby, N. Foshay, W. MacCaull, K. Miller and M. Macdonald:Information technology and hospice palliative care: social, cultural, ethical and technical implications in a rural setting. Journal of Informatics for Health and Social Care, 2011 pp. 3750.
 W. MacCaull and F. Rabbi:NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. In the Proceedings of 1st International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), Johannesburg, South Africa, (September 2011) pp. 7491. revised version published in LNCS 2012, Volume 7151, pp. 7592.
 F. Rabbi, A. Mashiyat and W. MacCaull:Model checking workflow monitors and its application to a pain management process.In the Proceedings of 1st International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), Johannesburg, South Africa, (September 2011) pp. 110127. revised version published in LNCS 2012, Volume 7151, pp. 111128.
 C. Cocos, W. MacCaull and F. Imam: Ontology Merging and Reasoning Using Paraconsistent Logics. In the International Journal of Knowledge Based Organizations (IJKBO Special Issue on best papers of ProHealth workshops). Volume 2. pp. 3551.
 N. Leyla and W. MacCaull,A Personalized Access Control Framework for Workflowbased Healthcare Information. In the 4th International Workshop on Processoriented Information Systems in Healthcare (ProHealth 2011), ClermontFerrand, France. Proceedings, LNBPM Volume 100, pp. 273284.
 A. S. Mashiyat, F. Rabbi, W. MacCaull: Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. In the 16th International Workshop on Formal Methods for Industrial Critical System (FMICS 2011), Lecture Notes in Computer Science, (2011), Volume 6959. pp. 244259.
 J.Ruan, W.MacCaull, and H. Jewers, Agentbased Careflow and Monitoring for Patientcentered Palliative Care, 6th Workshop on Agents Applied in Health Care A2HC, Casablanca, Morocco, held in conjunction with eHealth 2010 International Conference, (December 2010), Lecture Notes of the Institute for Computer Science, Social Informatics and Telecommunications Engineering (2010), Volume 69. pp. 285294.
 K.Miller and W.MacCaull, Model checking timed properties of healthcare processes, Journal of Software Maintenance and Evolution: Research and Practice, (June 2011), Volume 23, Issue 4, pp. 245260.
 W.MacCaull, H.Jewers and M. Latzel, Using an Interdisciplinary Approach to Develop a Knowledgedriven Careflow Management System for Collaborative Patientcentred Palliative Care, ACM IHI'10 Proceedings of 1st ACM International Conference on Health Informatics (November 2010), pp. 507511.
 F. Rabbi, H. Wang and W. MacCaull, Compensable WorkFlow Nets. Formal Methods and Software Engineering,12th International Conference on Formal Engineering Methods, (ICFEM 2010), Shanghai, China, November 1719, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6447, (2010), pp. 122137.
 N. Leyla, A. S. Mashiyat, H. Wang and W. MacCaull, Towards Workflow Verification. In the proceedings of 20th International Conference of the IBM Center for advanced Studies on Collaborative Research (CASCON 2010), pp. 253267.
 A. S. Mashiyat, F. Rabbi, H. Wang, and W. MacCaull, An Automated Translator for Model Checking Time Constrained Workflow Systems, In the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), Lecture Notes in Computer Science, (2010), Volume 6371. pp. 99114.
 C. Cocos, W. MacCaull, B. Kramer and M. Latzel: Ontology Based Approach to Decision Support for Healthcare Workflows, to appear Semantic Web J., issue: Real World Applications of OWL.
 C. Cocos and W.MacCaull,An Ontological Implementation of a RoleBased Access Control Policy for Health Care Information, in proceedings of 2nd Workshop of Ontologies in Biomedicine and Life Sciences, IMISEREPORT Nr. 2/2010 (September 2010), pp. 1317.
 J. Ruan and W. MacCaull, DataAware Monitoring For Healthcare Workflows Using Formal Methods. In Proceedings of The Second Workshop Knowledge Representation for Health Care (KR4HC2010),Lisbon, Portugal, (August 2010) ECAI 2010 Workshops, pp. 5160.
 J. Ruan, W. MacCaull and H. Jewers, Enhancing Patientcentered Palliative Care With Collaborative Agents. In Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology  Workshops (the Second International Workshop on Collaborative Agents REsearch and Development), Toronto, Canada, (2010), pp. 356360
 F. Rabbi, H. Wang and W. MacCaull, YAWL2DVE An Automated Translator for Workflow Verification, InProceedings of the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, (2010), pp. 5359.
 C. Cocos and W.MacCaull, Ontology Development with 4valued Implication Connectives, Proceedings of the International Workshop on Non Monotonic Reasoning, Toronto (2010).
 H. Wang and W. MacCaull, An Efficient Explicittime Description Method for Timed Model Checking, 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009), Eindhoven, The Netherlands, November, 2009. Electronic Notes in Theoretical Computer Science 14, (2009), pp. 7791.
 H. Wang and W. MacCaull, Verifying RealTime Systems using Explicittime Description Methods, Workshop on Quantitative Formal Methods: Theory and Applications, Eindhoven, The Netherlands, November 2009. Electronic Proceedings in Theoretical Computer Science 13, (2009), pp. 6779.
 K. Miller and W. MacCaull. Toward Webbased Careflow Management Systems, Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue: Ehealth Interoperability, C.Kuziemsky, N. Archer, L. Peyton Eds. V. 1, No. 2 (2009) pp. 137145.
 K. Miller and W. MacCaull, Verification of Careflow Management Systems with Timed BDI_{CTL} Logic. 3rd International Workshop on Processoriented Information Systems in Healthcare, (September 2009), In Lecture Notes in Business Information Processing, Springer 2010 Part 7, Vol. 43, pp. 623634.
 F. Imam, and W. MacCaull, Integrating Healthcare Ontologies: An Inconsistency Tolerant Approach and Case Study, Business Process Management Workshops, Lecture Notes in Business Information Processing, Springer Berlin Heidelberg, V. 17 (2009) 373384.
 J. Dallien, W. MacCaull, and A. Tien, Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care, Proceedings of the Fifth International Workshop on Modelbased Methodologies for Pervasive and Embedded Software, Colocated with ETAPS 2008 (2008) 7891.
 F. Imam, W. MacCaull and M. Kennedy, Merging Healthcare Ontologies: Inconsistency and Implementation Issues, Proceedings of CBMS07, the International Conference on Computer Based Medical Systems (2007) 530536.
 I. Duentsch, W. MacCaull, D. Vakarelov and M. Winter, Distributive Contact Lattices: Topological Representations, Journal of Logic and Algebraic Programming. V. 76, Issue 1: Relations and Kleene Algebras in Computer Science (MayJune 2008) 1834.
 W. MacCaull and E. Orlowska, A logic of typed relations and its applications to relational databases, Journal of Logic and Computation, V. 16 (2006) 789815.
 I. Duentsch, W. MacCaull, D. Vakarelov & M.Winter, Topological Representation of Contact Lattices, Lecture Notes in Comp Sci, V. 4136 (2006) 135147.
 J. Dallien and W. MacCaull, Automated Recognition of StutterInvariant LTL Formulas, Atlantic Electronic J. of Mathematics, V. 1 (2006) 5674.
 W. MacCaull and D. Vakarelov, Latticebased Paraconsistent Logic, Lecture Notes in Comp Sci, V. 3929 (2006) 173187.
 W. MacCaull and E. Orlowska, A Calculus of Typed Relations, in: Relational and Kleene Algebraic Methods in Computer Science, Lecture Notes in Comp Sci, V. 3051 (2004) 191201.
 M. Chechik and W. MacCaull, CTL Modelchecking over Logics with Nonclassical Negations, Proc: 33rd International Sym. On MultipleValued Logic, Tokyo, (2003) 293300.
 W. MacCaull and E. Orlowska, Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus, Studia Logica, V. 71 (2002) 279304.
 H. Okuma, W. MacCaull and Y. Kawahara, Informational Representability for Contexts in Dedekind Categories, Bulletin of Informatics and Cybernetics, V. 34 (2002) 112.
 W. MacCaull, A Tableaux Procedure for the Implication Problem for Association Rules, in: Relational Models for Computer Science Applications, eds: E. Orlowska and A. Szalas,, SpringerPhysica Verlag (2001) 7795.
 G. Allwein and W. MacCaull, Kripke semantics for the Logic of Gelfand Quantales, Studia Logica, V. 61 (2001) 156.
 W.MacCaull, Proof theory for generalized dependencies for information relations, Fundamenta Informaticae, V. 42 (2000) 127.
 I.Duntsch, W.MacCaull, and E.Orlowska, Structures with manyvalued information and their relational proof theory, Proceedings of the Thirtieth International Symposium on MultiValued Logic, Portland, Oregon, IEEE Computer Science Press, (2000) 8391.
 W.MacCaull, Relational tableaux for tree models, language models and information networks, in: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, editor, Ewa Orlowska, SpringerPhysicaVerlag, (1999) 354382.
 W.MacCaull, Relational semantics and a relational proof theory for full Lambek calculus, Journal of Symbolic Logic, V. 63 (1998) 623637.
 W.MacCaull, Relational proof theory for linear and other substructural logics, Journal of the Interest Group in Pure and Applied Logic, V. 5 (1997) 673697.
 W.MacCaull and G.Dueck, Procedure for finding matrix models for substructural logics, Journal of MultipleValued Logic, V. 2 (1997) 305321.
 W.MacCaull, Relational proof theory for FL, linear and other substructural logics, contributed paper: WoLLIC'96 3rd Annual Workshop on Logic, Language, Information and Computation, Salvador, Brazil, May 1996. Extended Abstract: Journal of the Interest Group on Pure and Applied Logic V. 4 (1996) 510511.
 W.MacCaull, Tableaux method for residuated logic, Journal of Fuzzy Sets and Systems, V. 80 (1996) 327337.
 W.MacCaull, Kripke semantics for logic with BCK implication, Bulletin of the Section of Logic, V. 25 (1996) 4151.
 W.MacCaull, A note on Kripke semantics for residuated logic, Journal of Fuzzy Sets and Systems, V. 77 (1996) 229234.
 G.W.Dueck and W.MacCaull, An efficient search for residuated algebras, Proceedings of SCCC95, Sociedad de Chilena de Ciencia de la Computacion (1995) 270274, copywrite, SCCC, Chile.
 W.MacCaull, Finite algebraic models for residuated logic, Proceedings of the TwentyFifth International Symposium on MultipleValued Logic, Bloomington, Indiana, IEEE Computer Science Press (1995) 206213.
 W.MacCaull, A Categorical Approach to Fuzzy Relational Database Theory, in: Applications of Category Theory to Fuzzy Subsets, edited by S.E.Rodabaugh, et al., Kluwer Academic Publishers (1991) 307324.
 W.MacCaull, Categorical aspects of fuzzy relational database theory, Invited paper for the 11th International Seminar on Fuzzy Set Theory, Linz, Austria, 1989; Extended Abstract in Journal of Fuzzy Sets and Systems, (1990).
 W.MacCaull, Positive definite functions over regular frings and representations as sums of squares, Journal of Pure and Applied Logic, V. 44 (1989) 243257.
 W.MacCaull, Hilbert's Nullstellensatz revisited, Journal of Pure and Applied Algebra, V. 54 (1988) 289297.
 W.MacCaull, On the validity of Hilbert's Nullstellensatz, Artin's theorem and related results in Grothendieck toposes, Journal of Symbolic Logic, V. 53 (1988) 11771187.
 W.MacCaull and T.Platt, Diel variations in the photosynthetic parameters of coastal marine phytoplankton, Journal of Limnology and Oceanography, V. 22 (1977) 723731.
(b) Other Refereed Contributions
Edited books
 W. MacCaull, I. Duentsch and M. Winter, eds, RelMiCS 8; Relational Methods in Computer Science, Lecture Notes in Computer Science, V. 3929, Springer (2006).
 J. Desharnais, M. Frappier, and W. MacCaull, eds, Relational Methods in Computer Science: The Quebec Seminar, MethodosVerlag (2002).
 J. Desharnais, M. Frappier, A. Jaoua and W. MacCaull, eds, Information Sciences, V. 193 (2001).

