( en | de | ru )

 

Disambiguierung von "Monahan, Rosemary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computational Thinking Resources Inspired by Bebras.

, , , , und . ITiCSE (2), Seite 663. ACM, (2023)

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)Visualization of AI Systems in Virtual Reality: A Comprehensive Review., , und . CoRR, (2023)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , und . UKICER, Seite 19:1. ACM, (2022)CSP2Turtle: Verified Turtle Robot Plans., , , und . Robotics, 12 (2): 62 (April 2023)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)Specification Clones: An Empirical Study of the Structure of Event-B Specifications., , und . SEFM, Volume 10469 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2017)Dafny Meets the Verification Benchmarks Challenge., und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2010)Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving., , und . SAC, Seite 1558-1561. ACM, (2016)