Interactive program verification using virtual programs. - Rodney W. Topor (1975)

The Correctness of the Schorr-Waite List Marking Algorithm. - Rodney W. Topor (Acta Informatica, 1979)

Computer Chess at IFIP 80. - Rodney W. Topor (J. Int. Comput. Games Assoc., 1981)

Fundamental Solutions of the Eight Queens Problem. - Rodney W. Topor (BIT, 1982)

Functional Programs for Generating Permutations. - Rodney W. Topor (Comput. J., 1982)

Termination Detection for Distributed Computations. - Rodney W. Topor (Inf. Process. Lett., 1984)

Making Prolog more Expressive. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1984)

Deductive Database Tools. - Rodney W. Topor; Teresa Keddis; Derek W. Wright (Aust. Comput. J., 1985)

A Basis for Deductive Database Systems. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1985)

A Basis for Deductive Database Systems II. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1986)

Safety and Correct Translation of Relational Calculus Formulas. - Allen Van Gelder; Rodney W. Topor (PODS, 1987)

Integrity Constraint Checking in Stratified Databases. - John W. Lloyd; Liz Sonenberg; Rodney W. Topor (J. Log. Program., 1987)

Domain-Independent Formulas and Databases. - Rodney W. Topor (Theor. Comput. Sci., 1987)

On Domain Independent Databases. - Rodney W. Topor; Liz Sonenberg (Foundations of Deductive Databases and Logic Programming., 1988)

On Domain Independent Disjunctive Databases. - Liz Sonenberg; Rodney W. Topor (ICDT, 1988)

Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. - David B. Kemp; Rodney W. Topor (ICLP/SLP, 1988)

Inferring Negative Information from Disjunctive Databases. - Kenneth A. Ross; Rodney W. Topor (J. Autom. Reason., 1988)

A Preferred Model Semantics for Inheritance Systems. - Liz Sonenberg; Rodney W. Topor (LPNMR, 1990)

Safety and Translation of Relational Calculus Queries. - Allen Van Gelder; Rodney W. Topor (ACM Trans. Database Syst., 1991)

A Semantics for Typed Logic Programs. - Patricia M. Hill; Rodney W. Topor (Types in Logic Programming, 1992)

Query Transformation for Accessing Heterogeneous Databases. - Alexandre Lefebvre; Peter Bernus; Rodney W. Topor (Workshop on Deductive Databases, JICSLP, 1992)

Incremental Evaluation of Datalog Queries. - Guozhu Dong; Rodney W. Topor (ICDT, 1992)

Using Weakest Preconditions to Simplify Integrity Constraint Checking. - Michael Lawley; Rodney W. Topor; Mark Wallace 001 (Australian Database Conference, 1993)

Querying Heterogeneous Databases: A Case Study. - Alexandre Lefebvre; Peter Bernus; Rodney W. Topor (Australian Database Conference, 1993)

A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. - Gillian Dobbie; Rodney W. Topor (DOOD, 1993)

A Query Language for EER Schemas. - Michael Lawley; Rodney W. Topor (Australasian Database Conference, 1994)

Views of Objects and Rules. - Rodney W. Topor (Australasian Database Conference, 1994)

An Efficient Permutation-Based Parallel Range-Join Algorithm on N-Dimensional Torus Computers. - Shao Dong Chen; Hong Shen 001; Rodney W. Topor (Inf. Process. Lett., 1994)

A Preferred Model Semantics for Inheritance Networks. - Liz Sonenberg; Rodney W. Topor (Methods Log. Comput. Sci., 1994)

Mapping Relational Queries to Network Queries. - Peter Bernus; Rodney W. Topor; R. Wong (Australasian Database Conference, 1995)

Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. - Shao Dong Chen; Hong Shen 001; Rodney W. Topor (ASIAN, 1995)

Resolving Ambiguities caused by Multiple Inheritance. - Gillian Dobbie; Rodney W. Topor (DOOD, 1995)

Nonrecursive Incremental Evaluation of Datalog Queries. - Guozhu Dong; Jianwen Su; Rodney W. Topor (Ann. Math. Artif. Intell., 1995)

On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems. - Gillian Dobbie; Rodney W. Topor (J. Intell. Inf. Syst., 1995)

Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases. - Gillian Dobbie; Rodney W. Topor (Logic in Databases, 1996)

