Generation of Test Patterns for Differential Diagnosis of Digital Circuits. - Francisco Azevedo; Pedro Barahona (CP, 1998)

Modelling Digital Circuits Problems with Set Constraints. - Francisco Azevedo; Pedro Barahona (Computational Logic, 2000)

Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. - Francisco Azevedo; Pedro Barahona (ECAI, 2000)

Interaction of Constraint Programming and Local Search for Optimisation Problems. - Francisco Azevedo; Pedro Barahona (CP, 2001)

Computerising a guideline for the management of diabetes. - Pedro Barahona; Francisco Azevedo; Mario Veloso; Nuno Estêvão; Rosa Gallego (Int. J. Medical Informatics, 2001)

Thesis: Constraint solving over multi-valued logics - application to digital circuits. - Francisco Azevedo (AI Commun., 2003)

Deductive Diagnosis of Digital Circuits. - José Júlio Alferes; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio; Terrance Swift (AIAI, 2004)

Constrained XSL formatting objects for adaptive documents. - Gil Loureiro; Francisco Azevedo (ACM Symposium on Document Engineering, 2005)

Using Octave to introduce programming to technical science students. - Nuno C. Marques; Francisco Azevedo; Carmen Morgado; Jorge F. Custódio (ITiCSE, 2005)

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem. - Francisco Azevedo (CSCLP, 2006)

GRASPER. - Ruben Duarte Viegas; Francisco Azevedo (EPIA Workshops, 2007)

Cardinal: A Finite Sets Constraint Solver. - Francisco Azevedo (Constraints An Int. J., 2007)

Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. - Francisco Azevedo (Constraints An Int. J., 2007)

Using Indexed Finite Set Variables for Set Bounds Propagation. - Ruben Duarte Viegas; Marco Correia; Pedro Barahona; Francisco Azevedo (IBERAMIA, 2008)

Colored Nonograms: An Integer Linear Programming Approach. - Luís Mingote; Francisco Azevedo (EPIA, 2009)

Lazy Constraint Imposing for Improving the Path Constraint. - Ruben Duarte Viegas; Francisco Azevedo (TERMGRAPH@ETAPS, 2009)

GRASPER: constraint reasoning with graphs. - Ruben Duarte Viegas; Francisco Azevedo (Int. J. Reason. based Intell. Syst., 2010)

Domain-Splitting Generalized Nogoods from Restarts. - Luís M. T. Baptista; Francisco Azevedo (EPIA, 2011)

Look what i found!: augmenting phone calls with memories of the past. - Élton Gouveia; Francisco Azevedo; Luís Ferreira; Paulo Caldeira; Vítor Almeida; Rúben Gouveia 001; Evangelos Karapanos (CHI Extended Abstracts, 2013)

Estimating Objects' Weight in Precision Grips Using Skin-Like Sensors. - Francisco Azevedo; Joana Carmona; Tiago Paulino; Plinio Moreno (ROBOT (2), 2017)