Publications
More up-to-date lists can be found on Google Scholar and DBLP.
2024
- 
    
    
    
    
    
Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning.
12th International Conference on Learning Representations (ICLR), 2024.
 - 
    
    
    
    
    
Time-LLM: Time Series Forecasting by Reprogramming Large Language Models.
12th International Conference on Learning Representations (ICLR), 2024.
 - 
    
    
    
    
    
Syntax-aware on-the-fly code completion.
Information and Software Technology, 2024.
 
2023
- 
    
    
    
    
    
DeSIQ: Towards an Unbiased, Challenging Benchmark for Social Intelligence Understanding.
Proceedings of EMNLP 2023, 2023.
 - 
    
    
    
    
    
Towards a Unified Transformer-based Framework for Scene Graph Generation and Human-object Interaction Detection.
IEEE Transactions on Image Processing (TIP), 2023.
 - 
    
    
    
    
    
Generating Faithful Text From a Knowledge Graph with Noisy Reference Text.
Proceedings of the 16th International Natural Language Generation Conference (INLG), 2023.
 - 
    
    
    
    
    
KC-GEE: knowledge-based conditioning for generative event extraction.
World Wide Web, 2023.
 - 
    
    
    
    
    
CrossSum: Beyond English-Centric Cross-Lingual Summarization for 1,500+ Language Pairs.
Proceedings of ACL, 2023, 2023.
 - 
    
    
    
    
    
On Robustness of Prompt-based Semantic Parsing with Large Pre-trained Language Model: An Empirical Study on Codex.
Proceedings of EACL, 2023.
 - 
    
    
    
    
    
Few-shot Domain-Adaptative Visually-fused Event Detection from Text.
26th International Conference on Information Fusion, FUSION 2023, 2023.
 - 
    
    
    
    
    
Normalizing Flow-based Neural Process for Few-Shot Knowledge Graph Completion.
Proceedings of SIGIR, 2023.
 - 
    
    
    
    
    
State-Aware Compositional Learning Toward Unbiased Training for Scene Graph Generation.
IEEE Trans. Image Process. (TIP), 2023.
 - 
    
    
    
    
    
Transferable and differentiable discrete network embedding for multi-domains with hierarchical knowledge distillation.
Inf. Sci., 2023.
 - 
    
    
    
    
    
Label-Guided Generative Adversarial Network for Realistic Image Synthesis.
IEEE Trans. Pattern Anal. Mach. Intell., 2023.
 - 
    
    
    
    
    
Multivariate Time Series Forecasting With Dynamic Graph Neural ODEs.
IEEE Trans. Knowl. Data Eng., 2023.
 - 
    
    
    
    
    
Semisupervised Network Embedding With Differentiable Deep Quantization.
IEEE Trans. Neural Networks Learn. Syst., 2023.
 - 
    
    
    
    
    
DNG: Taxonomy Expansion by Exploring the Intrinsic Directed Structure on Non-gaussian Space.
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, 2023.
 - 
    
    
    
    
    
NormMark: A Weakly Supervised Markov Model for Socio-cultural Norm Discovery.
Findings of ACL 2023, 2023.
 
2022
- 
    
    
    
    
    
Complex Reading Comprehension Through Question Decomposition.
Proceedings of the The 20th Annual Workshop of the Australasian Language Technology Association (ALTA), 2022.
 - 
    
    
    
    
    
Towards Open-Vocabulary Scene Graph Generation with Prompt-Based Finetuning.
Computer Vision - ECCV 2022 - 17th European Conference, 2022.
 - 
    
    
    
    
    
Towards relation extraction from speech.
Proceedings EMNLP, 2022.
 - 
    
    
    
    
    
Paraphrasing Techniques for Maritime QA system.
25th International Conference on Information Fusion, FUSION 2022, Linköping, Sweden, July 4-7, 2022, 2022.
 - 
    
    
    
    
    
Pretrained Language Model in Continual Learning: A Comparative Study.
Proceedings of ICLR, 2022.
 - 
    
    
    
    
    
Neural Temporal Walks: Motif-Aware Representation Learning on Continuous-Time Dynamic Graphs.
NeurIPS, 2022.
 - 
    
    
    
    
    
