Journal Publications

• D. Yen, and H. Yen. On the decidability of the valuedness problem for two-way finite transducers. Information and Computation. 285(Part): 104870 (2022)

• K. Ho, Y. Chang, and H. Yen.  Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus, Journal of Combinatorial Optimization, Vol. 37, Issue 2, 482–500, 2019.

• Y. Chang, and H. Yen, Improved Algorithms for Grid-unfolding Orthogonal Polyhedra,  International Journal of Computational Geometry & Applications, Vo. 27, No 1 & 2, 33-56,  2017

• Y. Chang, and H. Yen, On Orthogonally Convex Drawings of Plane Graphs, COMPUTATIONAL GEOMETRY: Theory and Applications, Vol. 62,  34–51, April 2017.

• Y. Chang, and H. Yen,  Area-universal Drawings of Biconnected Outerplane Graphs, Information Processing Letters, Vol. 118, 1-5, Feb. 2017.

• C. Chang, H. Yen, and D. Deng, “V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETs,” IEEE Transactions on Dependable and Secure Computing, Vol. 13, Issue 1, 5-17, Jan. 2016.

• Y. Chang, and H. Yen, “Constrained Floorplans in 2D and 3D,” Theoretical Computer Science, Vol. 607, Part 3, 320-336, Nov. 2015.

• C. Chang, H. Yen, C. Lin, and D. Deng, “QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac WLANs,” IEEE System Journal, doi: 10.1109/JSYST.2015.2431291, Jun. 2015.

• C. Chang, H. Yen, A. Benslimane, and D. Deng, “A Pragmatic VBR Stream Scheduling Policy for IEEE 802.11e HCCA Access Method,” IEEE Transactions on Emerging Topics in Computing, Vol. 3, Issue 4, 514-523, Dec. 2015.

• H. Wu, S. Takahashi, D. Hirono, M. Arikawa, C. Lin, and H. Yen, Spatially Efficient Design of Annotated Metro Maps, Computer Graphics Forum,  (special issue for EuroVis 2013), Vol. 32, No. 3, pp. 261-270, 2013.

• O. Ibarra, and H. Yen, On the Containment and Equivalence Problems for Two-way Transducers,  Theoretical Computer Science, Vol. 429,  pp. 155-163,   2012.

• H. Wu, S. Takahashi, C. Lin, and H. Yen, Travel-Route-Centered Metro Map Layout and Annotation,  Computer Graphics Forum, (special issue for EuroVis 2012), Vol. 31, No. 3, pp. 925-934, 2012.

• C. Lin and H. Yen, A New Force-Directed Graph Drawing Method Based on Edge-Edge Repulsion,  Journal of Visual Languages and Computing, Vol. 29, No. 1, pp. 29-42, 2012.

• H. Yen, On Almost-Sure Properties of Probabilistic Discrete Event Systems. Fundamenta Informaticae, 110 (1-4): 343-359, 2011.

• S. Takahashi, H. Wu, S. Saw, C. Lin,  and H. Yen, Optimized Topological Surgery for Unfolding 3D Meshes. Comput. Graph. Forum 30 (7): 2077-2086, 2011.

• C. Lin, H. Yen,  S. Poon, and J. Fan, Complexity Analysis of Balloon Drawing for Rooted Trees, Theoretical Computer Science,  Vol. 412, pp. 430-447, 2011.

• C. Lin, Y. Lee, and H. Yen, Mental Map Preserving Graph Drawing Using Simulated Annealing, Information Sciences, Vol. 181, No. 19, pp. 4253-4272, 2011.

• O. Ibarra, I. Potapov, H. Yen, On Decision Problems for Parameterized Machines,  Theoretical Computer Science, Vol. 411, 1192-1201, 2010.

• C.  Chen,  S. Chin,   and H. Yen,  Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming (pdf), The Computer Journal, Vol. 53, No. 6,  623-633, 2010.

• H. Yen, Path Decomposition and Semilinearity of Petri Nets,  International Journal of Foundations of Computer Science, Vol. 20, No. 4, 581-596, 2009.

• H. Yen and C. Chen, On Minimal Elements of Upward-closed Sets, Theoretical Computer Science  (pdf),  Vol. 410,  2442-2452,  2009.

C.  Lin, H. Yen, and J. Chuang, Drawing Graphs with Nonuniform Nodes Using Potential Fields,  Journal of Visual Languages and Computing, Vol. 20, No. 6, 385-402, 2009.

