Instituto de Tecnología del Conocimiento (ITC)

1992

1. Automatic diagnosis of the lung mechanical function

   Proceedings of SPIE - The International Society for Optical Engineering

2. Basic superposition is complete

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3. Design control in a high level synthesis system

   Microprocessing and Microprogramming, Vol. 34, Núm. 1-5, pp. 93-96

4. HEURISTICS FOR BRANCH-AND-BOUND GLOBAL ALLOCATION

   EURO-DAC 92 : EUROPEAN DESIGN AUTOMATION CONFERENCE

5. Heuristics for branch-and-bound global allocation

   European Design Automation Conference

6. Theorem proving with ordering constrained clauses

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)