Author of the publication

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.

, and . J. Autom. Reason., 46 (3-4): 293-323 (2011)

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

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation., and . J. Autom. Reason., 46 (3-4): 293-323 (2011)Encoding cryptographic primitives in a calculus with polyadic synchronization., and . TMFCS, page 102-109. ISRST, (2008)A data-driven approach to predict first-year students' academic success in higher education institutions., , , and . Educ. Inf. Technol., 26 (2): 2165-2190 (2021)Provision of academic data for research: A step for academic success., , , and . Educ. Inf., 36 (4): 389-407 (2020)Microworlds with Different Pedagogical Approaches in Introductory Programming Learning: Effects in Programming Knowledge and Logical Reasoning.. Informatica (Slovenia), (2019)Using game concepts to improve programming learning: A multi-level meta-analysis.. Comput. Appl. Eng. Educ., 31 (4): 1098-1110 (July 2023)Using Alice Software with 4C-ID Model: Effects in Programming Knowledge and Logical Reasoning., and . Informatics Educ., 18 (1): 1-15 (2019)Constructed Response or Multiple-Choice Questions for Assessing Declarative Programming Knowledge? That is the Question!, , , , , and . J. Inf. Technol. Educ. Innov. Pract., (2019)Relation between Alice software and programming learning: A systematic review of the literature and meta-analysis., and . Br. J. Educ. Technol., 48 (6): 1464-1474 (2017)Using a scenario-based learning with robots to increase the programming interest.. TEEM, page 133-138. ACM, (2014)