Concepedia

Aïda Batarekh

AB

Statistics

Publications

5

Citations

216

H-Index

5

Active since

1989

Affiliations

Concordia University(Current)

Aïda Batarekh is an author at Concordia University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningVerificationExpert SystemsFormal MethodsSoftware AnalysisFormal VerificationSystems EngineeringProgram Analysis

Publications per year

1989–1992

5

Publications

5

Principles and practice in verifying rule-based systems

Alun Preece, Rajjan Shinghal, Aïda Batarekh · The Knowledge Engineering Review · 1992 · 69 citations

Anomaly Detection, Engineering, Verification +19

Verifying expert systems: A logical framework and a practical tool

Alun Preece, Rajjan Shinghal, Aïda Batarekh · Expert Systems with Applications · 1992 · 57 citations

Engineering, Automated Reasoning, Expert Systems +12

Specifying an expert system

Aïda Batarekh, Alun Preece, Anne Bennett et al. · Expert Systems with Applications · 1991 · 36 citations

Artificial Intelligence, Engineering, Expert Systems +7

Expert system evaluation techniques: a selected bibliography

Peter Grogono, Aïda Batarekh, Alun Preece et al. · Expert Systems · 1991 · 35 citations

Software Maintenance, Engineering, Verification +22

Topological Model Set Deformations in Logic Programming

Aïda Batarekh, V. S. Subrahmanian · Fundamenta Informaticae · 1989 · 19 citations

Relational Queries, Topological Properties, Applied Logic +13

1–5 of 5