• C. Lin, H. Kao, and H. Yen, Many-to-One Boundary Labeling,   Journal of Graph Algorithms and Applications (pdf), (special issue for APVIS 2007), Vol. 13, No. 3, pp. 319-356, 2008.

• H. Yen, Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems  (pdf),  International Journal of Foundations of Computer Science, Vol. 19, No. 4, 999-1013, 2008.

• T. Shih and H. Yen, Location-Aware Routing Protocol with Dynamic Adaptation of Request Zone for Mobile Ad Hoc Networks,  Wireless Networks,  14(3): 321-333,  2008.

• C. Lin and H. Yen, On Balloon Drawings of Rooted Trees, Journal of Graph Algorithms and Applications (pdf), (special issue for GD 2005), Vol. 11, No. 2, pp. 431-452, 2007.

• O. Ibarra, and  H. Yen,  Deterministic Catalytic Systems Are not Universal,  Theoretical Computer Science (pdf) 363(2): 149-161,  2006.

• O. Ibarra, S. Woodworth, H. Yen,  and Z. Dang, On the Computational Power of 1-Deterministic and Sequential P Systems, Fundamenta Informaticae (pdf), Vol. 73 (1-2), pp. 133-152, 2006. 　

• H. Yen and L. Yu, Decidability Analysis of Self-Stabilization for Infinite State Systems, Fundamenta Informaticae, Vol. 70, No. 4, 387-402, 2006. (Postscript)

• O. Ibarra, H. Yen,  and Z. Dang, On Various Notions of Parallelism in P Systems, International Journal of Foundations of Computer Science, Vol. 16, No. 4, pp. 683-706,  August 2005.　

• D. Deng, and H. Yen, Quality-of-Service Provisioning System for Multimedia Transmission in IEEE 802.11 Wireless LANs,  IEEE Journal on Selected Areas in Communications (special issue on Mobile Computing and Networking), Vol. 23, No. 6, pp. 1240-1252, June 2005. (pdf) 　

• F. Wang and H. Yen, Reachability Solution Characterization of Parametric Real-time Systems,  Theoretical Computer Science , Vol. 328 , pp. 187-201, 2004. (Postscript)

• C. Liao, H. Lu and H. Yen, Compact Floor-Planning via Orderly Spanning Trees, Journal of Algorithms, Vol. 48, No. 2, pp. 441-451, September 2003. (Postscript)

• K. Lin and H. Yen, An Omega-Automata Approach to the Representation of Bi-level Images, IEEE Trans. on Systems, Man, and Cybernetics (Part B: Cybernetics), Vol. 33, No. 3, pp. 524-531, June 2003. (Postscript)

• H. Yen, Sequential versus Concurrent Languages of Labeled Conflict-Free Petri Nets, IEEE Trans. on Automatic Control, Vol. 47, No. 7, pp. 1158-1162, July 2002. (Postscript)

• H. Yen, A Valuation-Based Analysis of Conflict-Free Petri Nets, Systems and Control Letters, Vo. 45, No. 5, pp. 387 - 395, 2002. (Postscript)

• T. Yeh, C. Kuo, C. Lei, and H. Yen, Distributed and On-line Routing on Tori, Algorithmica, Vol. 32, pp. 562-593, 2002. ( Postscript)

• K. Chin, and H. Yen, The Symmetry Number Problem for Trees, Information Processing Letters, Vol. 79, No. 2, pp. 73-79, May 2001. ( Postscript)

• H. Yen, Integer Linear Programming and the Analysis of Some Petri Net Problems, Theory of Computing Systems (formerly, Mathematical Systems Theory), Vol. 32, No. 4, pp. 467-485, 1999. ( Postscript)

• H. Yen, Priority Conflict-Free Petri Nets, Acta Informatica, Vol. 35, No. 8, pp. 673-688, 1998 ( Postscript )

• T. Yeh, C. Kuo, C. Lei, and H. Yen, Competitive Analysis of On-Line Disk Scheduling, Theory of Computing Systems (formerly, Mathematical Systems Theory), Vol. 31, No. 5, pp. 491-506, 1998. ( Postscript)

• H. Yen, B. Wang, and M. Yang, Deciding a Class of Path Formulas for Conflict-Free Petri Nets, Theory of Computing Systems (formerly, Mathematical Systems Theory) Vol. 30, No. 5, pp. 475-494, September/October 1997. ( Postscript)

