Departamento
Sistemas Informáticos y Computación
Achegas congreso (75) Publicacións nas que participase algún/ha investigador/a
2008
-
A Gentle Introduction to Mutual Recursion
ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION
-
A Rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A debugger for parallel haskell dialects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science
-
A formal methodology to specify hierarchical agent-based systems
SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems
-
A fully CPU-implemented rigid body simulator
GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications
-
A gentle introduction to mutual recursion
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
-
A hierarchy of equivalences for probabilistic processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A lightweight combination of semantics for non-deterministic functions
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
-
A practical type analysis for verification of modular prolog programs
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
-
A theoretical framework for the declarative debugging of datalog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A tool for teaching interactions between design patterns
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
-
A type system for safe memory management and its proof of correctness
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
-
A write-based solver F or SAT modulo the theory of arrays
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD
-
ACABARASE: An anti-spam case-based reasoning system
3rd International Conference on Systems, ICONS 2008
-
Agrega - Spanish education community federation of repositories of learning objects
MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of e-Learning 2008
-
An algorithm to compute the transitive closure, A transitive approximation and a transitive opening of a proximity
World Scientific Proceedings Series on Computer Engineering and Information Science 1; Computational Intelligence in Decision and Control - Proceedings of the 8th International FLINS Conference
-
An instructor's guide to design Web-based algorithm animations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)