Lluís Ribas

12 papers A* 1A 2C 4Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2006 — conf
Limpieza de superficies desconocidas mediante grupos de robots cooperantes.
Workshop de Agentes Físicos
Noreddine Yahia-Cheikh, Jonatan Trullàs, Lluís Ribas
2006 — conf
Un algoritmo de decisión para robots autónomos cooperantes para el desminado.
Workshop de Agentes Físicos
Albert Mauri, Jonatan Trullàs, Lluís Ribas
2005 C conf
Hardware Synthesis of Parallel Machines from SystemC.
FDL
Antoni Portero, Lluís Ribas, Jordi Carrabina
2003 C conf
On Hardware Description in ECL.
FDL
Lluís Ribas, Joaquín Saiz
1999 A conf
Digital MOS Circuit Partitioning with Symbolic Modeling.
DATE
Lluís Ribas, Jordi Carrabina
1998 A conf
On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits.
DATE
Lluís Ribas, Jordi Carrabina
1997 J jnl
Deriving cost functions from cell libraries and real ICs to allow real area-power-delay trade-off in early stages of logic synthesis.
J. Syst. Archit.
Jordi Riera, Lluís Ribas, A. Josep Velasco, Jordi Carrabina
1995 A* conf
Analysis of Switch-Level Faults by Symbolic Simulation.
DAC
Lluís Ribas, Jordi Carrabina
1995 C conf
Symbolic Analysis for Fault Detection in Switch-Level Circuits.
ISCAS
Lluís Ribas, Jordi Carrabina
1994 — conf
A Fuzzy Rule Interpreter to Build Expert Systems Based on Fuzzy Logic. An Application in Company Diagnosis.
Fuzzy Days
A. Josep Velasco, Lluís Ribas, Elena Valderrama, R. Gracia
1994 C conf
Short Destabilizing Paths in Timing Verification.
ICCD
Rafael Peset Llopis, Lluís Ribas, Jordi Carrabina
1993 J jnl
Automatic pattern generation for the electrical characterization of digital modules.
Microprocess. Microprogramming
Lluís Ribas, Jordi Riera, J. M. Pérez, Joaquín Saiz, Jordi Carrabina, Lluís Terés