( en | de | ru )

 

Disambiguation of "Monahan, Rosemary"

Author of the publication

copydeleteadd this publication to your clipboard
Computational Thinking Resources Inspired by Bebras.

, , , , and . ITiCSE (2), page 663. ACM, (2023)

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.

Kelly Monahan

Rosemary Passos

Rosemary Combridge

Rosemary Burton

Rosemary Park

 

Other publications of authors with the same name

A Sound Execution Semantics for ATL via Translation Validation - Research Paper., , and . ICMT, volume 9152 of Lecture Notes in Computer Science, page 133-148. Springer, (2015)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , and . ICCC, page 395-399. Association for Computational Creativity (ACC), (2021)An Institution for Event-B., , and . WADT, volume 10644 of Lecture Notes in Computer Science, page 104-119. Springer, (2016)Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems., , and . DSN-S, page 197-199. IEEE, (2023)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , and . UKICER, page 19:1. ACM, (2022)On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin., , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 821-838. (2016)Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability., , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 140-156. Springer, (2017)Towards Refactoring FRETish Requirements., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 272-279. Springer, (2022)Upcycling Formal Specifications for Similar Implementations with Arís., , and . ICCBR Workshops, volume 3017 of CEUR Workshop Proceedings, page 90-91. CEUR-WS.org, (2021)Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers., , , , and . ITiCSE (1), page 207-213. ACM, (2022)