• H. Yen, On Reachability Equivalence for BPP Nets, Theoretical Computer Science Vol. 179, No. 1-2, pp. 397-419, June 1997. ( Postscript)

• H. Yen, S. Jian, and T. Lao, Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes, Theoretical Computer Science, Vol. 170, No. 1-2, pp. 445-464, December 1996. ( Postscript)

• H. Yen, On the Regularity of Petri Net Languages, Information and Computation, Vol. 124, No. 2, pp. 168-181, 1996. ( Postscript)

• H. Yen, A Note on Fine Covers and Iterable Factors of VAS Languages, Information Processing Letters, Vol. 56, No. 5, pp. 237-243, December 1995. ( Postscript)

• H. Yen, B. Wang, and M. Yang, Some Complexity Results for Rings of Petri Nets, International Journal of Foundations of Computer Science, Vol. 5, Nos. 3 & 4, pp. 281-292, 1994. ( Postscript)

• H. Yen, On Multiterminal Single Bend Wirability, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, Vol. 13, No. 6, pp. 822-826, June 1994.

• H. Yen and N. Pak, Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling, Mathematical Systems Theory, Vol. 26, pp. 357-378, 1993.

• R. Howell, L. Rosier, and H. Yen, Normal and Sinkless Petri Nets, Journal of Computer and System Sciences, Vol. 46, pp. 1-26, February 1993. ( Postscript)

• H. Yen, A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems, Theoretical Computer Science, Vol. 98, pp. 263-287, 1992.

• H. Yen, A Unified Approach for Deciding the Existence of Certain Petri Net Paths, Information and Computation, Vol. 96, No. 1, pp. 119-137, 1992.

• H. Yen, Priority Systems with Many Identical Processes, Acta Informatica, Vol. 28, pp. 681-692, 1991.

• H. Yen, A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets, Information Processing Letters, Vol. 38, No. 2, pp. 71-76, 1991.

• R. Howell, L. Rosier and H. Yen, A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets, Theoretical Computer Science, Vol. 82, 1991, pp. 341-372.

• R. Howell, L. Rosier and H. Yen, Global and Local Views of State Fairness, Theoretical Computer Science, Vol. 80, No. 1, 1991, pp. 77-104.

• E. Gannett, S. Kothari and H. Yen, On Optimal Parallelization of Sorting Networks, Theoretical Computer Science, Vol. 76, No. 2-3, 1990, pp. 331-341.

• H. Yen, Communicating Processes, Scheduling and the Complexity of Nontermination, Mathematical Systems Theory, Vol. 23, No. 1, 1990, pp. 33-59.

• A. Sharma and H. Yen, Boundedness, Hierarchy of Fairness and Communication Networks with Delay, International Journal of Computer Mathematics, Vol. 26, 1989, pp. 161-178.

• L. Rosier and H. Yen, On the Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs, Theoretical Computer Science, Vol. 58, No. 1-3, 1988, pp. 263-324.

• L. Rosier and H. Yen, Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines, SIAM J. on Computing, Vol. 16, No. 5, 1987, pp. 779-807.

• R. Howell, L. Rosier and H. Yen, An O(n^1.5) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems, Information Processing Letters, Vol. 25, No. 1, 1987, pp. 27-33.

• R. Howell, D. Huynh, L. Rosier and H. Yen, Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States, Theoretical Computer Science, Vol. 46, No. 2,3, 1986, pp. 107-140.

• L. Rosier and H. Yen, Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata, Theoretical Computer Science, Vol. 44, No. 1, 1986, pp. 69-105.

• L. Rosier and H. Yen, A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems, Journal of Computer and System Sciences, Vol. 32, No. 1, 1986, pp. 105-135.

Book Chapters

• R. Freund, O.H. Ibarra, A. Păun, P. Sosík, and H. Yen, “Catalytic P systems,” Chapter 4 in The Oxford Handbook of Membrane Computing, G. Paun, G. Rozenberg and A. Salomaa (Eds.), Oxford University Press, Jan. 2010.