Toward Graph Self-Supervised Learning With Contrastive Adjusted Zooming.
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2022.
 - 
    
    
    
    
    
Benchmark construction and experimental evaluations for incoherent ontologies.
Knowl. Based Syst., 2022.
 - 
    
    
    
    
    
MonaGO: a novel gene ontology enrichment analysis visualisation system.
BMC Bioinform., 2022.
 - 
    
    
    
    
    
Neural Topic Modeling with Deep Mutual Information Estimation.
Big Data Res., 2022.
 - 
    
    
    
    
    
KGVQL: A knowledge graph visual query language with bidirectional transformations.
Knowl. Based Syst., 2022.
 - 
    
    
    
    
    
Teaching Neural Module Networks to Do Arithmetic.
Proceedings of the 29th International Conference on Computational Linguistics, COLING, 2022.
 - 
    
    
    
    
    
Multi-level, multi-modal interactions for visual question answering over text in images.
World Wide Web, 2022.
 
2021
- 
    
    
    
    
    
Towards Balanced Defect Prediction with Better Information Propagation.
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, 2021.
 - 
    
    
    
    
    
Boosting house price predictions using geo-spatial network embedding.
Data Min. Knowl. Discov., 2021.
 - 
    
    
    
    
    
Multimodal feature-wise co-attention method for visual question answering.
Inf. Fusion, 2021.
 - 
    
    
    
    
    
Combining cross-modal knowledge transfer and semi-supervised learning for speech emotion recognition.
Knowl. Based Syst., 2021.
 - 
    
    
    
    
    
Generalized pyramid co-attention with learnable aggregation net for video question answering.
Pattern Recognit., 2021.
 - 
    
    
    
    
    
Curriculum-Meta Learning for Order-Robust Continual Relation Extraction.
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, 2021.
 - 
    
    
    
    
    
Adaptive Knowledge-Enhanced Bayesian Meta-Learning for Few-shot Event Detection.
Findings of ACL/IJCNLP 2021, 2021.
 - 
    
    
    
    
    
XL-Sum: Large-Scale Multilingual Abstractive Summarization for 44 Languages.
Findings of ACL/IJCNLP 2021, 2021.
 - 
    
    
    
    
    
ANEMONE: Graph Anomaly Detection with Multi-Scale Contrastive Learning.
CIKM ’21: The 30th ACM International Conference on Information and Knowledge Management, 2021.
 - 
    
    
    
    
    
Improving Numerical Reasoning Skills in the Modular Approach for Complex Question Answering on Text.
Findings of the Association for Computational Linguistics: EMNLP 2021, 2021.
 - 
    
    
    
    
    
Simple or Complex? Complexity-controllable Question Generation with Soft Templates and Deep Mixture of Experts Model.
Findings of the Association for Computational Linguistics: EMNLP 2021, 2021.
 - 
    
    
    
    
    
Toward the Automated Construction of Probabilistic Knowledge Graphs for the Maritime Domain.
24th IEEE International Conference on Information Fusion, FUSION 2021, 2021.
 - 
    
    
    
    
    
Exploiting Scene Graphs for Human-Object Interaction Detection.
2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, 2021.
 - 
    
    
    
    
    
Multi-Scale Contrastive Siamese Networks for Self-Supervised Graph Representation Learning.
Proceedings of IJCAI 2021, 2021.
 - 
    
    
    
    
    
Code2Que: a tool for improving question titles from mined code snippets in stack overflow.
ESEC/FSE ’21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
 - 
    
    
    
    
    
OntoSP: Ontology-Based Semantic-Aware Partitioning on RDF Graphs.
Web Information Systems Engineering - WISE 2021 - 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021, Proceedings, Part I, 2021.
 
2020
- 
    
    
    
    
    
Understanding Unnatural Questions Improves Reasoning over Text.
Proceedings of the 28th International Conference on Computational Linguistics, COLING 2020, 2020.
 - 
    
    
    
    
    
MedGraph: Structural and Temporal Representation Learning of Electronic Medical Records.
ECAI 2020 - 24th European Conference on Artificial Intelligence, 2020.
 - 
    
    
    
    
    
Towards Meta-Reasoning for Ontologies: A Roadmap.
ECAI 2020 - 24th European Conference on Artificial Intelligence, 2020.
 - 
    
    
    
    
    
