Ciencias Matemáticas

1997

1. A relatively Optimal Rational Space Curve Reparametrization Algorithm through Canonical Divisors

   Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97]

2. A sound and complete proof system for probabilistic processes

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

3. Approximate controllability and obstruction phenomena for quasilinear diffusion equations

   COMPUTATIONAL SCIENCE FOR THE 21ST CENTURY

4. Approximate controllability of the semilinear heat equation: boundary control

   COMPUTATIONAL SCIENCE FOR THE 21ST CENTURY

5. Denotational semantics for timed testing

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

6. Dynamic resource planning applied to distribution transformers

   IEE Conference Publication

7. Eden coordination model for distributed memory systems

   Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

8. Educación de mujeres: de la teoría a la práctica

   Segundas Jornadas sobre Matemáticas y Educación

9. Introducing friendly testing

   V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

10. Invariants for space curves singularities via Maple

    Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97]

11. La mayoría y los mejores alumnos de matemáticas son mujeres

    Matemáticas y coeducación: Segundas Jornadas sobre Matemáticas y Coeducación

12. La potencia de un triángulo: un concepto acuñado por un matemático gallego

    Ciencias, educación e historia: actas do V Simposio de Historia e Ensino das Ciencias : Vigo, setembro 1995

13. Non deterministic fuzzy classification systems

    IEEE International Conference on Fuzzy Systems

14. Non deterministic fuzzy classification systems

    PROCEEDINGS OF THE SIXTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS I - III

15. Relatively optimal rational space curve reparametrization algorithm through canonical divisors

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

16. SISPIR: An integrated system for multi-stage investment plan selection and scheduling in an electric distribution network

    IEE Conference Publication

17. Spatial disorder and waves in a ring chain of bistable oscillators

    PROCEEDINGS OF THE WORKSHOP ON DISCRETELY-COUPLED DYNAMICAL SYSTEMS