• H. Yen, `Introduction to Petri Net Theory,'  Chapter 14 in Recent Advances in Formal Languages and Applications, Z. Esik, C. Martin-Vide, V. Mitrana,  (Eds.),  Studies in Computational Intelligence 25, pp. 343-373, Springer,  2006 ( pdf ).

Conference Publications

• M. Wu,  and H. Yen. Trajectory-Based Dynamic Boundary Map Labeling.  18th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2023, Volume 3: IVAPP,  pp. 142-149, Lisbon, Portugal, February 19-21, 2023.

• D. Yen, and H. Yen. On the Valuedness of Symbolic Finite Transducers. in the Proc. of International Computer Symposium, pp. 120-125  Tainan, Taiwan, December 17-19, 2020.

• D. Yen, and H. Yen. Characterizing the Valuedness of Two-Way Finite Transducers, in the Proc. of 23rd International Conference on Developments in Language Theory (DLT 2019), pp. 100-112,  Warsaw, Poland, August 5-9, 2019.

• C. Chan, and H. Yen, On Contact Representations of Directed Planar Graphs. in the Proc. of 24th Int'l Conference on Computing and Combinatorics (COCOON 2018), LNCS 10976, pp. 218-229, Qing Dao, China, July 2018.   

• Y. Chang, and H. Yen, On Bend-minimized Orthogonal Drawings of Planar 3-graphs, in the Proc. of  33rd International Symposium on Computational Geometry (SoCG 2017), Brisbane, Australia, July 4- 7, 2017.

• Y. Chang, and H. Yen, "Unfolding Orthogonal Polyhedra with Linear Refinement," in the Proc. of 26th International Symposium on Algorithms and Computation (ISAAC 2015), LNCS 9472, pp. 415-425, Nagoya, Japan, December 9-11, 2015.

• Y. Chang, and H. Yen, “A New Approach for Contact Graph Representations and Its Applications,” in Proc. of 14th Int'l Symp. on Algorithms and Data Structures (WADS 2015), LNCS 9214, pp. 166-177, Victoria, Canada, Aug. 2015.

• H.-Y. Wu, S.-H. Poon, S. Takahashi, M. Arikawa, C. Lin, and H. Yen, "Designing and Annotating Metro Maps with Circular Routes," in Proc. of 19th International Conference on Information Visualisation (IV 2015), IEEE CS Press, pp. 96-101, Barcelona, Spain, Jul. 21-24, 2015.

• Y. Chang, and H. Yen, “Rectilinear Duals Using Monotone Staircase Polygons,” in Proc. of 8th International Conference on Combinatorial Optimization and Applications (COCOA 2014), LNCS 8881, pp. 86-100, Maui, Hawaii, USA, Dec. 2014.

• Y. Chang, and H. Yen, On Orthogonally Convex Drawings of Plane Graphs,  in Proc. of  21st International Symposium on Graph Drawing (GD 2013), Bordeaux, France, Sept. 23-25, 2013.

• H. Wu, S. Takahashi, C. Lin, and H. Yen, Voronoi-Based Label Placement for Metro Maps, in Proc. of 17th International Conference on Information Visualisation (IV 2013), IEEE CS Press, London, UK, Jul. 15-18, 2013.

• S. Takahashi, H. Wu, S. Saw, C. Lin, and H. Yen, Optimized Topological Surgery for Unfolding 3D Meshes, in Proc. of 19th Pacific Conference on Computer Graphics and Applications  (Pacific Graphics 2011), Kaohsiung, Taiwan Sept. 21-23, 2011.

• O. Ibarra, and H. Yen, On Two-way Transducers, in Proc. of 15th International Conference on Developments in Language Theory (DLT 2011), (LNCS 6795), pp. 300-311, Milan, Italy,  July 19–22, 2011.

• C. Lin, S. Poon, S. Takahashi, H. Wu, and H. Yen, One-and-a-half-side Boundary Labeling,  in Proc. of 5th International Conference on Combinatorial Optimization and Applications (COCOA 2011),  (LNCS 6831), pp. 387-398, Zhangjiajie, Hunan, China, Aug. 4-6, 2011.

• H. Wu, S. Takahashi, C. Lin, and H. Yen, A Zone-Based Approach for Placing Annotation Labels on Metro Maps, in Proc. of 11th International Symposium on Smart Graphics (SG 2011),  (LNCS 6815), pp. 91-102, Bremen, Germany, July 18-20, 2011.

• H. Yen, On Almost-Sure Properties of Probabilistic Discrete Event Systems, 10th International Workshop on Discrete Event Systems (WODES 2010), Berlin, Germany, August 30 - Sept. 1, 2010.

• C. Lin, H. Wu, and H. Yen, Boundary Labeling in Text Annotation, in Proc. of 13th International Conference on Information Visualisation (IV09), IEEE CS Press, pp.110-115, Barcelona, Spain, Jul. 14-17, 2009.

• P. Lin, C. Lin, and H. Yen, Tri-Histogram Equalization Based on First Order Statistics, in Proc. of 13th IEEE International Symposium on Consumer Electronics (ISCE 2009), IEEE Press, pp. 387-391, Kyoto, Japan, May 25-28, 2009.  　

• P. Lin, C. Shen, C. Lin, and H.  Yen, Contrast Enhancement on Color Images Using Iterative Histogram Rearrangement, in Proc. of 13th IEEE International Symposium on Consumer Electronics (ISCE 2009), IEEE Press, pp. 382-386, Kyoto, Japan, May 25-28, 2009. 　

• Y.  Lin, C.  Shen, C.  Lin, and H.  Yen, A Fast Image Fusion Algorithm for Image Stabilization on Hand-Held Consumer Electronics, in Proc. of 27th IEEE International Conference on Consumer Electronics (ICCE 2009), IEEE Press, Las Vegas, USA, Jan. 10-14, 2009. 　

• H. Yen,  Concurrency, Synchronization, and Conflicts in Petri Nets (Invited Talk),   in Proc. of the 13th  International Conference on Implementation and Application of Automata (CIAA 2008), (LNCS 5148), pp. 33-35, San Francisco, USA, July 21-24, 2008. 　

• C. Shen, P.  Lin, C. Lin, and H. Yen, Image Enhancement Using Piecewise Transfer Functions with Segmentations, in Proc. of the 2008 IEEE International Symposium on Consumer Electronics, (ISCE 2008), pp. 1-4,  Algarve, Portugal, April 14-16,  2008 　

• C. Sung, M. Day, H. Yen, and W. Hsu, A Template Alignment Algorithm for Question Classification, in Proc. of the  2008 IEEE International Conference on Intelligence and Security Informatics, (ISI 2008), pp. 197-199, Taipei, Taiwan, June 17-20,  2008. 　

• J. Fan, C. Lin, H. Lu, and H.Yen, Width-Optimal Visibility Representation of Plane Graphs, in Proc. of the 18th International Symposium on Algorithms and Computation (ISAAC 2007),  (LNCS 4835), pp. 160-171, Sendai, Japan, Dec. 17-19, 2007. 　

• H. Yen, Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems, Workshop on  Reachability Problems,  (satellite event of the DLT'07), July 7-8, Turku, Finland. 　

• H. Yen and C. Chen, Computing Minimal Elements of Upward-Closed Sets for Petri Nets, in Proc. of the 28th Int'l Conf. on Application and Theory of Petri Nets and Other Models of Concurrency,  (Petri Nets 2007),  (LNCS 4546), pp. 465-483, Siedlce, Poland, June 25-29, 2007. 　

• Y. Yang, T. Chang, and H. Yen, A Unified Framework for Quantum Random Walk Algorithms on General Graphs, 7th IEEE Conf. on Nanotechnology, (IEEE-NANO 2007), pp. 1277-1282, Hong Kong, August 2-5,  2007. 　

• C. Lin, and H.  Yen: Balloon Views of Source Code and Their Multiscalable Font Modes, in Proc. of the 11th Int'l Conference on Information Visualisation (IV 2007), pp.  53-58, Zurich, Switzerland, July 4-6, 2007. 　

• H.  Kao, C.  Lin, and H.  Yen, Many-to-One Boundary Labeling,   in Proc. of the Asia-Pacific Symposium on Visualisation 2007 (APVIS 2007), pp. 65-72, Sydney, Australia, Feb. 5-7, 2007. 　

• Y. Lee, C. Lin, and H. Yen, Mental Map Preserving Graph Drawing Using Simulated  Annealing,  in Proc. of the Asia Pacific Symposium on Information Visualisation 2006 (APVIS 2006), Tokyo, Japan, Feb. 1-3, 2006. (Postscript) 　

• C. Lin, and H. Yen, On Balloon Drawings of Rooted Trees,  in Proc. of the 13th International Symposium on Graph Drawing (GD 2005), (LNCS 3843), Sept. 12-14, 2005, Limerick, Ireland. (Postscript) 　

• O. Ibarra, S. Woodworth and H. Yen, Z. Dang, On Symport/Antiport Systems and Semilinear Sets, in Proc. of the  6^th International Workshop on Membrane Computing (WMC6) ,  (LNCS 3850), July 18 - 21, 2005, Vienna, Austria.  (Postscript)　

• O.  Ibarra,  and  H. Yen. On Deterministic Catalytic Systems,   in Proc. of the 10th  International Conference on Implementation and Application of Automata (CIAA 2005), (LNCS 3845),  June 27–29, 2005, Sophia Antipolis, France. (Postscript) 　

• O.  Ibarra, S. Woodworth, H. Yen and Z. Dang.    On Sequential and 1-Deterministic P Systems, in Proc. of  the 11th International  Computing and Combinatorics Conference (COCOON 2005), (LNCS 3595) , August 16 - 19, Kunming, Yunnan, China. (Postscript) 　

• C.  Li, Z.  Dang, O.  Ibarra, and H.  Yen, Signaling P Systems and Verification Problems, in Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), (LNCS 3580), pp. 1462-1473,  July 11-15,  2005, Lisboa, Portugal.  (Postscript)　

• C. Lin and H. Yen, A new force-directed graph drawing method based on edge-edge repulsion, in Proc. of  the 9th International Conference on Information Visualisation (IV 2005),  July 6--8 ,  2005, London, UK. (pdf)　

• D. Deng and  H. Yen, Design and Performance Evaluation of an Optimal Collision Avoidance Mechanism over Congested and Noisy Channels for IEEE 802.11 DCF Access Method, in Proc. of International Conference on Information Networking 2005,  (ICOIN 2005) (LNCS 3391), pp. 11-20, Jan. 31- Feb. 2, 2005, Jeju Korea. (ps)　

• O. Ibarra, H. Yen, and Z. Dang, The power of maximal parallelism in P systems,  Eighth International Conference on Developments in Language Theory (DLT'04) (LNCS 3340), pp. 212-224,  Dec. 13-17, 2004, Auckland, New Zealand.

• H. Yen and L. Yu, Dependability Analysis of a Class of Probabilistic Petri Nets, in Proc. of 10th IEEE Pacific Rim Int'l Symp. on Dependable Computing, (PRDC 2004) pp. 373-382, March 3-5, 2004, Tahiti, French Polynesia. (ps)

• C. Chen, T. Lin, and H. Yen, Modelling and Analysis of Asynchronous Circuits and Timing Diagrams Using Parametric Timed Automata, in Proc. of the 23rd IASTED Int'l Conf. on Modelling, Identification and Control ( MIC 2004 ), February 23-25, 2004 Grindelwald, Switzerland (pdf)

• D. Deng, and H. Yen, Quality-of-Service Provisioning System for Multimedia Transmission in IEEE 802.11 Wireless LANs, in Proc. of the IASTED Int'l Conf. on Parallel and Distributed Computing and Networks ( PDCN 2004 ), February 17-19, 2004 Innsbruck, Austria. (pdf)

• J. Chuang, C. Lin, and H. Yen, Drawing Graphs with Non-Uniform Nodes Using Potential Fields, in Proc. of 11th International Symposium on Graph Drawing (GD 2003) (LNCS 2912) pp. 460-465, September 21-24, 2003, Perugia, Italy. (pdf)

• F. Wang and H. Yen, Timing Parameter Characterization of Real-Time Systems, in the Proceedings of the 8th International Conference on Implementation and Application of Automata ( CIAA 2003), (LNCS 2759) pp. 23-34, July 16-18, 2003, Santa Barbara, CA, USA. (ps)

• H. Yen, and L. Yu, Petri Nets with Simple Circuits, in the Proceedings of the Ninth International Computing and Combinatorics Conference, ( COCOON 2003) (LNCS 2697), pp. 149-158, July 25-28, 2003, Big Sky, MT, USA. (pdf)

• H. Chen, C. Liao, H. Lu and H. Yen, Some Applications of Orderly Spanning Trees in Graph Drawing, in the Proceedings of the 10th International Symposium on Graph Drawing (GD 2002) (LNCS 2528) pp. 332-343, August 26-28, 2002, Irvine, California. ( PostScript)

• M. Ho, and H. Yen, A Dictionary-based Compressed Pattern Matching Algorithm, in the Proceedings of the IEEE COMPSAC 2002, Oxford, England, August 26-29, 2002. ( pdf)

• M. Chuang, and H. Yen, On Nearly Symmetric Drawings of Graphs, in the Proceedings of the 6th International Conference on Information Visualisation, pp. 489-494, London, England, July 10-12, 2002. ( Postscript)

• C. Liao, H. Lu, and H. Yen, Floor-Planning via Orderly Spanning Tree, in the Proceedings of the 9th International Symposium on Graph Drawing 2001, (LNCS 2265) pp. 367-377, Vienna, Austria, Sept. 23-26, 2001. ( Postscript)

• F. Wang and H. Yen, Parametric Optimization of Open Real-Time Systems, in the Proceedings of the 8th International Static Analysis Symposium (SAS 2001), (LNCS 2126) pp. 299-318, La Sorbonne, Paris, 16-18 July 2001. ( Postscript)

• H. Yen, Analysis of Self-Stabilization for Infinite-State Systems, in the Proceedings of the 7th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2001), pp. 240-248, Skoevde, Sweden, June 11-13, 2001. ( Postscript)

• H. Chen, H. Lu and H. Yen, On Maximum Symmetric Subgraphs, in the Proceedings of the 8th International Symposium on Graph Drawing (GD 2000), (LNCS 1984), pp. 372-383, Colonial Williamsburg, Virginia, USA, September 20-23, 2000. ( Postscript)

• H. Yen, Fair Control of Omega-Automata, in the Proceedings of the 5th International Workshop on Discrete Event Systems (WODES 2000) (published in a book `Discrete Event Systems: Analysis and Control' by Kluwer Academic Publishers), pp. 355-362, Ghent, Belgium, August 21-23, 2000. ( Postscript)

