BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × New Zealand
1 × Portugal
2 × USA
3 × France
Collaborated with:
O.H.Ibarra F.Wang Z.Dang L.E.Rosier C.Li
Talks about:
system (6) time (3) parallel (2) concurr (2) petri (2) real (2) net (2) probabilist (1) determinist (1) semilinear (1)

Person: Hsu-Chun Yen

DBLP DBLP: Yen:Hsu=Chun

Facilitated 4 volumes:

DLT 2012Ed
DLT 2012Ed
CIAA 2006Ed
CIAA 2006Ed

Contributed to:

DLT 20112011
CIAA 20082008
CIAA 20082009
CIAA 20052005
ICALP 20052005
DLT 20042004
DLT 20042005
CIAA 20032003
SAS 20012001
ICALP 19861986

Wrote 10 papers:

DLT-2011-IbarraY #on the #transducer
On Two-Way Transducers (OHI, HCY), pp. 300–311.
CIAA-2008-Yen #concurrent #petri net
Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
CIAA-J-2008-Yen09 #composition #petri net
Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
CIAA-2005-IbarraY #on the
On Deterministic Catalytic Systems (OHI, HCY), pp. 163–175.
ICALP-2005-LiDIY #problem #verification
Signaling P Systems and Verification Problems (CL, ZD, OHI, HCY), pp. 1462–1473.
DLT-2004-IbarraYD #parallel #power of
The Power of Maximal Parallelism in P Systems (OHI, HCY, ZD), pp. 212–224.
DLT-J-2004-IbarraYD05 #on the #parallel
On various notions of parallelism in P Systems (OHI, HCY, ZD), pp. 683–705.
CIAA-2003-WangY #parametricity #realtime
Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
SAS-2001-WangY #optimisation #parametricity #realtime
Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.
ICALP-1986-RosierY #complexity #concurrent #finite #on the #probability #source code #termination
On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs (LER, HCY), pp. 334–343.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.