Hsu-Chun Yen

160 papers A* 3A 13B 14C 21Misc 6Journal 82Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decomposing finite-valued two-way finite transducers.
J. Comput. Syst. Sci.
Hsu-Chun Yen, Di-De Yen
2025 J jnl
Special Issue on Selected Papers from the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024): Guest Editors' Foreword.
J. Graph Algorithms Appl.
Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen
2024 B ed.
WALCOM: Algorithms and Computation - 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
WALCOM
Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen
2023 J jnl
Special Issue: Graph Algorithms: Theory and Applications - A Special Issue Dedicated to the Memory of Professor Takao Nishizeki - Preface.
Int. J. Found. Comput. Sci.
Md. Saidur Rahman, Hsu-Chun Yen
2023 — conf
Trajectory-Based Dynamic Boundary Map Labeling.
VISIGRAPP (3: IVAPP)
Ming-Hsien Wu, Hsu-Chun Yen
2022 J jnl
On the decidability of the valuedness problem for two-way finite transducers.
Inf. Comput.
Di-De Yen, Hsu-Chun Yen
2020 A conf
On the Valuedness of Symbolic Finite Transducers.
ICS
Di-De Yen, Hsu-Chun Yen
2019 C conf
Characterizing the Valuedness of Two-Way Finite Transducers.
DLT
Di-De Yen, Hsu-Chun Yen
2019 C conf
Contact Representations of Directed Planar Graphs in 2D and 3D.
COCOA
Chun-Hsiang Chan, Hsu-Chun Yen
2019 J jnl
Guest Editors' Foreword.
J. Graph Algorithms Appl.
Md. Saidur Rahman, Hsu-Chun Yen, Sheung-Hung Poon
2019 J jnl
Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017).
Theor. Comput. Sci.
Hsu-Chun Yen, Md. Saidur Rahman, Sheung-Hung Poon
2019 J jnl
Unfolding some classes of orthogonal polyhedra of arbitrary genus.
J. Comb. Optim.
Kuan-Yi Ho, Yi-Jun Chang, Hsu-Chun Yen
2018 Misc conf
On Contact Representations of Directed Planar Graphs.
COCOON
Chun-Hsiang Chan, Hsu-Chun Yen
2017 J jnl
A Position-Aware Language Modeling Framework for Extractive Broadcast News Speech Summarization.
ACM Trans. Asian Low Resour. Lang. Inf. Process.
Shih-Hung Liu, Kuan-Yu Chen, Yu-Lun Hsieh, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2017 J jnl
Area-universal drawings of biconnected outerplane graphs.
Inf. Process. Lett.
Yi-Jun Chang, Hsu-Chun Yen
2017 J jnl
Improved Algorithms for Grid-Unfolding Orthogonal Polyhedra.
Int. J. Comput. Geom. Appl.
Yi-Jun Chang, Hsu-Chun Yen
2017 A* conf
On Bend-Minimized Orthogonal Drawings of Planar 3-Graphs.
SoCG
Yi-Jun Chang, Hsu-Chun Yen
2017 J jnl
On Number of Tags Estimation in RFID Systems.
IEEE Syst. J.
Der-Jiunn Deng, Chun-Cheng Lin, Tzu-Hsun Huang, Hsu-Chun Yen
2017 J jnl
On orthogonally convex drawings of plane graphs.
Comput. Geom.
Yi-Jun Chang, Hsu-Chun Yen
2017 J jnl
QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac WLANs.
IEEE Syst. J.
Che-Yu Chang, Hsu-Chun Yen, Chun-Cheng Lin, Der-Jiunn Deng
2017 Misc conf
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus.
COCOON
Kuan-Yi Ho, Yi-Jun Chang, Hsu-Chun Yen
2017 B ed.
WALCOM: Algorithms and Computation, 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings.
WALCOM
Sheung-Hung Poon, Md. Saidur Rahman, Hsu-Chun Yen
2016 C conf
Drawing Clustered Graphs Using Stress Majorization and Force-Directed Placements.
IV
Yu-Jung Ko, Hsu-Chun Yen
2016 — conf
Exploiting graph regularized nonnegative matrix factorization for extractive speech summarization.
APSIPA
Shih-Hung Liu, Kuan-Yu Chen, Yu-Lun Hsieh, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2016 A conf
Exploring Word Mover's Distance and Semantic-Aware Embedding Techniques for Extractive Broadcast News Summarization.
INTERSPEECH
Shih-Hung Liu, Kuan-Yu Chen, Yu-Lun Hsieh, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2016 C conf
Petri Nets and Semilinear Sets (Extended Abstract).
ICTAC
Hsu-Chun Yen
2016 J jnl
V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETs.
IEEE Trans. Dependable Secur. Comput.
Che-Yu Chang, Hsu-Chun Yen, Der-Jiunn Deng
2015 B conf
A New Approach for Contact Graph Representations and Its Applications.
WADS
Yi-Jun Chang, Hsu-Chun Yen
2015 J jnl
A Pragmatic VBR Stream Scheduling Policy for IEEE 802.11e HCCA Access Method.
IEEE Trans. Emerg. Top. Comput.
Che-Yu Chang, Hsu-Chun Yen, Abderrahim Benslimane, Der-Jiunn Deng
2015 J jnl
Combining Relevance Language Modeling and Clarity Measure for Extractive Speech Summarization.
IEEE ACM Trans. Audio Speech Lang. Process.
Shih-Hung Liu, Kuan-Yu Chen, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2015 J jnl
Constrained floorplans in 2D and 3D.
Theor. Comput. Sci.
Yi-Jun Chang, Hsu-Chun Yen
2015 C conf
Designing and Annotating Metro Maps with Loop Lines.
IV
Hsiang-Yun Wu, Sheung-Hung Poon, Shigeo Takahashi, Masatoshi Arikawa, Chun-Cheng Lin, Hsu-Chun Yen
2015 — conf
Incorporating proximity information in relevance language modeling for extractive speech summarization.
APSIPA
Shih-Hung Liu, Hung-Shin Lee, Hsiao-Tsung Hung, Kuan-Yu Chen, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2015 — conf
Low ply graph drawing.
IISA
Emilio Di Giacomo, Walter Didimo, Seok-Hee Hong, Michael Kaufmann, Stephen G. Kobourov, Giuseppe Liotta, Kazuo Misue, Antonios Symvonis, Hsu-Chun Yen
2015 A conf
Positional language modeling for extractive broadcast news speech summarization.
INTERSPEECH
Shih-Hung Liu, Kuan-Yu Chen, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2015 B conf
Unfolding Orthogonal Polyhedra with Linear Refinement.
ISAAC
Yi-Jun Chang, Hsu-Chun Yen
2014 — conf
A margin-based discriminative modeling approach for extractive speech summarization.
APSIPA
Shih-Hung Liu, Kuan-Yu Chen, Berlin Chen, Ea-Ee Jan, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2014 Misc conf
Effective pseudo-relevance feedback for language modeling in extractive speech summarization.
ICASSP
Shih-Hung Liu, Kuan-Yu Chen, Yu-Lun Hsieh, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2014 A conf
Enhanced language modeling for extractive speech summarization with sentence relatedness information.
INTERSPEECH
Shih-Hung Liu, Kuan-Yu Chen, Yu-Lun Hsieh, Berlin Chen, Hsin-Min Wang, Hsu-Chun Yen, Wen-Lian Hsu
2014 C conf
Rectilinear Duals Using Monotone Staircase Polygons.
COCOA
Yi-Jun Chang, Hsu-Chun Yen
2013 A conf
On Orthogonally Convex Drawings of Plane Graphs - (Extended Abstract).
GD
Yi-Jun Chang, Hsu-Chun Yen
2013 J jnl
Preface.
Int. J. Found. Comput. Sci.
Hsu-Chun Yen, Oscar H. Ibarra
2013 J jnl
Spatially Efficient Design of Annotated Metro Maps.
Comput. Graph. Forum
Hsiang-Yun Wu, Shigeo Takahashi, Daichi Hirono, Masatoshi Arikawa, Chun-Cheng Lin, Hsu-Chun Yen
2013 C conf
Voronoi-Based Label Placement for Metro Maps.
IV
Hsiang-Yun Wu, Shigeo Takahashi, Chun-Cheng Lin, Hsu-Chun Yen
2012 J jnl
A new force-directed graph drawing method based on edge-edge repulsion.
J. Vis. Lang. Comput.
Chun-Cheng Lin, Hsu-Chun Yen
2012 C ed.
Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Developments in Language Theory
Hsu-Chun Yen, Oscar H. Ibarra
2012 J jnl
On the containment and equivalence problems for two-way transducers.
Theor. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2012 J jnl
Travel-Route-Centered Metro Map Layout and Annotation.
Comput. Graph. Forum
Hsiang-Yun Wu, Shigeo Takahashi, Chun-Cheng Lin, Hsu-Chun Yen
2011 — conf
A Zone-Based Approach for Placing Annotation Labels on Metro Maps.
Smart Graphics
Hsiang-Yun Wu, Shigeo Takahashi, Chun-Cheng Lin, Hsu-Chun Yen
2011 J jnl
Complexity analysis of balloon drawing for rooted trees.
Theor. Comput. Sci.
Chun-Cheng Lin, Hsu-Chun Yen, Sheung-Hung Poon, Jia-Hao Fan
2011 J jnl
Mental map preserving graph drawing using simulated annealing.
Inf. Sci.
Chun-Cheng Lin, Yi-Yi Lee, Hsu-Chun Yen
2011 J jnl
On Almost-Sure Properties of Probabilistic Discrete Event Systems.
Fundam. Informaticae
Hsu-Chun Yen
2011 C conf
On Two-Way Transducers.
Developments in Language Theory
Oscar H. Ibarra, Hsu-Chun Yen
2011 C conf
One-and-a-Half-Side Boundary Labeling.
COCOA
Chun-Cheng Lin, Sheung-Hung Poon, Shigeo Takahashi, Hsiang-Yun Wu, Hsu-Chun Yen
2011 J jnl
Optimized Topological Surgery for Unfolding 3D Meshes.
Comput. Graph. Forum
Shigeo Takahashi, Hsiang-Yun Wu, Seow Hui Saw, Chun-Cheng Lin, Hsu-Chun Yen
2010 J jnl
Complexity Analysis of Balloon Drawing for Rooted Trees
CoRR
Chun-Cheng Lin, Hsu-Chun Yen, Sheung-Hung Poon, Jia-Hao Fan
2010 — conf
Gaussian Distributive Filtering in Histogram Equalization.
BWCCA
Ping-Hsien Lin, Hsu-Chun Yen, Chia-Chen Yu
2010 — conf
On almost-sure properties of probabilistic discrete event systems.
WODES
Hsu-Chun Yen
2010 J jnl
On decision problems for parameterized machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen
2010 J jnl
Preface.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2010 J jnl
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming.
Comput. J.
Chien-Liang Chen, Shao-Chi Chin, Hsu-Chun Yen
2009 J jnl
Alignment-based surface patterns for factoid question answering systems.
Integr. Comput. Aided Eng.
Cheng-Lung Sung, Cheng-Wei Lee, Hsu-Chun Yen, Wen-Lian Hsu
2009 C conf
Boundary Labeling in Text Annotation.
IV
Chun-Cheng Lin, Hsiang-Yun Wu, Hsu-Chun Yen
2009 J jnl
Drawing graphs with nonuniform nodes using potential fields.
J. Vis. Lang. Comput.
Chun-Cheng Lin, Hsu-Chun Yen, Jen-Hui Chuang
2009 J jnl
On minimal elements of upward-closed sets.
Theor. Comput. Sci.
Hsu-Chun Yen, Chien-Liang Chen
2009 J jnl
Path Decomposition and Semilinearity of Petri Nets.
Int. J. Found. Comput. Sci.
Hsu-Chun Yen
2009 J jnl
Reachability Analysis of Variants of Communication-Free Petri Nets.
IEICE Trans. Inf. Syst.
Chien-Liang Chen, Suey Wang, Hsu-Chun Yen
2008 C conf
A template alignment algorithm for question classification.
ISI
Cheng-Lung Sung, Min-Yuh Day, Hsu-Chun Yen, Wen-Lian Hsu
2008 Misc conf
An alignment-based surface pattern for a question answering system.
IRI
Cheng-Lung Sung, Cheng-Wei Lee, Hsu-Chun Yen, Wen-Lian Hsu
2008 — conf
Compute the Term Contributed Frequency.
ISDA (2)
Cheng-Lung Sung, Hsu-Chun Yen, Wen-Lian Hsu
2008 C conf
Concurrency, Synchronization, and Conflicts in Petri Nets.
CIAA
Hsu-Chun Yen
2008 J jnl
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems.
Int. J. Found. Comput. Sci.
Hsu-Chun Yen
2008 J jnl
Location-aware routing protocol with dynamic adaptation of request zone for mobile ad hoc networks.
Wirel. Networks
Tzay-Farn Shih, Hsu-Chun Yen
2008 J jnl
Many-to-One Boundary Labeling.
J. Graph Algorithms Appl.
Chun-Cheng Lin, Hao-Jen Kao, Hsu-Chun Yen
2007 C conf
Balloon Views of Source Code and Their Multiscalable Font Modes.
IV
Chun-Cheng Lin, Hsu-Chun Yen
2007 — conf
Computing Minimal Elements of Upward-Closed Sets for Petri Nets.
ICATPN
Hsu-Chun Yen, Chien-Liang Chen
2007 — conf
Korean-Chinese Cross-Language Information Retrieval Based on Extension of Dictionaries and Transliteration.
ROCLING
Yu-Chun Wang, Richard Tzong-Han Tsai, Hsu-Chun Yen, Wen-Lian Hsu
2007 — conf
Many-to-one boundary labeling.
APVIS
Hao-Jen Kao, Chun-Cheng Lin, Hsu-Chun Yen
2007 J jnl
On Balloon Drawings of Rooted Trees.
J. Graph Algorithms Appl.
Chun-Cheng Lin, Hsu-Chun Yen
2007 J jnl
Preface.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2007 B conf
Width-Optimal Visibility Representations of Plane Graphs.
ISAAC
Jia-Hao Fan, Chun-Cheng Lin, Hsueh-I Lu, Hsu-Chun Yen
2006 J jnl
Decidability Analysis of Self-Stabilization for Infinite-State Systems.
Fundam. Informaticae
Hsu-Chun Yen, Lien-Po Yu
2006 J jnl
Deterministic catalytic systems are not universal.
Theor. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2006 C ed.
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
CIAA
Oscar H. Ibarra, Hsu-Chun Yen
2006 — ch.
Introduction to Petri Net Theory.
Recent Advances in Formal Languages and Applications
Hsu-Chun Yen
2006 — conf
Mental map preserving graph drawing using simulated annealing.
APVIS
Yi-Yi Lee, Chun-Cheng Lin, Hsu-Chun Yen
2006 J jnl
On the Computational Power of 1-Deterministic and Sequential P Systems.
Fundam. Informaticae
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2006 J jnl
Preface.
Int. J. Found. Comput. Sci.
Seok-Hee Hong, Hsu-Chun Yen
2005 C conf
A New Force-Directed Graph Drawing Method Based on Edge-Edge Repulsion.
IV
Chun-Cheng Lin, Hsu-Chun Yen
2005 — conf
Design and Performance Evaluation of an Optimal Collision Avoidance Mechanism over Congested and Noisy Channels for IEEE 802.11 DCF Access Method.
ICOIN
Der-Jiunn Deng, Hsu-Chun Yen
2005 A conf
On Balloon Drawings of Rooted Trees.
GD
Chun-Cheng Lin, Hsu-Chun Yen
2005 C conf
On Deterministic Catalytic Systems.
CIAA
Oscar H. Ibarra, Hsu-Chun Yen
2005 Misc conf
On Sequential and 1-Deterministic P Systems.
COCOON
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 — conf
On Symport/Antiport P Systems and Semilinear Sets.
Workshop on Membrane Computing
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 J jnl
On various notions of parallelism in P Systems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2005 J jnl
Petri Nets with Simple Circuits.
IEICE Trans. Inf. Syst.
Hsu-Chun Yen, Lien-Po Yu
2005 J jnl
Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless LANs.
IEEE J. Sel. Areas Commun.
Der-Jiunn Deng, Hsu-Chun Yen
2005 A* conf
Signaling P Systems and Verification Problems.
ICALP
Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen
2004 C conf
Dependability Analysis of a Class of Probabilistic Petri Nets.
PRDC
Hsu-Chun Yen, Lien-Po Yu
2004 — conf
Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless lans.
Parallel and Distributed Computing and Networks
Joseph Deng, Hsu-Chun Yen
2004 J jnl
Reachability solution characterization of parametric real-time systems.
Theor. Comput. Sci.
Farn Wang, Hsu-Chun Yen
2004 C conf
The Power of Maximal Parallelism in P Systems.
Developments in Language Theory
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2003 J jnl
An ω-automata approach to the representation of bilevel images.
IEEE Trans. Syst. Man Cybern. Part B
Yih-Kai Lin, Hsu-Chun Yen
2003 J jnl
Compact floor-planning via orderly spanning trees.
J. Algorithms
Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen
2003 A conf
Drawing Graphs with Nonuniform Nodes Using Potential Fields.
GD
Jen-Hui Chuang, Chun-Cheng Lin, Hsu-Chun Yen
2003 J jnl
On the Ramsey Numbers for Bipartite Multigraphs
CoRR
Ming-Yang Chen, Hsueh-I Lu, Hsu-Chun Yen
2003 Misc conf
Petri Nets with Simple Circuits.
COCOON
Hsu-Chun Yen, Lien-Po Yu
2003 J jnl
Synthesis of Control Policies for Lossy Controlled Petri Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yih-Kai Lin, Cheng-Hong Li, Hsu-Chun Yen
2003 C conf
Timing Parameter Characterization of Real-Time Systems.
CIAA
Farn Wang, Hsu-Chun Yen
2002 B conf
A Dictionary-Based Compressed Pattern Matching Algorithm.
COMPSAC
Meng-Hang Ho, Hsu-Chun Yen
2002 J jnl
A valuation-based analysis of conflict-free Petri nets.
Syst. Control. Lett.
Hsu-Chun Yen
2002 J jnl
Compact Floor-Planning via Orderly Spanning Trees
CoRR
Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen
2002 J jnl
Distributed and On-Line Routing on Tori.
Algorithmica
Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen
2002 C conf
On Nearly Symmetric Drawings of Graphs.
IV
Ming-Che Chuang, Hsu-Chun Yen
2002 J jnl
Sequential versus concurrent languages of labeled conflict-free Petri nets.
IEEE Trans. Autom. Control.
Hsu-Chun Yen
2002 A conf
Some Applications of Orderly Spanning Trees in Graph Drawing.
GD
Ho-Lin Chen, Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen
2001 B conf
Analysis of Self-Stabilization for Infinite-State Systems.
ICECCS
Hsu-Chun Yen
2001 A conf
Floor-Planning via Orderly Spanning Trees.
GD
Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen
2001 B conf
Parametric Optimization of Open Real-Time Systems.
SAS
Farn Wang, Hsu-Chun Yen
2001 J jnl
The symmetry number problem for trees.
Inf. Process. Lett.
Kien-Weh Chin, Hsu-Chun Yen
2000 — conf
An omega-automata approach to the compression of bi-level images.
CATS
Yih-Kai Lin, Hsu-Chun Yen
2000 A conf
On Maximum Symmetric Subgraphs.
GD
Ho-Lin Chen, Hsueh-I Lu, Hsu-Chun Yen
1999 A conf
Orthogonal and Straight-Line Drawings of Graphs with Succinct Representations.
GD
Ho-Lin Chen, Hsu-Chun Yen
1998 J jnl
Competitive Analysis of On-Line Disk Scheduling.
Theory Comput. Syst.
Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen
1998 J jnl
Priority Conflict-Free Petri Nets.
Acta Informatica
Hsu-Chun Yen
1997 B conf
Competitive Source Routing on Tori and Meshes.
ISAAC
Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen
1997 J jnl
Deciding a Class of Path Formulas for Conflict-Free Petri Nets.
Theory Comput. Syst.
Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
1997 J jnl
On Reachability Equivalence for BPP-Nets.
Theor. Comput. Sci.
Hsu-Chun Yen
1996 B conf
Competitive Analysis of On-Line Disk Scheduling.
ISAAC
Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen
1996 J jnl
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
Theor. Comput. Sci.
Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao
1996 J jnl
On the Regularity of Petri Net Languages.
Inf. Comput.
Hsu-Chun Yen
1995 J jnl
A Note on Fine Covers and Iterable Factors of VAS Languages.
Inf. Process. Lett.
Hsu-Chun Yen
1995 B conf
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
ISAAC
Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao
1995 — conf
Design, implementation, and applications of a B-ISDN simulation testbed.
Annual Simulation Symposium
Jin-Fu Chang, Shi-Chung Chang, Zsehong Tsai, Jung-Shyr Wu, Hsu-Chun Yen
1994 J jnl
On multiterminal single bend wirability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hsu-Chun Yen
1994 J jnl
Some Complexity Results for Rings of Petri Nets.
Int. J. Found. Comput. Sci.
Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
1993 — conf
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
Application and Theory of Petri Nets
Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
1993 J jnl
Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling.
Math. Syst. Theory
Hsu-Chun Yen, Namhee Pak
1993 J jnl
Normal and Sinkless Petri Nets.
J. Comput. Syst. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1992 J jnl
A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems.
Theor. Comput. Sci.
Hsu-Chun Yen
1992 J jnl
A Unified Approach for Deciding the Existence of Certain Petri Net Paths
Inf. Comput.
Hsu-Chun Yen
1991 J jnl
A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets.
Inf. Process. Lett.
Hsu-Chun Yen
1991 J jnl
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1991 J jnl
Global and Local Views of State Fairness.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1991 J jnl
Priority Systems with many Identical Processes.
Acta Informatica
Hsu-Chun Yen
1990 J jnl
Communicating Processes, Scheduling, and the Complexity of Nondeterminism.
Math. Syst. Theory
Hsu-Chun Yen
1990 J jnl
On Optimal Parallelization of Sorting Networks.
Theor. Comput. Sci.
Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen
1989 B conf
Normal and Sinkless Petri Nets.
FCT
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1988 B conf
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
MFCS
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1988 J jnl
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
Theor. Comput. Sci.
Louis E. Rosier, Hsu-Chun Yen
1987 J jnl
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
Inf. Process. Lett.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1987 J jnl
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines.
SIAM J. Comput.
Louis E. Rosier, Hsu-Chun Yen
1987 — conf
On Optimal Parallelization of Sorting Networks.
FSTTCS
Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen
1986 J jnl
A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.
J. Comput. Syst. Sci.
Louis E. Rosier, Hsu-Chun Yen
1986 J jnl
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
Theor. Comput. Sci.
Louis E. Rosier, Hsu-Chun Yen
1986 A conf
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines.
STACS
Louis E. Rosier, Hsu-Chun Yen
1986 A* conf
On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.
ICALP
Louis E. Rosier, Hsu-Chun Yen
1986 J jnl
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Dung T. Huynh, Hsu-Chun Yen
1985 B conf
A multiparameter analysis of the boundedness problem for vector addition systems.
FCT
Louis E. Rosier, Hsu-Chun Yen
1985 A conf
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.
STACS
Louis E. Rosier, Hsu-Chun Yen