default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShoji Yuen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Shunya Oguchi, Shoji Yuen:
Constant Propagation in CRIL by Bidirectional Data Flow Analysis. J. Inf. Process. 32: 552-564 (2024)- [j15]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20(1) (2024) - [c33]Shunya Oguchi, Shoji Yuen
:
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. RC 2024: 181-200 - 2023
- [c32]Shunya Oguchi, Shoji Yuen:
CRIL: A Concurrent Reversible Intermediate Language. EXPRESS/SOS 2023: 149-167 - 2022
- [c31]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. FORTE 2022: 31-49 - [c30]Takashi Ikeda, Shoji Yuen:
A Reversible Debugger for Imperative Parallel Programs with Contracts. RC 2022: 204-212 - [i2]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. CoRR abs/2212.03687 (2022) - 2020
- [j14]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6(2): 18:1-18:2 (2020) - [j13]Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen:
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. J. Inf. Process. 28: 124-135 (2020) - [c29]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30 - [c28]Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen:
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. ICPHM 2020: 1-8 - [c27]Takashi Ikeda, Shoji Yuen:
A Reversible Runtime Environment for Parallel Programs. RC 2020: 272-279 - [i1]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators. CoRR abs/2005.06333 (2020)
2010 – 2019
- 2019
- [j12]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172: 135-159 (2019) - 2018
- [j11]Guoqiang Li, Yunqing Wen, Shoji Yuen:
Updatable timed automata with one updatable clock. Sci. China Inf. Sci. 61(1): 012102:1-012102:14 (2018) - [j10]Irek Ulidowski, Iain Phillips, Shoji Yuen:
Reversing Event Structures. New Gener. Comput. 36(3): 281-306 (2018) - [c26]James Hoey, Irek Ulidowski, Shoji Yuen:
Reversing Parallel Programs with Blocks and Procedures. EXPRESS/SOS 2018: 69-86 - 2017
- [c25]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION 2017: 99-118 - [c24]Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Diagonal Constraints. ICFEM 2017: 396-412 - [c23]Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen:
Availability checking of dynamic spatial information for automobiles. ICSRS 2017: 505-511 - [c22]Yuwei Wang, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Invariants. SETTA 2017: 77-93 - [c21]James Hoey, Irek Ulidowski, Shoji Yuen:
Reversing Imperative Parallel Programs. EXPRESS/SOS 2017: 51-66 - 2016
- [c20]Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen:
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. FTSCS 2016: 39-54 - 2015
- [c19]Guoqiang Li, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata with Frozen Clocks. FORMATS 2015: 189-205 - [c18]Yunqing Wen, Guoqiang Li, Shoji Yuen:
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. SOFL+MSVL 2015: 147-161 - 2014
- [c17]Irek Ulidowski, Iain Phillips, Shoji Yuen:
Concurrency and Reversibility. RC 2014: 1-14 - [c16]Yunqing Wen, Guoqiang Li, Shoji Yuen:
An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL 2014: 62-80 - 2013
- [c15]Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata. FORMATS 2013: 168-182 - [c14]Iain Phillips, Irek Ulidowski, Shoji Yuen:
Modelling of Bonding with Processes and Events. RC 2013: 141-154 - 2012
- [j9]Shoji Yuen:
Foreword. IEICE Trans. Inf. Syst. 95-D(5): 1341 (2012) - [j8]Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
A Session Type System with Subject Reduction. IEICE Trans. Inf. Syst. 95-D(8): 2053-2064 (2012) - [j7]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and Analysis of Real-Time Systems with Mutex Components. Int. J. Found. Comput. Sci. 23(4): 831-852 (2012) - [c13]Iain Phillips, Irek Ulidowski, Shoji Yuen:
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC 2012: 218-232 - 2010
- [c12]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and analysis of real -time systems with mutex components. IPDPS Workshops 2010: 1-8 - [c11]Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
Session Type Inference in Haskell. PLACES 2010: 74-91
2000 – 2009
- 2009
- [j6]Irek Ulidowski, Shoji Yuen:
Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207(2): 120-145 (2009) - [c10]Guoqiang Li, Shoji Yuen, Masakazu Adachi:
Environmental Simulation of Real-Time Systems with Nested Interrupts. TASE 2009: 21-28 - 2007
- [c9]Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa:
A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. APSEC 2007: 366-373 - 2006
- [j5]Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa:
Web Automata: A Behavioral Model of Web applications based on the MVC model. Inf. Media Technol. 1(1): 66-79 (2006) - 2005
- [j4]Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa:
Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges. J. Web Eng. 4(2): 144-164 (2005) - 2004
- [j3]Irek Ulidowski, Shoji Yuen:
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. J. Log. Algebraic Methods Program. 60-61: 401-460 (2004) - [c8]Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa:
Separating Features for Assuring Quality Attributes of Client Web Applications. ICWI 2004: 699-706 - [c7]Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen:
Name-passing style GUI programming in the pi-calculus-based language Nepi. ARTS 2004: 145-168 - 2003
- [c6]Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa:
Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features. ICWI 2003: 1253-1254 - 2002
- [c5]Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto:
Library evolution for reliable software. IWPSE 2002: 66-70 - 2000
- [c4]Irek Ulidowski, Shoji Yuen:
Process Languages for Rooted Eager Bisimulation. CONCUR 2000: 275-289
1990 – 1999
- 1999
- [j2]Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen:
Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999) - 1997
- [c3]Irek Ulidowski, Shoji Yuen:
Extending Process Languages with Time. AMAST 1997: 524-538 - 1994
- [c2]Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka:
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512 - 1992
- [j1]Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki:
A formal description of monitors by CCS. Syst. Comput. Jpn. 23(1): 1-14 (1992) - [c1]Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki:
An Extension of the Testing Method for Processes Passing Infinite Values. NAPAW 1992: 155-173
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