• Y. Lin and H. Yen, An Omega-Automata Approach to the Compression of Bi-Level Images, in the Proceedings of CATS 2000 Computing: the Australasian Theory Symposium, Canberra, Australia, February 1-2, 2000. Electronic Notes in Theoretical Computer Science, Vol. 31, 2000.

• H. Chen, and H. Yen, Orthogonal and Straight-Line Drawings of Graphs with Succinct Representations, in the Proceedings of the 7th International Symposium on Graph Drawing (GD 1999) (LNCS 1731), pp. 416-417, Stirin Castle, Czech, September 1999. ( Postscript)

• T. Yeh, C. Kuo, C. Lei, and H. Yen, Competitive Source Routing on Tori and Meshes, in the Proceedings of the 8th Annual International Symposium on Algorithms and Computation (ISAAC 1997) (LNCS 1350), pp. 82-91, Singapore, December 1997. ( Postscript)

• T. Yeh, C. Kuo, C. Lei, and H. Yen, Competitive Analysis of On-Line Disk Scheduling, in the Proceedings of the 7th Annual International Symposium on Algorithms and Computation (ISAAC 1996) (LNCS 1178), pp. 356-365, Osaka, Japan, December 1996. ( Postscript)

• H. Yen, S. Jian, and T. Lao, Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes, in the Proceedings of the 6th Annual International Symposium on Algorithms and Computation (ISAAC 1995) (LNCS 1004), pp. 301-310, Cairns, Australia, December 1995. ( Postscript)

