Joxan Jaffar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Model counting for recursively-defined strings	2022-08-12	Paper
Progressive reasoning over recursively-defined strings Computer Aided Verification	2019-05-03	Paper
Shape neutral analysis of graph-based data-structures Theory and Practice of Logic Programming	2018-12-04	Paper
A framework for combining analysis and verification Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
TRACER: a symbolic execution tool for verification Computer Aided Verification	2012-08-23	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	Paper
scientific article; zbMATH DE number 2080325 (Why is no real title available?)	2004-08-04	Paper
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 The Journal of Logic Programming	1999-05-31	Paper
scientific article; zbMATH DE number 1158761 (Why is no real title available?)	1998-06-03	Paper
Toward practical query evaluation for constraint databases Constraints	1998-02-11	Paper
Projecting CLP(\({\mathcal R}\)) constraints New Generation Computing	1993-01-01	Paper
Minimal and complete word unification Journal of the ACM	1990-01-01	Paper
scientific article; zbMATH DE number 4058908 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3958699 (Why is no real title available?)	1986-01-01	Paper
Semantics of infinite tree logic programming Theoretical Computer Science	1986-01-01	Paper
Canonical logic programs The Journal of Logic Programming	1986-01-01	Paper
Comments on “general failure of logic programs” The Journal of Logic Programming	1986-01-01	Paper
A theory of complete logic programs with equality The Journal of Logic Programming	1984-01-01	Paper
A correctness proof of an indenting program Software: Practice and Experience	1983-01-01	Paper
Presburger arithmetic with array segments Information Processing Letters	1981-01-01	Paper

Research outcomes over time

This page was built for person: Joxan Jaffar