Departamento
Sistemas Informáticos y Computación
Publicaciones (48) Publicaciones en las que ha participado algún/a investigador/a
2002
-
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439
-
A declarative debugging system for lazy functional logic programs
Electronic Notes in Theoretical Computer Science
-
A formal framework for E-Barter based on microeconomic theory and process algebras
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A fully syntactic AC-RPO
Information and Computation, Vol. 178, Núm. 2, pp. 515-533
-
A polynomial-cost non-determinism analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A system to generate electronic books on programming exercises
Electronic Library, Vol. 20, Núm. 4, pp. 314-321
-
AI analysis patterns as UML meta-model constructs
ACM International Conference Proceeding Series
-
An operational semantics for declarative multi-paradigm languages
Electronic Notes in Theoretical Computer Science
-
An operational semantics for the parallel language Eden
Parallel Processing Letters
-
Approaches to comprehension-preserving graphical reduction of program visualizations
Proceedings of the ACM Symposium on Applied Computing
-
Approximation theorems in o-minimal structures
Illinois Journal of Mathematics, Vol. 46, Núm. 1, pp. 111-128
-
Bifurcation sets of definable functions in o-minimal structures
Proceedings of the American Mathematical Society
-
Building tools for lotos symbolic semantics in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Combining norms to prove termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Comparing Meseguer's rewriting logic with the logic CRWL
Electronic Notes in Theoretical Computer Science
-
Complex systems in APL: Fractals, evolving cellular automata and artificial life
Proceedings of the 2002 Conference on APL: Array Processing Languages: Lore, Problems, and Applications, APL-LPA 2002
-
Computing Curricula 2001
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 157, pp. 47
-
Declarative debugging for encapsulated search
Electronic Notes in Theoretical Computer Science
-
Deriving non-hierarchical process topologies
TRENDS IN FUNCTIONAL PROGRAMMING 3
-
Describing generic expertise models as object-oriented analysis patterns: The heuristic multi-attribute decision pattern
Expert Systems, Vol. 19, Núm. 3, pp. 142-169