Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs., , , , , and . Sci. Comput. Program., (2018)Verifying CUDA programs using SMT-based context-bounded model checking., , , , , , , and . SAC, page 1648-1653. ACM, (2016)SMT-based context-bounded model checking for CUDA programs., , , , , , and . Concurr. Comput. Pract. Exp., (2017)Technological Structure for Technology Integration in the Classroom, Inspired by the Maker Culture., , and . J. Inf. Technol. Educ. Res., (2020)Extended Remote Laboratories: A Systematic Review of the Literature From 2000 to 2022., , , and . IEEE Access, (2023)A Pedagogical Model for Integrating Digital Technologies in Education: Workshops on Sustainable Development Goals (SDGS)., , , , and . J. Inf. Technol. Educ. Res., (2023)Ensuring Source Code Propagation Procedures for a Large-Scale Software Development Scenario: An Experience Report., , , , , and . ICSCA, page 112-118. ACM, (2021)Collaborative virtual community to share class plans for STEAM education., , and . EDUCON, page 158-163. IEEE, (2020)Using Ozires, a Humanoid Robot, to Continuing Education of Healthcare Workers: A Pilot Study., , , , , and . CSEDU (2), page 293-299. SciTePress, (2017)Classifying Emotions in Twitter Messages Using a Deep Neural Network., , , and . DCAI (Special Sessions), volume 801 of Advances in Intelligent Systems and Computing, page 283-290. Springer, (2018)