Departament
Sistemas Informáticos y Computación
Aportacions a congrés (32) Publicacions en què ha participat algun/a investigador/a
2002
-
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 polynomial-cost non-determinism analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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
-
Declarative debugging for encapsulated search
Electronic Notes in Theoretical Computer Science
-
Deriving non-hierarchical process topologies
TRENDS IN FUNCTIONAL PROGRAMMING 3
-
Electronic books for programming education: A review and future prospects
Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE)
-
Encoding pamr into (Timed) efsms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Ergotracer: An internet user behaviour tracer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Formal specification of JavaSpaces™ architecture using μCRL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Including malicious agents into a collaborative learning environment
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Introducing the golden section to computer science
Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002