( en | de | ru )

 

Disambiguation of "Monahan, Rosemary"

Author of the publication

copydeleteadd this publication to your clipboard
The COST IC0701 Verification Competition 2011.

, , , , , , , , , , , , , , , , and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 3-21. Springer, (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.

Kelly Monahan

Rosemary Passos

Rosemary Combridge

Rosemary Burton

Rosemary Park

 

Other publications of authors with the same name

An Institution for Event-B., , and . WADT, volume 10644 of Lecture Notes in Computer Science, page 104-119. Springer, (2016)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , and . ICCC, page 395-399. Association for Computational Creativity (ACC), (2021)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)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)Introduction to the Special Collection from iFM 2022., and . Formal Aspects Comput., 35 (3): 17 (September 2023)Comparing Differentiable Logics for Learning with Logical Constraints., , and . CoRR, (2024)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)Building Specifications in the Event-B Institution: A Summary., , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 245-253. Springer, (2023)