Few-Shot Complex Knowledge Base Question Answering via Meta Reinforcement Learning.
Proceedings of EMNLP 2020, 2020.
 - 
    
    
    
    
    
Learning from the Scene and Borrowing from the Rich: Tackling the Long Tail in Scene Graph Generation.
Proceedings of IJCAI 2020, 2020.
 - 
    
    
    
    
    
Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via Alternate Meta-learning.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 2020.
 - 
    
    
    
    
    
Vocabulary Matters: A Simple yet Effective Approach to Paragraph-level Question Generation.
Proceedings of AACL/IJCNLP 2020, 2020.
 - 
    
    
    
    
    
Towards Generating Thread-Safe Classes Automatically.
35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, 2020.
 - 
    
    
    
    
    
Robust Attribute and Structure Preserving Graph Embedding.
Advances in Knowledge Discovery and Data Mining - 24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 11-14, 2020, Proceedings, Part II, 2020.
 - 
    
    
    
    
    
Knowledge-enriched, Type-constrained and Grammar-guided Question Generation over Knowledge Bases.
Proceedings of the 28th International Conference on Computational Linguistics, COLING 2020, Barcelona, Spain (Online), December 8-13, 2020, 2020.
 - 
    
    
    
    
    
Gaussian Embedding of Large-Scale Attributed Graphs.
Databases Theory and Applications - 31st Australasian Database Conference, ADC 2020, Melbourne, VIC, Australia, February 3-7, 2020, Proceedings, 2020.
 - 
    
    
    
    
    
Less is more: Data-efficient complex question answering over knowledge bases.
J. Web Semant., 2020.
 - 
    
    
    
    
    
OntoPlot: A Novel Visualisation for Non-hierarchical Associations in Large Ontologies.
IEEE Trans. Vis. Comput. Graph., 2020.
 - 
    
    
    
    
    
Generating Question Titles for Stack Overflow from Mined Code Snippets.
ACM Trans. Softw. Eng. Methodol., 2020.
 - 
    
    
    
    
    
A survey on the use of access permission-based specifications for program verification.
J. Syst. Softw., 2020.
 - 
    
    
    
    
    
Understanding and improving ontology reasoning efficiency through learning and ranking.
Inf. Syst., 2020.
 
2019
- 
    
    
    
    
    
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.
34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, 2019.
 - 
    
    
    
    
    
Difficulty-Controllable Multi-hop Question Generation from Knowledge Graphs.
The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, 2019.
 - 
    
    
    
    
    
One Network for Multi-Domains: Domain Adaptive Hashing with Intersectant Generative Adversarial Networks.
Proceedings of IJCAI 2019, 2019.
 - 
    
    
    
    
    
RobustiQ: A Robust ANN Search Method for Billion-scale Similarity Search on GPUs.
Proceedings of the 2019 on International Conference on Multimedia Retrieval, ICMR 2019, Ottawa, ON, Canada, June 10-13, 2019, 2019.
 - 
    
    
    
    
    
Vector and line quantization for billion-scale similarity search on GPUs.
Future Gener. Comput. Syst., 2019.
 - 
    
    
    
    
    
Structured Two-Stream Attention Network for Video Question Answering.
The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, 2019.
 - 
    
    
    
    
    
Putting the Horse before the Cart: A Generator-Evaluator Framework for Question Generation from Text.
Proceedings of the 23rd Conference on Computational Natural Language Learning, CoNLL 2019, Hong Kong, China, November 3-4, 2019, 2019.
 - 
    
    
    
    
    
ParaQG: A System for Generating Questions and Answers from Paragraphs.
Proceedings of EMNLP-IJCNLP 2019 - System Demonstrations, 2019.
 - 
    
    
    
    
    
Footprints of fitness functions in search-based software testing.
Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2019, Prague, Czech Republic, July 13-17, 2019, 2019.
 
2018
- 
    
    
    
    
    
Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies.
Int. J. Semantic Web Inf. Syst., 2018.
 - 
    
    
    
    
    
Automating Reading Comprehension by Generating Question and Answer Pairs.
Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part III, 2018.
 
2017
- 
    
    
    
    
    
