Shoji Yuen

Available identifiers

zbMath Open yuen.shojiMaRDI QIDQ1012120

List of research outcomes

Publication	Date of Publication	Type
revTPL: The Reversible Temporal Process Language	2024-03-11	Paper
A reversible debugger for imperative parallel programs with contracts	2022-11-11	Paper
Nested Timed Automata with Invariants	2022-11-04	Paper
The reversible temporal process language	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3384916	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5014800	2021-12-08	Paper
A reversible runtime environment for parallel programs	2021-07-05	Paper
On reachability analysis of updatable timed automata with one updatable clock	2021-05-20	Paper
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway	2015-11-30	Paper
Nested Timed Automata with Frozen Clocks	2015-09-14	Paper
Concurrency and Reversibility	2014-09-02	Paper
Modelling of Bonding with Processes and Events	2013-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q2851082	2013-10-02	Paper
Nested Timed Automata	2013-08-16	Paper
MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS	2013-01-18	Paper
Generating priority rewrite systems for OSOS process languages	2009-04-14	Paper
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation	2004-09-08	Paper
Testing preorders for probabilistic processes.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536608	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4703888	1999-12-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shoji Yuen