Kongressbeiträge (23) Publikationen, an denen Forscher/innen teilgenommen haben

1991

  1. A complete proof system for timed observations

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

  2. Comportamiento asintótico de las geodesicas incompletas en un toro orientado de Lorentz

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  3. Comunicación: La comunicación en las matemáticas

    La comunicación

  4. Control del diseño en un sistema de síntesis de alto nivel

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

  5. DIVERSITY INDEX BASED ON THE HYPOENTROPY MEASURE FOR STRATIFIED SAMPLING METHODS

    FIFTEENTH PORTUGUESE-SPANISH CONFERENCE ON MATHEMATICS : PROCEEDINGS, VOLS 1-6

  6. Efecto doppler en campos gravitatorios débiles

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  7. F-numerables-compactificaciones de espacios isocompactos y localmente compactos

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  8. Fuzzy multicriteria techniques: An application to transport planning

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

  9. Generalizaciones de la divergencia informacional

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  10. Geometría de triángulos geodésicos y relación entre referencias móviles sobre curvas temporales

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  11. Métodos convolutivos en sistemas de colas con reintegros

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  12. On narrowing strategies for partial non-strict functions

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

  13. Operational Semantics for Timed Observations

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

  14. Resultados recientes de controlabilidad de estructuras flexibles multidimensionales

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

  15. STRONG-CONVERGENCE ON THE EXACT BOUNDARY CONTROLLABILITY OF THE WAVE-EQUATION IN PERFORATED DOMAINS

    ESTIMATION AND CONTROL OF DISTRIBUTED PARAMETER SYSTEMS

  16. Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems

    Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

  17. Sobre el abierto de la variedad de las álgebras de Lie nilpotentes de dimensión 9, formado por las leyes filiformes

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  18. Sobre los espacios Cech-Completos

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

  19. The one dimensional porous medium equation with a strong convection: study via lagrangian coordinates

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

  20. Un sistema flexible de síntesis de alto nivel

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991