Francisco Azevedo Vis

*	2009
16	EE	Luís Mingote, Francisco Azevedo: Colored Nonograms: An Integer Linear Programming Approach. EPIA 2009: 213-224
	2008
15	EE	Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo: Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA 2008: 73-82
	2007
14		Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers Springer 2007
13	EE	Ruben Duarte Viegas, Francisco Azevedo: GRASPER. EPIA Workshops 2007: 633-644
12	EE	Francisco Azevedo: Cardinal: A Finite Sets Constraint Solver. Constraints 12(1): 93-129 (2007)
11	EE	Francisco Azevedo: Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. Constraints 12(4): 507-538 (2007)
	2006
10	EE	Francisco Azevedo: An Attempt to Dynamically Break Symmetries in the Social Golfers Problem. CSCLP 2006: 33-47
	2005
9	EE	Gil Loureiro, Francisco Azevedo: Constrained XSL formatting objects for adaptive documents. ACM Symposium on Document Engineering 2005: 95-97
8	EE	Nuno C. Marques, Francisco Azevedo, Carmen Morgado, Jorge F. Custódio: Using Octave to introduce programming to technical science students. ITiCSE 2005: 198-202
	2004
7		José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
	2003
6	EE	Francisco Azevedo: Thesis: Constraint solving over multi-valued logics - application to digital circuits. AI Commun. 16(2): 125-127 (2003)
	2001
5	EE	Francisco Azevedo, Pedro Barahona: Interaction of Constraint Programming and Local Search for Optimisation Problems. CP 2001: 554-559
4	EE	Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego: Computerising a guideline for the management of diabetes. I. J. Medical Informatics 64(2-3): 275-284 (2001)
	2000
3	EE	Francisco Azevedo, Pedro Barahona: Modelling Digital Circuits Problems with Set Constraints. Computational Logic 2000: 414-428
2		Francisco Azevedo, Pedro Barahona: Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77
	1998
1	EE	Francisco Azevedo, Pedro Barahona: Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP 1998: 462

Coauthor Index

1	José Júlio Alferes	[7]
2	Pedro Barahona	[1] [2] [3] [4] [5] [7] [14] [15]
3	Marco Correia	[15]
4	Jorge F. Custódio	[8]
5	Carlos Viegas Damásio	[7]
6	Nuno Estêvão	[4]
7	François Fages	[14]
8	Rosa Gallego	[4]
9	Gil Loureiro	[9]
10	Nuno C. Marques	[8]
11	Luís Mingote	[16]
12	Carmen Morgado	[8]
13	Francesca Rossi	[14]
14	Terrance Swift	[7]
15	Mario Veloso	[4]
16	Ruben Duarte Viegas	[13] [15]

Colors in the list of coauthors