Marcos Veloso Peixoto

	1998
5		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

Coauthor Index

1	Laurent Fribourg	[2] [4] [5]
2	Irène Guessarian	[1] [3]

Colors in the list of coauthors