• J. Chang, S. Chang, Z, Tsai, J. Wu, and H. Yen, Design, Implementation and Application of a B-ISDN Simulation Testbed, in the Proceedings of the 28th Annual Simulation Symposium, pp. 212-219, Phoenix, U.S.A., April 1995.

• H. Yen, B. Wang, and M. Yang, Some Complexity Results for Rings of Petri Nets, in the Proceedings of the 7th International Conference on Parallel and Distributed Computing Systems, pp. 354-357, Las Vegas, U.S.A., Oct. 1994

• H. Yen, On the Regularity of Petri Net Languages, in the Proceedings of the 1994 IEEE International Phoenix Conference on Computers and Communications, pp. 329-335, Phoenix, AZ, U.S.A., April 1994.

• H. Yen, B. Wang, and M. Yang, A Unified Approach for Reasoning about Conflict-Free Petri Nets, in the Proceedings of the 14th International Conference on Application and Theory of Petri Nets (Petri Nets 1993) (LNCS 691), pp. 513-531, Chicago, U.S.A., June, 1993.

• H. Yen and N. Pak, Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling, in the Proceedings of the 26th Hawaii International Conference on System Sciences, pp. 253-262, Hawaii, U.S.A., January, 1993.

• H. Yen, Applications of Conflict-Free Petri Nets to Parallel Programs and Asynchronous Circuits, in the Proceedings of the 1992 IEEE International Phoenix Conference on Computers and Communications, pp. 766-773, Scottsdale, AZ, U.S.A., April 1992.

