( en | de | ru )

 

Disambiguation of "Yuen, Shoji"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Analysis of Real-Time Systems with Mutex Components.

, , and . Int. J. Found. Comput. Sci., 23 (4): 831-852 (2012)

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.

Marvin Yuen

Jenny Yuen

Rafael Shoji

Tak-Hong Yuen

Shoji Wada

 

Other publications of authors with the same name

Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges., , and . J. Web Eng., 4 (2): 144-164 (2005)Concurrency and Reversibility., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)Foreword.. IEICE Trans. Inf. Syst., 95-D (5): 1341 (2012)A Reversible Runtime Environment for Parallel Programs., and . RC, volume 12227 of Lecture Notes in Computer Science, page 272-279. Springer, (2020)Modeling and Analysis of Real-Time Systems with Mutex Components., , and . Int. J. Found. Comput. Sci., 23 (4): 831-852 (2012)Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT., , , , and . J. Inf. Process., (2020)Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation., and . J. Log. Algebraic Methods Program., (2004)Extending Process Languages with Time., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 524-538. Springer, (1997)Nested Timed Automata with Frozen Clocks., , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 189-205. Springer, (2015)