Joxan Jaffar

Available identifiers

Publication	Date of Publication	Type
Model counting for recursively-defined strings	2022-08-12	Paper
Progressive reasoning over recursively-defined strings	2019-05-03	Paper
Shape neutral analysis of graph-based data-structures	2018-12-04	Paper
A framework for combining analysis and verification	2015-03-17	Paper
TRACER: a symbolic execution tool for verification	2012-08-23	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4473044	2004-08-04	Paper
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4391452	1998-06-03	Paper
Toward practical query evaluation for constraint databases	1998-02-11	Paper
Projecting CLP(\({\mathcal R}\)) constraints	1993-01-01	Paper
Minimal and complete word unification	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3793766	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727354	1986-01-01	Paper
Semantics of infinite tree logic programming	1986-01-01	Paper
Canonical logic programs	1986-01-01	Paper
Comments on “general failure of logic programs”	1986-01-01	Paper
A theory of complete logic programs with equality	1984-01-01	Paper
A correctness proof of an indenting program	1983-01-01	Paper
Presburger arithmetic with array segments	1981-01-01	Paper

This page was built for person: Joxan Jaffar