Francisco Azevedo

According to our database, Francisco Azevedo authored at least 20 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Estimating Objects' Weight in Precision Grips Using Skin-Like Sensors.

Francisco Azevedo, Joana Carmona, Tiago Paulino, Plinio Moreno

Proceedings of the ROBOT 2017: Third Iberian Robotics Conference, 2017

2013

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, Evangelos Karapanos

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2011

Domain-Splitting Generalized Nogoods from Restarts.

Luís M. T. Baptista, Francisco Azevedo

Proceedings of the Progress in Artificial Intelligence, 2011

2010

GRASPER: constraint reasoning with graphs.

Ruben Duarte Viegas, Francisco Azevedo

Int. J. Reason. based Intell. Syst., 2010

2009

Lazy Constraint Imposing for Improving the Path Constraint.

Ruben Duarte Viegas, Francisco Azevedo

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Colored Nonograms: An Integer Linear Programming Approach.

Luís Mingote, Francisco Azevedo

Proceedings of the Progress in Artificial Intelligence, 2009

2008

Using Indexed Finite Set Variables for Set Bounds Propagation.

Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo

Proceedings of the Advances in Artificial Intelligence, 2008

2007

Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.

Francisco Azevedo

Constraints An Int. J., 2007

Cardinal: A Finite Sets Constraint Solver.

Francisco Azevedo

Constraints An Int. J., 2007

GRASPER.

Ruben Duarte Viegas, Francisco Azevedo

Proceedings of the Progress in Artificial Intelligence, 2007

2006

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.

Francisco Azevedo

Proceedings of the Recent Advances in Constraints, 2006

2005

Using Octave to introduce programming to technical science students.

Nuno C. Marques, Francisco Azevedo, Carmen Morgado, Jorge F. Custódio

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Constrained XSL formatting objects for adaptive documents.

Gil Loureiro, Francisco Azevedo

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004

Deductive Diagnosis of Digital Circuits.

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

2003

Thesis: Constraint solving over multi-valued logics - application to digital circuits.

Francisco Azevedo

AI Commun., 2003

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

Interaction of Constraint Programming and Local Search for Optimisation Problems.

Francisco Azevedo, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.

Francisco Azevedo, Pedro Barahona

Proceedings of the ECAI 2000, 2000

Modelling Digital Circuits Problems with Set Constraints.

Francisco Azevedo, Pedro Barahona

Proceedings of the Computational Logic, 2000

1998

Generation of Test Patterns for Differential Diagnosis of Digital Circuits.

Francisco Azevedo, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1998