36 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. Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017)
16. Reachability solution characterization of parametric real-time systems
17. Priority systems with many identical processes
18. Guest Editors' Foreword
19. An ω-Automata Approach to the Compression of Bi-Level Images
20. Characterizing Languages by Normalization and Termination in String Rewriting
21. On the complexity of deciding fair termination of probabilistic concurrent finite-state programs
22. Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
23. Boundedness, empty channel detection, and synchronization for communicating finite automata
24. Many-to-One Boundary Labeling
25. On Balloon Drawings of Rooted Trees
26. Deciding bisimulation and trace equivalences for systems with many identical processes
27. On the Regularity of Petri Net Languages
28. Normal and sinkless petri nets
29. A multiparameter analysis of domino tiling with an application to concurrent systems
30. A unified approach for deciding the existence of certain petri net paths
31. A taxonomy of fairness and temporal logic problems for Petri nets
32. Global and local views of state fairness
33. On optimal parallelization of sorting networks
34. A multiparameter analysis of the boundedness problem for vector addition systems
35. Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017).
36. 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.