Facultad
Informática
Publicaciones (45) Publicaciones en las que ha participado algún/a investigador/a
1996
-
A G/M/1-Queue with Exponential Retrial
Top, Vol. 4, Núm. 1, pp. 99-120
-
A Maude specification of an object-oriented database model for telecommunication networks
Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 405-423
-
A method for area estimation of datapath in high level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, Núm. 2, pp. 258265
-
A new look at pattern matching in abstract data types
SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 31, Núm. 6, pp. 110-121
-
A recursive path ordering for higher-order terms in η-long β-normal form
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A rewriting logic for declarative programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algebraic support for transfomational hardware allocation
Proceedings of the 1996 European Conference on Design and Test, EDTC 1996
-
Algebraic support for transformational hardware allocation
Proceedings of European Design and Test Conference
-
Arquitectura de ordenadores: teoría y ejercicios resueltos
RA-MA
-
Aspectos algorítmicos de algunos problemas de Geometría semialgebraica
Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996
-
Between fuzzy-PID and PID-conventional controllers: a good choice
Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS
-
Derivative action in pid-fuzzy controllers
Cybernetics and Systems, Vol. 27, Núm. 5, pp. 413-424
-
Disjointly strictly singular operators and interpolation
Royal Society of Edinburgh - Proceedings A, Vol. 126, Núm. 5, pp. 1011-1026
-
Dynamic load balancing in a heterogeneous environment under PVM
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996
-
EPIDO: A surveillance information system to automatically detect notifiable diseases
Studies in Health Technology and Informatics
-
El lenguaje y la informática: Dependencias mutuas
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 5
-
Formalismos lógicos para el procesamiento del lenguaje natural
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996)
-
Free variable tableaux for a many sorted logic with preorders
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Functional skeletons generate process topologies in Eden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Fuzzy-PID controllers vs. fuzzy-PI controllers
IEEE International Conference on Fuzzy Systems