Pierre Girodias

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

3 Pierre Girodias, Eduard Cerny: Interface timing verification with delay correlation using constraint logic programming. ED&TC 1997: 12-19

2 Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. Theor. Comput. Sci. 173(1): 253-281 (1997)

1995

1 Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. CP 1995: 186-203

	1997
3		Pierre Girodias, Eduard Cerny: Interface timing verification with delay correlation using constraint logic programming. ED&TC 1997: 12-19
2		Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. Theor. Comput. Sci. 173(1): 253-281 (1997)
	1995
1		Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. CP 1995: 186-203

Coauthor Index

1 Eduard Cerny [1] [2] [3]

2 William J. Older [1] [2]