Wendy MacCaull
According to our database1,
Wendy MacCaull
authored at least 70 papers
between 1988 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Trans. Knowl. Data Eng., May, 2023
A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering.
Trans. Petri Nets Other Model. Concurr., 2023
2022
Data Knowl. Eng., 2022
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), 2022
2020
Proceedings of the Systems Modelling and Management - First International Conference, 2020
2017
Comput. Informatics, 2017
2016
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Workshops, 2016
Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
Pers. Ubiquitous Comput., 2015
Int. J. Netw. Comput., 2015
Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), 2015
2014
Proceedings of the 2nd European Workshop on Practical Aspects of Health Informatics, 2014
A Parallel Framework for Handling Non-determinism with Expressive Description Logics.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
2013
Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
2012
Int. J. Knowl. Based Organ., 2012
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
Proceedings of the Advanced Information Systems Engineering Workshops, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012
2011
J. Softw. Maintenance Res. Pract., 2011
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
Proceedings of the Business Process Management Workshops, 2011
2010
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Using an interdisciplinary approach to develop a knowledge-driven careflow management system for collaborative patient-centred palliative care.
Proceedings of the ACM International Health Informatics Symposium, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
Proceedings of the Electronic Healthcare - Third International Conference, 2010
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010
2009
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009
Verification of Careflow Management Systems with Timed <i>BDI</i><sub><i>CTL</i></sub> Logic.
Proceedings of the Business Process Management Workshops, 2009
2008
J. Log. Algebraic Methods Program., 2008
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008
Proceedings of the Business Process Management Workshops, 2008
2007
Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007
2006
J. Log. Comput., 2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
Proceedings of the Relational Methods in Computer Science, 2005
2003
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.
Stud Logica, 2002
2001
2000
Fundam. Informaticae, 2000
Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000
1998
J. Symb. Log., 1998
A relational approach to association rules and functional dependencies.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Log. J. IGPL, 1997
Semantics for Logics without Contraction Using Ternary Relations.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997
1996
1995
Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995
1989
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares.
Ann. Pure Appl. Log., 1989
1988
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.
J. Symb. Log., 1988