selected scholarly activity
-
chapters
- A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. Lecture Notes in Computer Science. 108-137. 2024
- A Model Based Slicing Technique for Process Mining Healthcare Information. Communications in Computer and Information Science. 73-81. 2020
- A Reasoning System for Satisfiability of Diagrammatic Specifications. Outstanding Contributions to Logic. 371-402. 2018
- CASD: A Framework for Context Aware Service Discovery and Selection. Lecture Notes in Computer Science. 252-264. 2017
- A Formal Diagrammatic Approach to Compensable Workflow Modelling. Lecture Notes in Computer Science. 194-212. 2013
- O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. Lecture Notes in Computer Science. 105-123. 2013
- A Personalized Access Control Framework for Workflow-Based Health Care Information. Lecture Notes in Business Information Processing. 273-284. 2012
- DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment. Studies in Computational Intelligence. 37-52. 2012
- Model Driven Workflow Development with T □. Lecture Notes in Business Information Processing. 265-279. 2012
- T □: A Domain Specific Language for Rapid Workflow Development. Lecture Notes in Computer Science. 36-52. 2012
- Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. Lecture Notes in Computer Science. 312-331. 2012
- Agent-Based Careflow for Patient-Centred Palliative Care. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 285-294. 2011
- Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. Lecture Notes in Computer Science. 244-259. 2011
- An Automated Translator for Model Checking Time Constrained Workflow Systems. Lecture Notes in Computer Science. 99-114. 2010
- Compensable WorkFlow Nets. Lecture Notes in Computer Science. 122-137. 2010
- Verification of Careflow Management Systems with Timed BDI CTL Logic. Lecture Notes in Business Information Processing. 623-634. 2010
- Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Lecture Notes in Business Information Processing. 373-384. 2009
- Lattice-Based Paraconsistent Logic. Lecture Notes in Computer Science. 173-187. 2006
- Topological Representation of Contact Lattices. Lecture Notes in Computer Science. 135-147. 2006
- A Calculus of Typed Relations. Lecture Notes in Computer Science. 191-201. 2004
- A Tableaux Procedure for the Implication Problem for Association Rules. Studies in Fuzziness and Soft Computing. 77-95. 2001
-
conferences
- Analysis of patient pathways with contextual process mining. CEUR Workshop Proceedings. 2022
- DIS: A Data-centred Knowledge Representation Formalism. 2021 Reconciling Data Analytics, Automation, Privacy, and Security: A Big Data Challenge (RDAAPS). 1-8. 2021
- Preface of the 3rd international workshop on (Meta)Modelling for Healthcare Systems (MMHS 2018). CEUR Workshop Proceedings. 2018
- 2016 8th International Conference on Information and Knowledge Technology, IKT 2016. 2016 8th International Conference on Information and Knowledge Technology, IKT 2016. 2016
- Consistency checking of clinical practice guidelines with MITDL. 2016 Eighth International Conference on Information and Knowledge Technology (IKT). 281-287. 2016
- Optimizing inconsistency-tolerant description logic reasoning. CEUR Workshop Proceedings. 66-80. 2016
- An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing. 2015 Third International Symposium on Computing and Networking (CANDAR). 127-132. 2015
- Towards an Ontology Design Architecture. 2015 International Conference on Computational Science and Computational Intelligence (CSCI). 132-135. 2015
- MOSEW: A tool suite for service enabled workflow. CEUR Workshop Proceedings. 238-239. 2015
- A Parallel Framework for Handling Non-determinism with Expressive Description Logics. 2014 IEEE International Parallel & Distributed Processing Symposium Workshops. 699-708. 2014
- User-Friendly UIs for the Execution of Clinical Practice Guidelines. Proceedings of the IEEE Symposium on Computer-Based Medical Systems. 489-490. 2014
- A flexible metamodelling approach for healthcare systems. CEUR Workshop Proceedings. 115-128. 2014
- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. Lecture Notes in Computer Science. 611-626. 2014
-
O
wl Ont DB: A scalable reasoning system for OWL 2 RL ontologies with large ABoxes. Lecture Notes in Computer Science. 105-123. 2013 - A One-Pass Tableau-Based Workflow Verification Framework. EPiC Series in Computing. 58-43. 2013
- A scalable ontology reasoner via incremental materialization. Proceedings of the IEEE Symposium on Computer-Based Medical Systems. 221-226. 2013
- Context aware service discovery and service enabled workflow. CEUR Workshop Proceedings. 45-48. 2013
- Parallelizing algebraic reasoning for the description logic SHOQ. CEUR Workshop Proceedings. 20-23. 2013
-
T
□ : A domain specific language for rapid workflow development. Lecture Notes in Computer Science. 36-52. 2012 - A metamodelling approach to behavioural modelling. Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications. 1-10. 2012
- A Formal Diagrammatic Approach to Timed Workflow Modelling. 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. 167-174. 2012
- Model Checking Workflow Monitors and Its Application to a Pain Management Process. Lecture Notes in Computer Science. 111-128. 2012
- NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. Lecture Notes in Computer Science. 75-92. 2012
- Using an interdisciplinary approach to develop a knowledge-driven careflow management system for collaborative patient-centred palliative care. Proceedings of the 1st ACM International Health Informatics Symposium. 507-511. 2010
- Enhancing Patient-Centered Palliative Care with Collaborative Agents. 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. 356-360. 2010
- Towards workflow verification. Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10. 253-253. 2010
- YAWL2DVE: An Automated Translator for Workflow Verification. 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement. 53-59. 2010
- Toward Web-based Careflow Management Systems. Journal of Emerging Technologies in Web Intelligence. 137-145. 2009
- Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. 78-91. 2008
- Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. Proceedings of the IEEE Symposium on Computer-Based Medical Systems. 530-535. 2007
- CTL model-checking over logics with non-classical negations. Proceedings of The International Symposium on Multiple-Valued Logic. 293-300. 2003
- CTL model-checking over logics with non-classical negations. 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.. 1-8. 2003
- Structures with many-valued information and their relational proof theory. Proceedings of The International Symposium on Multiple-Valued Logic. 293-301. 2000
- Finite algebraic models for residuated logic. Proceedings of The International Symposium on Multiple-Valued Logic. 206-213. 1995
-
journal articles
- Preface. CEUR Workshop Proceedings. 3440. 2023
- Architecture for ontology-supported multi-context reasoning systems. Data & Knowledge Engineering. 140:102044-102044. 2022
- A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective. IEEE Transactions on Knowledge and Data Engineering. 35:1-1. 2022
- On the Satisfiability of Quasi-Classical Description Logics. Computing and Informatics. 36:1415-1446. 2017
- An Application Suite for Service Enabled Workflow. Procedia Computer Science. 83:480-487. 2016
- Aspects of ubiquitous computing for improved clinical practice. Personal and Ubiquitous Computing. 19:569-571. 2015
- Handling Non-determinism with Description Logics using a Fork/Join Approach. International Journal of Networking and Computing. 5:61-85. 2015
- Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. Procedia Computer Science. 37:473-480. 2014
- Foundations of Health Information Engineering and Systems. Lecture Notes in Computer Science. 8315:6. 2014
- ICTH Preface 2014. Procedia Computer Science. 37:9-11. 2014
- A Model Slicing Method for Workflow Verification. Electronic Notes in Theoretical Computer Science. 295:79-93. 2013
- A User-friendly Tool for Model Checking Healthcare Workflows. Procedia Computer Science. 21:317-326. 2013
- Ontology Merging and Reasoning Using Paraconsistent Logics. International Journal of Knowledge-Based Organizations. 2:35-51. 2012
- Information technology and hospice palliative care: social, cultural, ethical and technical implications in a rural setting. Informatics for health & social care. 37:37-50. 2012
- Model checking timed properties of healthcare processes. Journal of Software-Evolution and Process. 23:245-260. 2011
- An Efficient Explicit-time Description Method for Timed Model Checking. Electronic Proceedings in Theoretical Computer Science. 14:77-91. 2009
- Verifying Real-Time Systems using Explicit-time Description Methods. Electronic Proceedings in Theoretical Computer Science. 13:67-78. 2009
- Distributive contact lattices: Topological representations. The Journal of Logic and Algebraic Programming. 76:18-34. 2008
- A Logic of Type Relations and its Applications to Relational Databases. Journal of Logic and Computation. 16:789-815. 2006
- Lecture Notes in Computer Sciences (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science. 3929 LNCS. 2006
- INFORMATIONAL REPRESENTABILITY FOR CONTEXTS IN DEDEKIND CATEGORIES. Bulletin of Informatics and Cybernetics. 34:1-12. 2002
- Correspondence results for relational proof systems with application to the Lambek calculus. Studia Logica. 71:389-414. 2002
- Relational methods in computer science. Information Sciences. 139:165-166. 2001
- A kripke semantics for the logic of gelfand quantales. Studia Logica. 68:173-228. 2001
- A Proof System for Dependencies for Information Relations. Fundamenta Informaticae. 42:1-27. 2000
- Relational semantics and a relational proof system for full Lambek calculus. Journal of Symbolic Logic (JSL). 63:623-637. 1998
- Relational proof system for linear and other substructural logics. Logic Journal of the IGPL. 5:673-697. 1997
- Tableau method for residuated logic. Fuzzy Sets and Systems. 80:327-337. 1996
- A note on Kripke semantics for residuated logic. Fuzzy Sets and Systems. 77:229-234. 1996
- Kripke semantics for logics with BCK implication. Bulletin of the Section of Logic. 25:41-51. 1996
- Positive definite functions over regular f-rings and representations as sums of squares. Annals of Pure and Applied Logic. 44:243-257. 1989
- On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes. Journal of Symbolic Logic (JSL). 53:1177-1187. 1988
- Hilbert's nullstellensatz revisited. Journal of Pure and Applied Algebra. 54:289-297. 1988
- Diel variations in the photosynthetic parameters of coastal marine phytoplankton. Limnology and Oceanography. 22:723-731. 1977
-
preprints