Using Knowledge Graphs to Explain Entity Co-occurrence in Twitter.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017, Singapore, November 06 - 10, 2017, 2017.
 - 
    
    
    
    
    
An Information-Theoretic Predictive Model for the Accuracy of AI Agents Adapted from Psychometrics.
Artificial General Intelligence - 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings, 2017.
 - 
    
    
    
    
    
MDS-based Visual Survey of Biological Data Visualization Techniques.
19th Eurographics Conference on Visualization, EuroVis 2017 - Posters, 2017.
 
2016
- 
    
    
    
    
    
Predicting Energy Consumption of Ontology Reasoning over Mobile Devices.
The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I, 2016.
 - 
    
    
    
    
    
Factors of Collective Intelligence: How Smart Are Agent Collectives?.
ECAI 2016 - 22nd European Conference on Artificial Intelligence, 2016.
 - 
    
    
    
    
    
Extracting Permission-Based Specifications from a Sequential Java Program.
21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016, 2016.
 - 
    
    
    
    
    
How Can Reasoner Performance of ABox Intensive Ontologies Be Predicted?.
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers, 2016.
 - 
    
    
    
    
    
Explicit Query Interpretation and Diversification for Context-Driven Concept Search Across Ontologies.
The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, 2016.
 
2015
- 
    
    
    
    
    
Event and Strategy Analytics.
2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, 2015.
 - 
    
    
    
    
    
GraSS: An Efficient Method for RDF Subgraph Matching.
Web Information Systems Engineering - WISE 2015 - 16th International Conference, 2015.
 - 
    
    
    
    
    
FFD-Index: An Efficient Indexing Scheme for Star Subgraph Matching on Large RDF Graphs.
Database Systems for Advanced Applications - DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers, 2015.
 - 
    
    
    
    
    
Observation, Communication and Intelligence in Agent-Based Systems.
Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings, 2015.
 - 
    
    
    
    
    
Capturing Researcher Expertise through MeSH Classification.
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015, Palisades, NY, USA, October 7-10, 2015, 2015.
 - 
    
    
    
    
    
BOWL: augmenting the Semantic Web with beliefs.
Innov. Syst. Softw. Eng., 2015.
 - 
    
    
    
    
    
Analyzing the Evolution of Ontology Versioning Using Metrics.
12th Web Information System and Application Conference, WISA 2015, Jinan, China, September 11-13, 2015, 2015.
 - 
    
    
    
    
    
Context-driven Concept Search across Web Ontologies using Keyword Queries.
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015, 2015.
 - 
    
    
    
    
    
R2O2: An Efficient Ranking-Based Reasoner for OWL Ontologies.
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, 2015.
 
2014
- 
    
    
    
    
    
How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance.
Proceedings of AAAI 2014, 2014.
 - 
    
    
    
    
    
Two decades of Web application testing - A survey of recent advances.
Inf. Syst., 2014.
 - 
    
    
    
    
    
The Ubiquitous Semantic Web: Promises, Progress and Challenges.
Int. J. Semantic Web Inf. Syst., 2014.
 - 
    
    
    
    
    
Towards a Consistent Feature Model using OWL.
Semantic Web Enabled Software Engineering, 2014.
 - 
    
    
    
    
    
The mobile semantic web.
23rd International World Wide Web Conference, WWW ’14, Seoul, Republic of Korea, April 7-11, 2014, Companion Volume, 2014.
 - 
    
    
    
    
    
Event Analytics.
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014.
 - 
    
    
    
    
    
A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014, 2014.
 
2013
- 
    
    
    
    
    
An ontology-centric architecture for extensible scientific data management systems.
Future Gener. Comput. Syst., 2013.
 - 
    
    
    
    
    
Visualization of Large Ontologies with Landmarks.
GRAPP & IVAPP 2013: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Barcelona, Spain, 21-24 February, 2013, 2013.
 - 
    
    
    
    
    
Enriching Concept Search across Semantic Web Ontologies.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013.
 
2012
- 
    
    
    
    
    
Knowledge Enrichment Analysis for Human Tissue-Specific Genes Uncover New Biological Insights.
J. Integr. Bioinform., 2012.
 - 
    
    
    
    
    
Predicting Reasoning Performance Using Ontology Metrics.
The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I, 2012.
 - 
    
    
    
    
    
