Centre/Institut
Instituto de Tecnología del Conocimiento (ITC)
Publicacions (22) Publicacions en què ha participat algun/a investigador/a
1996
-
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)
-
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
-
Fuzzy-PID controllers vs. fuzzy-PI controllers
IEEE International Conference on Fuzzy Systems
-
Inclusions and subtypes I: First-order case
Journal of Logic and Computation, Vol. 6, Núm. 3, pp. 409-438
-
Inclusions and subtypes II: Higher-order case
Journal of Logic and Computation, Vol. 6, Núm. 4, pp. 541-572
-
Influence of the Information Processing in Fuzzy Logic Controllers
Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España
-
Method for area estimation of data-path in high level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, Núm. 2, pp. 258-265
-
New look at pattern matching in abstract data types
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
-
Rewriting Logic as a Logical and Semantic Framework This paper is a short version of [36], where the reader can find more examples and details not discussed here.
Electronic Notes in Theoretical Computer Science, Vol. 4, Núm. C, pp. 190-225
-
Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]
Universidad Complutense de Madrid
-
Some aspects about the scalability of scientific applications on parallel architectures
Parallel Computing, Vol. 22, Núm. 9, pp. 1169-1195
-
Supporting object reuse through case-based reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The TINA network resource model
IEEE Communications Magazine, Vol. 34, Núm. 3, pp. 74-79
-
The design and implementation of K: A high-level knowledge-base programming language of OSAM*.KBMS
VLDB Journal, Vol. 5, Núm. 3, pp. 181-195
-
Theorem proving modulo associativity
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Towards integration of service and network management in TINA
Journal of Network and Systems Management, Vol. 4, Núm. 3, pp. 299-317