Concepedia

Joxan Jaffar

JJ

41

Publications

5.4K

Citations

25

H-Index

1981

Active since

Affiliations

National University of Singapore(Current)

The University of Melbourne

Carnegie Mellon University

IBM (United States)

Monash University

Joxan Jaffar is an author at National University of Singapore specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisLogic ProgrammingSoftware AnalysisComputer EngineeringSystems Engineering

Publications per year

1981–2021

41

Publications

41

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Mathematical Programming, Engineering, Clp Systems +18

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Mathematical Programming, Constraint Solving, Engineering +8

The CLP( ℛ ) language and system

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey et al. · ACM Transactions on Programming Languages and Systems · 1992 · 524 citations · Full text

Engineering, Software Engineering, Semantics +23

The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Joxan Jaffar, Michael J. Maher, Kim Marriott et al. · The Journal of Logic Programming · 1998 · 189 citations

Constraint Solving, Engineering, Automated Reasoning +9

Methodology and Implementation of a CLP System

Joxan Jaffar, Spiro Michaylov · International Conference on Lightning Protection · 1987 · 177 citations

Engineering, System Programming, Computer Engineering +7

Rows per page

1–5 of 41