• N. Pak and H. Yen, Some Complexity Results for Problems Concerning Ada Programs, in the Proceedings of the 24th Annual Conference on Information Sciences and Systems, Princeton, NJ, March 1990.

• N. Pak and H. Yen, Priority Systems with Many Identical Processes, in the Proceedings of the 24th Annual Conference on Information Sciences and Systems, Princeton, NJ, March 1990.

• H. Yen, A Logic for Petri Nets and Its Applications, in the Proceedings of the Twenty-Seventh Annual Allerton Conference on Communication, Control, and Computing, pp. 714-723, Monticello, Illinois, September 1989.

• R. Howell, L. Rosier and H. Yen, Normal and Sinkless Petri Nets, in the Proceedings of the 7th International Conference on the Fundamentals of Computing Theory (FCT 1989) (LNCS 380), pp. 234-243, Szeged, Hungary, August 1989.

• H. Yen, Communicating Processes, Scheduling and the Complexity of Termination Problems, in the Proceedings of 1988 International Computer Symposium, pp. 46-51, Taiwan, Republic of China, December 1988.

• R. Howell, L. Rosier and H. Yen, A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets, in the Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science (MFCS 1988) (LNCS 324), pp. 351-359, Carlsbad-Karlovy Vary, Czechoslovakia, August 1988.