A parallel sort-balance mutual range-join algorithm on hypercube computers. - Richard Wong; Rodney W. Topor; Hong Shen 001 (Microprocess. Microsystems, 1998)

An Adaptive Method of Numerical Attribute Merging for Quantitative Association Rule Mining. - Jiuyong Li; Hong Shen 001; Rodney W. Topor (ICSC, 1999)

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. - Junhu Wang; Rodney W. Topor; Michael J. Maher (DEXA, 2001)

Mining the Smallest Association Rule Set for Predictions. - Jiuyong Li; Hong Shen 001; Rodney W. Topor (ICDM, 2001)

Efficient Permutation-Based Range-Join Algorithms on N-Dimensional Meshes. - Shao Dong Chen; Hong Shen 001; Rodney W. Topor (IPDPS, 2001)

Rewriting General Conjunctive Queries Using Views. - Junhu Wang; Michael J. Maher; Rodney W. Topor (Australasian Database Conference, 2002)

Rewriting Unions of General Conjunctive Queries Using Views. - Junhu Wang; Michael J. Maher; Rodney W. Topor (EDBT, 2002)

Construct robust rule sets for classification. - Jiuyong Li; Rodney W. Topor; Hong Shen 001 (KDD, 2002)

Mining the optimal class association rule set. - Jiuyong Li; Hong Shen 001; Rodney W. Topor (Knowl. Based Syst., 2002)

An efficient algorithm for constructing Hamiltonian paths in meshes. - Shao Dong Chen; Hong Shen 001; Rodney W. Topor (Parallel Comput., 2002)

Permutation-Based Range-Join Algorithms on N-Dimensional Meshes. - Shao Dong Chen; Hong Shen 001; Rodney W. Topor (IEEE Trans. Parallel Distributed Syst., 2002)

Mining Informative Rule Set for Prediction. - Jiuyong Li; Hong Shen 001; Rodney W. Topor (J. Intell. Inf. Syst., 2004)

Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies. - Junhu Wang; Rodney W. Topor (ADC, 2005)

Merging and Aligning Ontologies in dl-Programs. - Kewen Wang 001; Grigoris Antoniou; Rodney W. Topor; Abdul Sattar 001 (RuleML, 2005)

Rewriting Union Queries Using Views. - Junhu Wang; Rodney W. Topor; Michael J. Maher (Constraints An Int. J., 2005)

Sanitization of Databases for Refined Privacy Trade-Offs. - Ahmed HajYasien; Vladimir Estivill-Castro; Rodney W. Topor (ISI, 2006)

Ontology Merging using Answer Set Programming and Linguistic Knowledge. - Jürgen Bock; Rodney W. Topor; Raphael Volz (OM, 2007)

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. - Yuting Zhao; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan; Fausto Giunchiglia (ISWC/ASWC, 2007)

Forgetting Concepts in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan (ESWC, 2008)

Uniform Interpolation for ALC mathcal{ALC} Revisited. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Australasian Conference on Artificial Intelligence, 2009)

Revision of DL-Lite Knowledge Bases. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (Description Logics, 2009)

Concept and Role Forgetting in ALC{ mathcal {ALC}} Ontologies. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (ISWC, 2009)

Safety and Domain Independence. - Rodney W. Topor (Encyclopedia of Database Systems, 2009)

A New Approach to Knowledge Base Revision in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (AAAI, 2010)

Indexing Temporal Data with Virtual Structure. - Bela Stantic; Justin Terry; Rodney W. Topor; Abdul Sattar 001 (ADBIS, 2010)

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Xiaowang Zhang (ECAI, 2010)

Revising General Knowledge Bases in Description Logics. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (KR, 2010)

Forgetting for knowledge bases in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan (Ann. Math. Artif. Intell., 2010)

Advanced indexing technique for temporal data. - Bela Stantic; Rodney W. Topor; Justin Terry; Abdul Sattar 001 (Comput. Sci. Inf. Syst., 2010)

A Triangular Decomposition Access Method for Temporal Data - TD-tree. - Bela Stantic; Rodney W. Topor; Justin Terry; Abdul Sattar 001 (ADC, 2011)

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Comput. Intell., 2014)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (ACM Trans. Comput. Log., 2015)

Safety and Domain Independence. - Rodney W. Topor (Encyclopedia of Database Systems (2nd ed.), 2018)