BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Denmark
1 × France
1 × USA
Collaborated with:
G.Ferrand A.Legtchenko M.Benedetti J.Vautard
Talks about:
program (2) partial (2) domain (2) logic (2) sup (2) constraint (1) character (1) adversari (1) composit (1) approxim (1)

Person: Arnaud Lallouet

DBLP DBLP: Lallouet:Arnaud

Contributed to:

SAC 20082008
SAC 20062006
ICLP 20022002
ILPS 19951995

Wrote 4 papers:

SAC-2008-BenedettiLV #modelling #scheduling
Modeling adversary scheduling with QCSP+ (MB, AL, JV), pp. 151–155.
SAC-2006-LallouetL #consistency #constraints #satisfiability
From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
ICLP-2002-FerrandL #approximate #finite #logic programming #reduction
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code
A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.