| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chun-Cheng Lin, Hsu-Chun Yen |
A new force-directed graph drawing method based on edge-edge repulsion.  |
J. Vis. Lang. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen, Sheung-Hung Poon, Jia-Hao Fan |
Complexity analysis of balloon drawing for rooted trees. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Yi-Yi Lee, Hsu-Chun Yen |
Mental map preserving graph drawing using simulated annealing. |
Inf. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
On Almost-Sure Properties of Probabilistic Discrete Event Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeo Takahashi, Hsiang-Yun Wu, Seow Hui Saw, Chun-Cheng Lin, Hsu-Chun Yen |
Optimized Topological Surgery for Unfolding 3D Meshes. |
Comput. Graph. Forum |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiang-Yun Wu, Shigeo Takahashi, Chun-Cheng Lin, Hsu-Chun Yen |
A Zone-Based Approach for Placing Annotation Labels on Metro Maps. |
Smart Graphics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
On Two-Way Transducers. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Sheung-Hung Poon, Shigeo Takahashi, Hsiang-Yun Wu, Hsu-Chun Yen |
One-and-a-Half-Side Boundary Labeling. |
COCOA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen |
On decision problems for parameterized machines. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Preface. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Chen, Shao-Chi Chin, Hsu-Chun Yen |
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen, Sheung-Hung Poon, Jia-Hao Fan |
Complexity Analysis of Balloon Drawing for Rooted Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ping-Hsien Lin, Hsu-Chun Yen, Chia-Chen Yu |
Gaussian Distributive Filtering in Histogram Equalization. |
BWCCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Chien-Liang Chen |
On minimal elements of upward-closed sets. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Path Decomposition and Semilinearity of Petri Nets. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Chen, Suey Wang, Hsu-Chun Yen |
Reachability Analysis of Variants of Communication-Free Petri Nets. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen, Jen-Hui Chuang |
Drawing graphs with nonuniform nodes using potential fields. |
J. Vis. Lang. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsiang-Yun Wu, Hsu-Chun Yen |
Boundary Labeling in Text Annotation. |
IV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzay-Farn Shih, Hsu-Chun Yen |
Location-aware routing protocol with dynamic adaptation of request zone for mobile ad hoc networks. |
Wireless Networks |
2008 |
DBLP DOI BibTeX RDF |
Position-based routing protocol, MANET, GPS, Location-aware |
| 1 | Chun-Cheng Lin, Hao-Jen Kao, Hsu-Chun Yen |
Many-to-One Boundary Labeling. |
J. Graph Algorithms Appl. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cheng-Lung Sung, Cheng-Wei Lee, Hsu-Chun Yen, Wen-Lian Hsu |
An alignment-based surface pattern for a question answering system. |
IRI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Lung Sung, Hsu-Chun Yen, Wen-Lian Hsu |
Compute the Term Contributed Frequency. |
ISDA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Lung Sung, Min-Yuh Day, Hsu-Chun Yen, Wen-Lian Hsu |
A template alignment algorithm for question classification. |
ISI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Concurrency, Synchronization, and Conflicts in Petri Nets. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Preface. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen |
On Balloon Drawings of Rooted Trees. |
J. Graph Algorithms Appl. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Chien-Liang Chen |
Computing Minimal Elements of Upward-Closed Sets for Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen |
Balloon Views of Source Code and Their Multiscalable Font Modes. |
IV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao-Jen Kao, Chun-Cheng Lin, Hsu-Chun Yen |
Many-to-one boundary labeling. |
APVIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Hao Fan, Chun-Cheng Lin, Hsueh-I Lu, Hsu-Chun Yen |
Width-Optimal Visibility Representations of Plane Graphs. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Deterministic catalytic systems are not universal. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Seok-Hee Hong, Hsu-Chun Yen |
Preface. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Lien-Po Yu |
Decidability Analysis of Self-Stabilization for Infinite-State Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On the Computational Power of 1-Deterministic and Sequential P Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Introduction to Petri Net Theory. |
Recent Advances in Formal Languages and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Yi Lee, Chun-Cheng Lin, Hsu-Chun Yen |
Mental map preserving graph drawing using simulated annealing. |
APVIS |
2006 |
DBLP DOI BibTeX RDF |
simulated annealing, graph drawing, mental map |
| 1 | Oscar H. Ibarra, Hsu-Chun Yen (eds.) |
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings |
CIAA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
On various notions of parallelism in P Systems. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Lien-Po Yu |
Petri Nets with Simple Circuits. |
IEICE Transactions |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Der-Jiunn Deng, Hsu-Chun Yen |
Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless LANs. |
IEEE Journal on Selected Areas in Communications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
Signaling P Systems and Verification Problems. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiunn Deng, Hsu-Chun Yen |
Design and Performance Evaluation of an Optimal Collision Avoidance Mechanism over Congested and Noisy Channels for IEEE 802.11 DCF Access Method. |
ICOIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen |
A New Force-Directed Graph Drawing Method Based on Edge-Edge Repulsion. |
IV |
2005 |
DBLP DOI BibTeX RDF |
Force-directed method, angular resolution, potential field |
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Sequential and 1-Deterministic P Systems. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Cheng Lin, Hsu-Chun Yen |
On Balloon Drawings of Rooted Trees. |
Graph Drawing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Symport/Antiport P Systems and Semilinear Sets. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
On Deterministic Catalytic Systems. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Lien-Po Yu |
Dependability Analysis of a Class of Probabilistic Petri Nets. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
probabilistic Petri net, verification, Controllability, self-stabilization, reachability |
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
The Power of Maximal Parallelism in P Systems. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Deng, Hsu-Chun Yen |
Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless lans. |
Parallel and Distributed Computing and Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen |
Compact floor-planning via orderly spanning trees. |
J. Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Yang Chen, Hsueh-I Lu, Hsu-Chun Yen |
On the Ramsey Numbers for Bipartite Multigraphs |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yih-Kai Lin, Hsu-Chun Yen |
An /spl omega/-automata approach to the representation of bilevel images. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Lien-Po Yu |
Petri Nets with Simple Circuits. |
COCOON |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jen-Hui Chuang, Chun-Cheng Lin, Hsu-Chun Yen |
Drawing Graphs with Nonuniform Nodes Using Potential Fields. |
Graph Drawing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Hsu-Chun Yen |
Timing Parameter Characterization of Real-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen |
Distributed and On-Line Routing on Tori. |
Algorithmica |
2002 |
DBLP DOI BibTeX RDF |
Routing, Distributed algorithm, Randomized algorithm, Competitive analysis, On-line algorithm |
| 1 | Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen |
Compact Floor-Planning via Orderly Spanning Trees |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Meng-Hang Ho, Hsu-Chun Yen |
A Dictionary-Based Compressed Pattern Matching Algorithm. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
compression, pattern matching, LZW |
| 1 | Ming-Che Chuang, Hsu-Chun Yen |
On Nearly Symmetric Drawings of Graphs. |
IV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho-Lin Chen, Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen |
Some Applications of Orderly Spanning Trees in Graph Drawing. |
Graph Drawing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kien-Weh Chin, Hsu-Chun Yen |
The symmetry number problem for trees. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Analysis of Self-Stabilization for Infinite-State Systems. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
Petri net, self-stabilization, Decidability, infinite-state system |
| 1 | Farn Wang, Hsu-Chun Yen |
Parametric Optimization of Open Real-Time Systems. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Chih Liao, Hsueh-I Lu, Hsu-Chun Yen |
Floor-Planning via Orderly Spanning Trees. |
Graph Drawing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kai Lin, Hsu-Chun Yen |
An omega-automata approach to the compression of bi-level images. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho-Lin Chen, Hsueh-I Lu, Hsu-Chun Yen |
On Maximum Symmetric Subgraphs. |
Graph Drawing |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho-Lin Chen, Hsu-Chun Yen |
Orthogonal and Straight-Line Drawings of Graphs with Succinct Representations. |
Graph Drawing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Priority Conflict-Free Petri Nets. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen |
Competitive Analysis of On-Line Disk Scheduling. |
Theory Comput. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
On Reachability Equivalence for BPP-Nets. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang |
Deciding a Class of Path Formulas for Conflict-Free Petri Nets. |
Theory Comput. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen |
Competitive Source Routing on Tori and Meshes. |
ISAAC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
On the Regularity of Petri Net Languages. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzuoo-Hawn Yeh, Cheng-Ming Kuo, Chin-Laung Lei, Hsu-Chun Yen |
Competitive Analysis of On-Line Disk Scheduling. |
ISAAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
A Note on Fine Covers and Iterable Factors of VAS Languages. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-Fu Chang, Shi-Chung Chang, Zsehong Tsai, Jung-Shyr Wu, Hsu-Chun Yen |
Design, implementation, and applications of a B-ISDN simulation testbed. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
B-ISDN simulation testbed, simulation testbed prototype, network topology descriptions, network traffic descriptions, software engineering, design, graphical user interfaces, graphical user interface, applications, implementation, digital simulation, telecommunication traffic, simulation environments, telecommunication computing, B-ISDN |
| 1 | Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. |
ISAAC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang |
Some Complexity Results for Rings of Petri Nets. |
Int. J. Found. Comput. Sci. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
On multiterminal single bend wirability. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Namhee Pak |
Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling. |
Mathematical Systems Theory |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
Normal and Sinkless Petri Nets. |
J. Comput. Syst. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang |
A Unified Approach for Reasoning about Conflict-Free Petri Nets. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
A Unified Approach for Deciding the Existence of Certain Petri Net Paths |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
Global and Local Views of State Fairness. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Priority Systems with many Identical Processes. |
Acta Inf. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen |
On Optimal Parallelization of Sorting Networks. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsu-Chun Yen |
Communicating Processes, Scheduling, and the Complexity of Nondeterminism. |
Mathematical Systems Theory |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
Normal and Sinkless Petri Nets. |
FCT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Louis E. Rosier, Hsu-Chun Yen |
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis E. Rosier, Hsu-Chun Yen |
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines. |
SIAM J. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen |
On Optimal Parallelization of Sorting Networks. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis E. Rosier, Hsu-Chun Yen |
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")