cs-conference-ranking.org Search 971 venues

Khalil Djelloul

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

4

Active years

2006–2009

Best venue rank

Multiconference

Where they publish

Papers

8 indexed papers, newest first.

Year	Venue	Title	Authors
2009	SAC	From exponential to almost linear decomposability of finite or infinite trees.	Khalil Djelloul
2008	AISC	A Full First-Order Constraint Solver for Decomposable Theories.	Khalil Djelloul
2008	SAC	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	Khalil Djelloul
2007	LPNMR	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	Marc Meister, Khalil Djelloul, Jacques Robin
2007	SAC	Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.	Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frhwirth
2006	AISC	Extension of First-Order Theories into Trees.	Khalil Djelloul, Thi-Bich-Hanh Dao
2006	ICLP	Solving First-Order Constraints in the Theory of the Evaluated Trees.	Thi-Bich-Hanh Dao, Khalil Djelloul
2006	SAC	Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.	Khalil Djelloul, Thi-Bich-Hanh Dao