Publicaciones (45) Publicaciones en las que ha participado algún/a investigador/a

2023

  1. Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics

    SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education

2022

  1. ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation

    SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2

2021

  1. Learning Compiler Design: From the Implementation to Theory

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

  2. Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses

    SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education

2019

  1. Computability and Algorithmic Complexity Questions in Secondary Education

    CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education

2011

  1. A learning methodology based on semantic tableaux for software engineering education

    2011 24th IEEE-CS Conference on Software Engineering Education and Training, CSEE and T 2011 - Proceedings

  2. A logic teaching tool based on tableaux for verification and debugging of algorithms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. A modular semantics for higher-order declarative programming with constraints

    PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming

  4. A theoretical framework for the higher-order cooperation of numeric constraint domains

    Electronic Notes in Theoretical Computer Science

  5. An educational tool based on semantic tableaux for verification and debugging of algorithms: Experiences and results

    CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education

  6. An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs

    Procedia Computer Science