| |
| 2006 | ||
|---|---|---|
| 2 | EE | Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille: Automatic generation of simplified weakest preconditions for integrity constraint verification CoRR abs/cs/0603053: (2006) |
| 1998 | ||
| 1 | EE | Ahmed Ait-Bouziad, Helen Kassel: An Inproved Algorithm for Retrieving Fuzzy Information from Two Systems. Inf. Process. Lett. 65(2): 63-66 (1998) |
| 1 | Irène Guessarian | [2] |
| 2 | Helen Kassel | [1] |
| 3 | Laurent Vieille | [2] |