Using Telecommunication Instructional Modelling System in Communications Systems Course

von Song, Jiahui
Veröffentlicht in American Society for Engineering Education. Annual Conference and Exposition (124. : 2017 : Columbus, Ohio) 124th American Society for Engineering Education Annual Conference and Exposition 2017 ; Volume 16 of 33 (2018)

Automated Verification for Real-Time Systems: via Implicit Clocks and an Extended Antimirov Algorithm

von Song, Yahui
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

A Synchronous Effects Logic for Temporal Verification of Pure Esterel

von Song, Yahui
Veröffentlicht in VMCAI (22. : 2021 : Online) Verification, model checking, and abstract interpretation (2021)

Automated Temporal Verification of Integrated Dependent Effects

von Song, Yahui
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Board 85: Using Telecommunication Instructional Modeling System (TIMS) in Electrical, Computer Engineering Courses

von Song, Jiahui
Veröffentlicht in ASEE Annual Conference and Exposition (130. : 2023 : Baltimore, Md.) American Society for Engineering Education Annual Conference and Exposition 2023 ; Volume 29 of 36 (2023)

Automated Temporal Verification for Algebraic Effects

von Song, Yahui
Veröffentlicht in APLAS (20. : 2022 : Auckland) Programming languages and systems (2022)

IN-CLASS LABORATORY EXERCISES TO IMPROVE A SIGNALS AND SYSTEMS COURSE

von Song, Jiahui
Veröffentlicht in American Society for Engineering Education (126. : 2019 : Tampa, Fla.) Charged up for the next 125 years ; Volume 29 of 30 = 29/31 (2021)

The different relations of extrinsic, introjected, identified regulation and intrinsic motivation on employees' performance : empirical studies following self-determination theor...

von Zhang, Jian
Veröffentlicht in Management decision (2016)

GIRL SCOUTS STEM DAY

von Song, Jiahui
Veröffentlicht in American Society for Engineering Education (126. : 2019 : Tampa, Fla.) Charged up for the next 125 years ; Volume 22 of 30 = 22/31 (2021)

STEM Program for Female Students During COVID-19 Pandemic

von Kamat, Anuja
Veröffentlicht in ASEE Annual Conference (129. : 2022 : Minneapolis, Minn.) Excellence through diversity ; Volume 30 of 30 (2023)

GIRL SCOUTS STEM DAY PROGRAM

von Song, Jiahui
Veröffentlicht in American Society for Engineering Education (127. : 2020 : Online) At home with engineering education ; Volume 29 of 30 (2021)

STEM PROGRAM FOR FEMALE HIGH SCHOOL STUDENTS

von Song, Jiahui
Veröffentlicht in American Society for Engineering Education (127. : 2020 : Online) At home with engineering education ; Volume 29 of 30 (2021)

Board 176: Summer Robotics Program for High School Students

von Song, Jiahui
Veröffentlicht in ASEE Annual Conference and Exposition (130. : 2023 : Baltimore, Md.) American Society for Engineering Education Annual Conference and Exposition 2023 ; Volume 29 of 36 (2023)