A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012.
 
2011
- 
    
    
    
    
    
Using Semantic Web Technologies to Build a Community-Driven Knowledge Curation Platform for the Skeletal Dysplasia Domain.
The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part II, 2011.
 - 
    
    
    
    
    
Integrating software engineering data using semantic web technologies.
Proceedings of the 8th International Working Conference on Mining Software Repositories, MSR 2011 (Co-located with ICSE), Waikiki, Honolulu, HI, USA, May 21-28, 2011, Proceedings, 2011.
 
2010
- 
    
    
    
    
    
Measuring design complexity of semantic web ontologies.
J. Syst. Softw., 2010.
 - 
    
    
    
    
    
Discovering Anomalies in Semantic Web Rules.
Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, 2010.
 - 
    
    
    
Proceedings of the 2010 Joint International Conference on Digital Libraries, JCDL 2010, Gold Coast, Queensland, Australia, June 21-25, 2010.
 - 
    
    
    
    
    
PODD - Towards an Extensible, Domain-Agnostic Scientific Data Management System.
Sixth International Conference on e-Science, e-Science 2010, 7-10 December 2010, Brisbane, QLD, Australia, 2010.
 - 
    
    
    
    
    
PODD: An Ontology-Driven Data Repository for Collaborative Phenomics Research.
The Role of Digital Libraries in a Time of Global Change, 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings, 2010.
 
2009
- 
    
    
    
    
    
Verifying Semistructured Data Normalization Using SWRL.
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, 2009.
 
2008
- 
    
    
    
    
    
Scalable Semantics - The Silver Lining of Cloud Computing.
Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, 2008.
 - 
    
    
    
    
    
Correctness Criteria for Normalization of Semistructured Data.
19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, 2008.
 - 
    
    
    
    
    
Enhancing Semantic Web Services with Inheritance.
The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, 2008.
 
2007
- 
    
    
    
    
    
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.
12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, 2007.
 - 
    
    
    
    
    
Transitioning Applications to Semantic Web Services: An Automated Formal Approach.
Int. J. Interoperability Bus. Inf. Syst., 2007.
 - 
    
    
    
    
    
Verifying feature models using OWL.
J. Web Semant., 2007.
 - 
    
    
    
    
    
Towards Verifying Semistructured Data.
Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30 - February 2, 2007, Proceedings, 2007.
 
2006
- 
    
    
    
    
    
Validating Semistructured Data Using OWL.
Advances in Web-Age Information Management, 7th International Conference,WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings, 2006.
 - 
    
    
    
    
    
Research into Verifying Semistructured Data.
Distributed Computing and Internet Technology, Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, Proceedings, 2006.
 - 
    
    
    
    
    
Semantic Web Languages - Towards an Institutional Perspective.
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, 2006.
 - 
    
    
    
    
    
Reasoning About ORA-SS Data Models Using the Semantic Web.
J. Data Semant., 2006.
 
2005
- 
    
    
    
    
    
Soundness proof of Z semantics of OWL using institutions.
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, 2005.
 - 
    
    
    
    
    
A Tools Environment for Developing and Reasoning about Ontologies.
12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, 2005.
 - 
    
    
    
    
    
Institution Morphisms for Relating OWL and Z.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, 2005.
 - 
    
    
    
    
    
TCOZ Approach to OWL-S Process Model Design.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, 2005.
 - 
    
    
    
    
    
Verify Feature Models using protegeowl.
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, 2005.
 - 
    
    
    
    
    
A Z Approach in Validating ORA-SS Data Models.
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, 2005.
 - 
    
    
    
    
    
Visualizing and Simulating Semantic Web Services Ontologies.
Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005.
 - 
    
    
    
    
    
Formal Semantics and Verification for Feature Modeling.
10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, 2005.
 
2004
- 
    
    
    
    
    
Verifying DAML+OIL and Beyond in Z/EVES.
26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, 2004.
 - 
    
    
    
    
    
Verifying OWL and ORL Ontologies in PVS.
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, 2004.
 - 
    
    
    
    
    
TCOZ approach to semantic web services design.
Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, 2004.
 - 
    
    
    
    
    
A combined approach to checking web ontologies.
Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, 2004.
 
2002
- 
    
    
    
    
    
XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, 2002.