2025
Predictive modeling of biodegradation pathways using transformer architectures.
J. Cheminformatics, December, 2025
2024
Forecasting severe respiratory disease hospitalizations using machine learning algorithms.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
BMC Medical Informatics Decis. Mak., December, 2024
Source Inference Attacks: Beyond Membership Inference Attacks in Federated Learning.
IEEE Trans. Dependable Secur. Comput., 2024
Counterfactual Causal Inference in Natural Language with Large Language Models.
CoRR, 2024
Robust Domain Generalisation with Causal Invariant Bayesian Neural Networks.
CoRR, 2024
Unveiling Climate Drivers via Feature Importance Shift Analysis in New Zealand.
Proceedings of the ACM on Web Conference 2024, 2024
Combating Phishing in the Age of Fake News: A Novel Approach with Text-to-Text Transfer Transformer.
Proceedings of the 1st Workshop on Security-Centric Strategies for Combating Information Disorder, 2024
SSAT-Adapter: Enhancing Vision-Language Model Few-shot Learning with Auxiliary Tasks.
Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024
Large Language Models Are Not Strong Abstract Reasoners.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Can Large Language Models Learn Independent Causal Mechanisms?
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
Learning After Learning: Positive Backward Transfer in Continual Learning.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Behaviour Modelling of Social Animals via Causal Structure Discovery and Graph Neural Networks.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Symmetric Self-Paced Learning for Domain Generalization.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Automatic refactoring of conditions and substitutions for B state transition models.
Softw. Pract. Exp., November, 2023
Diversity, Equity and Inclusion Activities in Database Conferences: A 2022 Report.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
SIGMOD Rec., June, 2023
Tackling Bias in Pre-trained Language Models: Current Trends and Under-represented Societies.
CoRR, 2023
Poison is Not Traceless: Fully-Agnostic Detection of Poisoning Attacks.
CoRR, 2023
Fast Adversarial Label-Flipping Attack on Tabular Data.
CoRR, 2023
Large Language Models Are Not Abstract Reasoners.
CoRR, 2023
Disentanglement of Latent Representations via Sparse Causal Interventions.
CoRR, 2023
A Survey of Methods, Challenges and Perspectives in Causality.
CoRR, 2023
Differentially private locality sensitive hashing based federated recommender system.
Concurr. Comput. Pract. Exp., 2023
Moving a Bootcamp-Style Computer Science Programme Online: An Experience Report.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
A Transductive Forest for Anomaly Detection with Few Labels.
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023
Using Flexible Memories to Reduce Catastrophic Forgetting.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
Targeted Attacks on Time Series Forecasting.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
BAARD: Blocking Adversarial Examples by Testing for Applicability, Reliability and Decidability.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
Developing a Fair AI-based Healthcare Framework with Feedback Loop.
Proceedings of the 6th International Workshop on Knowledge Discovery from Healthcare Data co-located with 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023
Disentanglement of Latent Representations via Causal Interventions.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Effectiveness of Debiasing Techniques: An Indigenous Qualitative Analysis.
Proceedings of the First Tiny Papers Track at ICLR 2023, 2023
Neuromodulation Gated Transformer.
Proceedings of the First Tiny Papers Track at ICLR 2023, 2023
Challenges in Annotating Datasets to Quantify Bias in Under-represented Society.
Proceedings of the Workshop on Ethics and Trust in Human-AI Collaboration: Socio-Technical Approaches (ETHAICS 2023) co-located with 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) Macao, 2023
2022
Membership Inference Attacks on Machine Learning: A Survey.
ACM Comput. Surv., January, 2022
B model quality assessments on automated reachability repair with ISO/IEC 25010.
Sci. Comput. Program., 2022
Probabilistic exact adaptive random forest for recurrent concepts in data streams.
Int. J. Data Sci. Anal., 2022
Data and model bias in artificial intelligence for healthcare applications in New Zealand.
Frontiers Comput. Sci., 2022
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput., 2022
Membership Inference via Backdooring.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Cost-Effective Transfer Learning for Data Streams.
Proceedings of the IEEE International Conference on Data Mining, 2022
Online Air Pollution Inference using Concept Recurrence and Transfer Learning.
Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022
2021
Intriguing Usage of Applicability Domain: Lessons from Cheminformatics Applied to Adversarial Learning.
CoRR, 2021
Membership Inference Attacks on Machine Learning: A Survey.
CoRR, 2021
Nacre: Proactive Recurrent Concept Drift Detection in Data Streams.
Proceedings of the International Joint Conference on Neural Networks, 2021
A Meta-Learning Approach for Automated Hyperparameter Tuning in Evolving Data Streams.
Proceedings of the International Joint Conference on Neural Networks, 2021
EAR: An Enhanced Adversarial Regularization Approach against Membership Inference Attacks.
Proceedings of the International Joint Conference on Neural Networks, 2021
Source Inference Attacks in Federated Learning.
Proceedings of the IEEE International Conference on Data Mining, 2021
Transfer Learning with Adaptive Online TrAdaBoost for Data Streams.
Proceedings of the Asian Conference on Machine Learning, 2021
2020
Real-time Smartphone Activity Classification Using Inertial Sensors - Recognition of Scrolling, Typing, and Watching Videos While Sitting or Walking.
Sensors, 2020
Measuring the Quality of B Abstract Machines with ISO/IEC 25010.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
Detecting Concept Drift In Medical Triage.
Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, 2020
PEARL: Probabilistic Exact Adaptive Random Forest with Lossy Counting for Data Streams.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2020
Pelican: Continual Adaptation for Phishing Detection.
Proceedings of the 20th International Conference on Data Mining Workshops, 2020
SLED: Semi-supervised Locally-weighted Ensemble Detector.
Proceedings of the 36th IEEE International Conference on Data Engineering, 2020
A Locality Sensitive Hashing Based Approach for Federated Recommender System.
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020
2019
Recurring concept meta-learning for evolving data streams.
Expert Syst. Appl., 2019
Identifying Top-<i>k</i> Nodes in Social Networks: A Survey.
ACM Comput. Surv., 2019
Automatic B-model repair using model checking and machine learning.
Autom. Softw. Eng., 2019
PRARS: Risk Assessment Model for Recommender Systems.
Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019
Network Embedding and Change Modeling in Dynamic Heterogeneous Networks.
Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2019
Predicting a User's Purchase Intention Using AdaBoost.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019
Design Model Repair with Formal Verification.
Proceedings of the Formal Methods and Software Engineering, 2019
Using Transfer Learning to Detect Phishing in Countries with a Small Population.
Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019
Classifying Imbalanced Road Accident Data Using Recurring Concept Drift.
Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
Items2Data: Generating Synthetic Boolean Datasets from Itemsets.
Proceedings of the Databases Theory and Applications, 2019
2018
Semi-structured Database Design.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Object Relationship Attribute Data Model for Semistructured Data.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Normal Form ORA-SS Schema Diagrams.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Functional Dependencies for Semistructured Data.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
An Experience Report on a Boot-Camp Style Programming Course.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
Vehicle emission prediction using remote sensing data and machine learning techniques.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Predicting Concept Drift in Data Streams Using Metadata Clustering.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018
B-Repair: Repairing B-Models Using Machine Learning.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Volatility Drift Prediction for Transactional Data Streams.
Proceedings of the IEEE International Conference on Data Mining, 2018
A Semantic Framework for Designing Temporal SQL Databases.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018
Analyzing Temporal Keyword Queries for Interactive Search over Temporal Databases.
Proceedings of the Database and Expert Systems Applications, 2018
Interpreting Intermittent Bugs in Mozilla Applications Using Change Angle.
Proceedings of the Data Mining - 16th Australasian Conference, AusDM 2018, Bahrurst, NSW, 2018
OHC: Uncovering Overlapping Heterogeneous Communities.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018
Lift-Per-Drift: An Evaluation Metric for Classification Frameworks with Concept Drift Detection.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018
2017
UniAD: A Unified Ad Hoc Data Processing System.
ACM Trans. Database Syst., 2017
Skewed distributions in semi-stream joins: How much can caching help?
Inf. Syst., 2017
Goal-based testing of semantic web services.
Inf. Softw. Technol., 2017
Visual Development Platform for Ruby on Rails.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Volatility Adaptive Classifier System.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017
A Review of Privacy and Consent Management in Healthcare: A Focus on Emerging Data Sources.
Proceedings of the 13th IEEE International Conference on e-Science, 2017
2016
Linking Design Model with Code.
Int. J. Softw. Eng. Knowl. Eng., 2016
Anomaly detection and identification scheme for VM live migration in cloud infrastructure.
Future Gener. Comput. Syst., 2016
From Design to Code: An Educational Approach.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Phishing Detection on Twitter Streams.
Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2016
Parallel Discord Discovery.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2016
Improving Imputation Accuracy in Ordinal Data Using Classification.
Proceedings of the Intelligent Systems Design and Applications, 2016
CPF: Concept Profiling Framework for Recurring Drifts in Data Streams.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016
2015
Fast Disjoint and Overlapping Community Detection.
Trans. Large Scale Data Knowl. Centered Syst., 2015
Rare Pattern Mining from Data Streams Using SRP-Tree and Its Variants.
Trans. Large Scale Data Knowl. Centered Syst., 2015
Analysis of particle swarm optimization based hierarchical data clustering approaches.
Swarm Evol. Comput., 2015
Special Issue on Advances in Conceptual Modeling (ER 2014).
Data Knowl. Eng., 2015
Drift Detection Using Stream Volatility.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015
STRATUS: Towards Returning Data Control to Cloud Users.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015
SQL Data Profiling of Foreign Keys.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015
Adventures of Categories: Modelling the Evolution of Categories During Scientific Investigation.
Proceedings of the 11th IEEE International Conference on e-Science, 2015
Unsupervised Semantic and Syntactic Based Classification of Scientific Citations.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2015
Modeling Ice Storm Climatology.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015
2014
Web usage mining based recommender systems using implicit heterogeneous data: - A Particle Swarm Optimization based clustering approach.
Web Intell. Agent Syst., 2014
Research on particle swarm optimization based clustering: A systematic review of literature and techniques.
Swarm Evol. Comput., 2014
SPAN: Finding collaborative frauds in online auctions.
Knowl. Based Syst., 2014
Efficient processing of streaming updates with archived master data in near-real-time data warehousing.
Knowl. Inf. Syst., 2014
Detecting online auction shilling frauds using supervised learning.
Expert Syst. Appl., 2014
Towards unified ad-hoc data processing.
Proceedings of the International Conference on Management of Data, 2014
Detection of abnormal profiles on group attacks in recommender systems.
Proceedings of the 37th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2014
Detecting Changes in Rare Patterns from Data Streams.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2014
Attack detection in recommender systems based on target item analysis.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Detecting Volatility Shift in Data Streams.
Proceedings of the 2014 IEEE International Conference on Data Mining, 2014
An eScience Tool for Understanding Copyright in Data Driven Sciences.
Proceedings of the 10th IEEE International Conference on e-Science, 2014
Connecting and Synchronizing Scientific Artifacts through the Process of Conceptual Change.
Proceedings of the 10th IEEE International Conference on e-Science, 2014
Semantic Path Ranking Scheme for Relational Keyword Queries.
Proceedings of the Database and Expert Systems Applications, 2014
Group-by and Aggregate Functions in XML Keyword Search.
Proceedings of the Database and Expert Systems Applications, 2014
Drift Detector for Memory-Constrained Environments.
Proceedings of the Data Warehousing and Knowledge Discovery, 2014
Optimizing Queue-Based Semi-Stream Joins with Indexed Master Data.
Proceedings of the Data Warehousing and Knowledge Discovery, 2014
Web bots detection using Particle Swarm Optimization based clustering.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014
Automated Mutation-Based Test Case Evaluation for Semantic Web Services.
Proceedings of the 23rd Australian Software Engineering Conference, 2014
2013
Finding Interesting Rare Association Rules Using Rare Pattern Tree.
Trans. Large Scale Data Knowl. Centered Syst., 2013
Efficient Single Pass Ordered Incremental Pattern Mining.
Trans. Large Scale Data Knowl. Centered Syst., 2013
Weighted association rule mining via a graph based connectivity model.
Inf. Sci., 2013
Clustering heterogeneous web usage data using Hierarchical Particle Swarm Optimization.
Proceedings of the 2013 IEEE Symposium on Swarm Intelligence, 2013
Analysis of Web Usage Data for Clustering Based Recommender System.
Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2013
Web Services Testing via Goal and Mutation.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Finding Maximal Overlapping Communities.
Proceedings of the Data Warehousing and Knowledge Discovery, 2013
SSCJ: A Semi-Stream Cache Join Using a Front-Stage Cache Module.
Proceedings of the Data Warehousing and Knowledge Discovery, 2013
A generic front-stage for semi-stream processing.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013
Verb selection using semantic role labeling for citation classification.
Proceedings of the 2013 workshop on Computational scientometrics: theory & applications, 2013
Change Itemset Mining in Data Streams.
Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013
Tracking Drift Types in Changing Data Streams.
Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013
2012
WeightTransmitter: Weighted Association Rule Mining Using Landmark Weights.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2012
Evaluating Fraud Detection Algorithms Using an Auction Data Generator.
Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012
Resource optimization for processing of stream data in data warehouse environment.
Proceedings of the 2012 International Conference on Advances in Computing, 2012
A Lightweight Stream-Based Join with Limited Resource Consumption.
Proceedings of the Data Warehousing and Knowledge Discovery, 2012
Extrapolation Prefix Tree for Data Stream Mining Using a Landmark Model.
Proceedings of the Data Warehousing and Knowledge Discovery, 2012
Rare Pattern Mining on Data Streams.
Proceedings of the Data Warehousing and Knowledge Discovery, 2012
Hierarchical PSO clustering based recommender system.
Proceedings of the IEEE Congress on Evolutionary Computation, 2012
Indirect Weighted Association Rules Mining for Academic Network Collaboration Recommendations.
Proceedings of the Tenth Australasian Data Mining Conference, AusDM 2012, Sydney, 2012
Generating Realistic Online Auction Data.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
Kernel-Tree: Mining Frequent Patterns in a Data Stream Based on Forecast Support.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
Optimised X-HYBRIDJOIN for Near-Real-Time Data Warehousing.
Proceedings of the Twenty-Third Australasian Database Conference, 2012
2011
HYBRIDJOIN for Near-Real-Time Data Warehousing.
Int. J. Data Warehous. Min., 2011
Automatic Item Weight Generation for Pattern Mining and its Application.
Int. J. Data Warehous. Min., 2011
Automatic Assignment of Item Weights for Pattern Mining on Data Streams.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011
Towards Recommender System Using Particle Swarm Optimization Based Web Usage Clustering.
Proceedings of the New Frontiers in Applied Data Mining, 2011
RP-Tree: Rare Pattern Tree Mining.
Proceedings of the Data Warehousing and Knowledge Discovery, 2011
SPO-Tree: Efficient Single Pass Ordered Incremental Pattern Mining.
Proceedings of the Data Warehousing and Knowledge Discovery, 2011
What Have We Learnt from Deductive Object-Oriented Database Research?
Proceedings of the Database Systems for Advanced Applications, 2011
X-HYBRIDJOIN for Near-Real-Time Data Warehousing.
Proceedings of the Advances in Databases - 28th British National Conference on Databases, 2011
Discriminatory Confidence Analysis in Pattern Mining.
Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011
2010
Theorem prover approach to semistructured data design.
Formal Methods Syst. Des., 2010
TP+Output: Modeling Complex Output Information in XML Twig Pattern Query.
Proceedings of the Database and XML Technologies, 2010
Particle Swarm Optimization Based Hierarchical Agglomerative Clustering.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010
R-MESHJOIN for near-real-time data warehousing.
Proceedings of the DOLAP 2010, 2010
Reducing Graph Matching to Tree Matching for XML Queries with ID References.
Proceedings of the Database and Expert Systems Applications, 21th International Conference, 2010
A swarm intelligence based clustering approach for outlier detection.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
EWGen: Automatic Generation of Item Weights for Weighted Association Rule Mining.
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010
2009
Semi-Structured Database Design.
Proceedings of the Encyclopedia of Database Systems, 2009
Object Relationship Attribute Data Model for Semi-structured Data.
Proceedings of the Encyclopedia of Database Systems, 2009
Normal Form ORA-SS Schema Diagrams.
Proceedings of the Encyclopedia of Database Systems, 2009
Functional Dependencies for Semi-Structured Data.
Proceedings of the Encyclopedia of Database Systems, 2009
Formal Verification of Semistructured Data Models in PVS.
J. Univers. Comput. Sci., 2009
Verifying Semistructured Data Normalization Using SWRL.
Proceedings of the TASE 2009, 2009
Comparing Global Optimization and Default Settings of Stream-Based Joins - (Experimental Paper).
Proceedings of the Enabling Real-Time Business Intelligence - Third International Workshop, 2009
Proceedings of the User Interfaces 2009, Tenth Australasian User Interface Conference, 2009
Towards Specification Based Testing for Semantic Web Services.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
Exploiting Swarm Behaviour of Simple Agents for Clustering Web Users' Session Data.
Proceedings of the Data Mining and Multi-agent Integration, 2009
2008
Element classification-based transformation of XML queries.
Int. J. Web Inf. Syst., 2008
An Evolutionary Particle Swarm Optimization algorithm for data clustering.
Proceedings of the 2008 IEEE Swarm Intelligence Symposium, 2008
Verifying Semistructured Data Normalization Using PVS.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Particle Swarm Optimization Based Clustering of Web Usage Data.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008
An Event-Based Near Real-Time Data Integration Architecture.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008
Automated Usability Testing Framework.
Proceedings of the User Interfaces 2008, Ninth Australasian User Interface Conference, 2008
Correctness Criteria for Normalization of Semistructured Data.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008
Automated Usability Testing Using HUI Analyzer.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008
2007
A Semantic Approach to the Design of Valid and Reversible Semistructured Views.
J. Comput. Sci. Eng., 2007
An XML document generator for semantic query optimization experimentation.
Int. J. Web Inf. Syst., 2007
Towards Verifying Semistructured Data.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007
2006
Reasoning About ORA-SS Data Models Using the Semantic Web.
J. Data Semant., 2006
Validating Semistructured Data Using OWL.
Proceedings of the Advances in Web-Age Information Management, 2006
A tool for visualizing schemas for semistructured data.
Proceedings of the ACM 2006 Symposium on Software Visualization, 2006
A PVS Approach to Verifying ORA-SS Data Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Research into Verifying Semistructured Data.
Proceedings of the Distributed Computing and Internet Technology, 2006
Validating ORA-SS Data Models using Alloy.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006
2005
A Z Approach in Validating ORA-SS Data Models.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005
A Semantic Approach to Query Rewriting for Integrated XML Data.
Proceedings of the Conceptual Modeling, 2005
XDO2: A Deductive Object-Oriented Query Language for XML.
Proceedings of the Database Systems for Advanced Applications, 2005
2004
On Logical Foundations of Multilevel Secure Databases.
J. Intell. Inf. Syst., 2004
XTree for Declarative XML Querying.
Proceedings of the Database Systems for Advances Applications, 2004
Databases, But Not As We Know Them.
Proceedings of the Database Technologies 2004, 2004
Mining Association Rules from XML Data using XQuery.
Proceedings of the ACSW Frontiers 2004, 2004 ACSW Workshops, 2004
2003
Extracting association rules from XML documents using XQuery.
Proceedings of the Fifth ACM CIKM International Workshop on Web Information and Data Management (WIDM 2003), 2003
An E-Commerce Framework for Small Businesses.
Proceedings of the iiWAS'2003, 2003
2002
A logical foundation for deductive object-oriented databases.
ACM Trans. Database Syst., 2002
Join Operation over XML data.
Proceedings of the Information Systems and Databases (ISDB 2002), 2002
A Model Theoretic Semantics for Multi-level Secure Deductive Databases.
Proceedings of the Logic Programming, 18th International Conference, 2002
2001
Designing Semistructured Databases Using ORA-SS Model.
Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001
NF-SS: A Normal Form for Semistructured Schema.
Proceedings of the ER 2001 Workshops, 2001
Designing Semistructured Databases: A Conceptual Approach.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001
X007: Applying 007 Benchmark to XML Query Processing Tool.
Proceedings of the 2001 ACM CIKM International Conference on Information and Knowledge Management, 2001
2000
Practical Approach to Selecting Data Warehouse Views Using Data Dependencies.
Proceedings of the Conceptual Modeling, 2000
1999
Supporting and evaluating team dynamics in group projects.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999
1996
Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases.
Proceedings of the Logic in Databases, 1996
1995
On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems.
J. Intell. Inf. Syst., 1995
Resolving Ambiguities caused by Multiple Inheritance.
Proceedings of the Deductive and Object-Oriented Databases, 1995
1993
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems.
Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993