39 results on '"Yen, Hsu-Chun"'
Search Results
2. Complexity Analysis of Balloon Drawing for Rooted Trees
3. On the Ramsey Numbers for Bipartite Multigraphs
4. Compact Floor-Planning via Orderly Spanning Trees
5. On orthogonally convex drawings of plane graphs
6. Constrained floorplans in 2D and 3D
7. On the containment and equivalence problems for two-way transducers
8. Complexity analysis of balloon drawing for rooted trees
9. Mental map preserving graph drawing using simulated annealing
10. On decision problems for parameterized machines
11. On minimal elements of upward-closed sets
12. An [omega]-automata approach to the representation of bilevel images
13. Deterministic catalytic systems are not universal
14. Priority conflict-free Petri nets
15. Reachability solution characterization of parametric real-time systems
16. Priority systems with many identical processes
17. Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017)
18. Guest Editors' Foreword
19. An ω-Automata Approach to the Compression of Bi-Level Images
20. On Bend-Minimized Orthogonal Drawings of Planar 3-Graphs
21. On Bend-Minimized Orthogonal Drawings of Planar 3-Graphs
22. Characterizing Languages by Normalization and Termination in String Rewriting
23. On the complexity of deciding fair termination of probabilistic concurrent finite-state programs
24. Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
25. Boundedness, empty channel detection, and synchronization for communicating finite automata
26. Characterizing languages by normalization and termination in string rewriting
27. Many-to-One Boundary Labeling
28. On Balloon Drawings of Rooted Trees
29. Deciding bisimulation and trace equivalences for systems with many identical processes
30. On the Regularity of Petri Net Languages
31. Normal and sinkless petri nets
32. A multiparameter analysis of domino tiling with an application to concurrent systems
33. A unified approach for deciding the existence of certain petri net paths
34. A taxonomy of fairness and temporal logic problems for Petri nets
35. Global and local views of state fairness
36. On optimal parallelization of sorting networks
37. A multiparameter analysis of the boundedness problem for vector addition systems
38. Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017).
39. An /spl omega/-automata approach to the representation of bilevel images.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.