Francisco Azevedo

22 papers A 3B 2Misc 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2017 — conf
Estimating Objects' Weight in Precision Grips Using Skin-Like Sensors.
ROBOT (2)
Francisco Azevedo, Joana Carmona, Tiago Paulino, Plinio Moreno
2013 — conf
Look what i found!: augmenting phone calls with memories of the past.
CHI Extended Abstracts
Élton Gouveia, Francisco Azevedo, Luís Ferreira, Paulo Caldeira, Vítor Almeida, Rúben Gouveia, Evangelos Karapanos
2011 Misc conf
Domain-Splitting Generalized Nogoods from Restarts.
EPIA
Luís M. T. Baptista, Francisco Azevedo
2010 J jnl
GRASPER: constraint reasoning with graphs.
Int. J. Reason. based Intell. Syst.
Ruben Duarte Viegas, Francisco Azevedo
2009 Misc conf
Colored Nonograms: An Integer Linear Programming Approach.
EPIA
Luís Mingote, Francisco Azevedo
2009 — conf
Lazy Constraint Imposing for Improving the Path Constraint.
TERMGRAPH@ETAPS
Ruben Duarte Viegas, Francisco Azevedo
2008 — conf
Using Indexed Finite Set Variables for Set Bounds Propagation.
IBERAMIA
Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo
2007 J jnl
Cardinal: A Finite Sets Constraint Solver.
Constraints An Int. J.
Francisco Azevedo
2007 — conf
GRASPER.
EPIA Workshops
Ruben Duarte Viegas, Francisco Azevedo
2007 J jnl
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.
Constraints An Int. J.
Francisco Azevedo
2007 — ed.
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
CSCLP
Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi
2006 — conf
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.
CSCLP
Francisco Azevedo
2005 B conf
Constrained XSL formatting objects for adaptive documents.
ACM Symposium on Document Engineering
Gil Loureiro, Francisco Azevedo
2005 B conf
Using Octave to introduce programming to technical science students.
ITiCSE
Nuno C. Marques, Francisco Azevedo, Carmen Morgado, Jorge F. Custódio
2004 Misc conf
Deductive Diagnosis of Digital Circuits.
AIAI
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
2003 J jnl
Thesis: Constraint solving over multi-valued logics - application to digital circuits.
AI Commun.
Francisco Azevedo
2002 — —
Constraint solving over multi-valued logics - application to digital circuits.
Francisco Azevedo
2001 J jnl
Computerising a guideline for the management of diabetes.
Int. J. Medical Informatics
Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego
2001 A conf
Interaction of Constraint Programming and Local Search for Optimisation Problems.
CP
Francisco Azevedo, Pedro Barahona
2000 A conf
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.
ECAI
Francisco Azevedo, Pedro Barahona
2000 — conf
Modelling Digital Circuits Problems with Set Constraints.
Computational Logic
Francisco Azevedo, Pedro Barahona
1998 A conf
Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
CP
Francisco Azevedo, Pedro Barahona