• A. Sharma and H. Yen, Boundedness, Hierarchy of Fairness and Communication Networks with Delay, in the Proceedings of the 22nd Annual Conference on Information Sciences and Systems, pp. 445-449, Princeton, NJ, March 1988.

• E. Gannett, S. Kothari and H. Yen, On Optimal Parallelization of Sorting Networks, in the Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 1987) (LNCS 287), pp. 195-206, Pune, India, December 1987.

• L. Rosier and H. Yen, On Exact, Critical and Unique Versions of Some Graph Problems, in the Proceedings of the Twenty-fifth Annual Allerton Conference on Communication, Control, and Computing, pp. 1214-1223, Monticello, Illinois, September 1987.

• R. Howell, D. Huynh, L. Rosier and H. Yen, Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States, in the Proceedings of the Fourth Annual Symposium on Theoretical Aspects of Computer Science (STACS 1987) (LNCS 247), pp. 360-370, Passau, Federal Republic of Germany, February 1987.

• R. Howell, L. Rosier and H. Yen, On Global vs. Local State Fairness, in the Proceedings of the Twenty-Fourth Annual Allerton Conference on Communication, Control, and Computing, pp. 721-729, Monticello, Illinois, October 1986.

• L. Rosier and H. Yen, On the Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs, in the Proceedings of 13th International Colloquium on Automata, Languages and Programming (ICALP 1986) (LNCS 226), pp. 334-343, Rennes, France, July 1986.

• L. Rosier and H. Yen, Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines, in the Proceedings of the Third Annual Symposium on Theoretical Aspects of Computer Science (STACS 1986) (LNCS 210), pp. 306-320, Orsay, France, January 1986.

• M. Gouda, L. Rosier and H. Yen, A Theory of Closed Covers - To Decide Progress of Communicating Finite State Machines, in the Proceedings of the Twenty-Third Annual Allerton Conference on Communication, Control, and Computing, pp. 914-922, Monticello, Illinois, October 1985.

• L. Rosier and H. Yen, A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems, in the Proceedings of the Fifth International Conference on the Fundamentals of Computation Theory (FCT 1985) (LNCS 199), pp. 361-370, Cottbus, German Democratic Republic, September 1985.

• L. Rosier and H. Yen, Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines, in the Proceedings of the Second Annual Symposium on Theoretical Aspects of Computer Science (STACS 1985) (LNCS 182), pp. 287-298, Saarbrucken, West-Germany, January 1985.

• W. Tsai, B. Jeng, C. Chou, G. Char, P. Liu, C. Wang, and H. Yen, CTIPS -- A Multi-microprocessor system for Image Processing: Hardware Architecture, System Software, and Applications, in the Proceedings of 1983 International Symposium on VLSI Technology, Systems, and Applications, pp. 235-239, Taiwan, Republic of China, March 1983.

• W. Tsai, C. Wang and H. Yen, Moving Target Detection and Tracking on a Multi-microprocessor System for Image Processing, in the Proceedings of 1982 International Computer Symposium, pp. 292-298, Taiwan, Republic of China, December 1982.