| |
| 1998 | ||
|---|---|---|
| 5 | EE | Marcos Veloso Peixoto, Laurent Fribourg: Unfolding Parametric Automata. LATIN 1998: 88-101 |
| 1994 | ||
| 4 | Laurent Fribourg, Marcos Veloso Peixoto: Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE 1994: 311-325 | |
| 3 | Irène Guessarian, Marcos Veloso Peixoto: About Boundedness for Some Datalog and Datalogneg Programs. J. Log. Comput. 4(4): 375-403 (1994) | |
| 1993 | ||
| 2 | Laurent Fribourg, Marcos Veloso Peixoto: Concurrent Constraint Automata. ILPS 1993: 656 | |
| 1992 | ||
| 1 | Irène Guessarian, Marcos Veloso Peixoto: About Boundedness for some DATALOG and DATALOG_neg Programs. MFCS 1992: 284-297 | |
| 1 | Laurent Fribourg | [2] [4] [5] |
| 2 | Irène Guessarian | [1] [3] |