Nathalie Chetcuti-Sperandio

	2008
5		Nathalie Chetcuti-Sperandio, Sylvain Lagrue: How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. KR 2008: 340-347
	2002
4		Nathalie Chetcuti-Sperandio: Tableau-Based Automated Deduction for Duration Calculus. TABLEAUX 2002: 53-69
	2000
3		Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. RelMiCS 2000: 31-44
2		Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A mixed decision method for duration calculus. J. Log. Comput. 10(6): 877-895 (2000)
	1999
1		Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. J. UCS 5(11): 743-764 (1999)

Coauthor Index

1	Luis Fariñas del Cerro	[1] [2] [3]
2	Sylvain Lagrue	[5]

Colors in the list of coauthors