( en | de | ru )

 

Disambiguierung von "Monahan, Rosemary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Upcycling Formal Specifications for Similar Implementations with Arís.

, , und . ICCBR Workshops, Volume 3017 von CEUR Workshop Proceedings, Seite 90-91. CEUR-WS.org, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kelly Monahan

Rosemary Passos

Rosemary Combridge

Rosemary Burton

Rosemary Park

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sound Execution Semantics for ATL via Translation Validation - Research Paper., , und . ICMT, Volume 9152 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2015)Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems., , und . DSN-S, Seite 197-199. IEEE, (2023)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , und . ICCC, Seite 395-399. Association for Computational Creativity (ACC), (2021)An Institution for Event-B., , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2016)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , und . UKICER, Seite 19:1. ACM, (2022)Comparing Differentiable Logics for Learning with Logical Constraints., , und . CoRR, (2024)Introduction to the Special Collection from iFM 2022., und . Formal Aspects Comput., 35 (3): 17 (September 2023)On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin., , und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 821-838. (2016)Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability., , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 140-156. Springer, (2017)Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers., , , , und . ITiCSE (1), Seite 207-213. ACM, (2022)