研究成果

第 1 到 217 筆結果，共 217 筆。

公開日期標題作者來源出版物scopusWOS全文
12022On the decidability of the valuedness problem for two-way finite transducersYen D.-D; HSU-CHUN YEN Information and Computation00
22020On the Valuedness of Symbolic Finite TransducersYen D.-D; HSU-CHUN YEN Proceedings - 2020 International Computer Symposium, ICS 202000
32019Guest Editors' Foreword.Rahman, Md. Saidur; Poon, Sheung-Hung; HSU-CHUN YEN J. Graph Algorithms Appl.00
42019Contact Representations of Directed Planar Graphs in 2D and 3DChan C.-H; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
52019Characterizing the Valuedness of Two-Way Finite Transducers.Yen, Di-De; HSU-CHUN YEN Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings
62019Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017) PrefaceYen, Hsu-Chun; Rahman, Md Saidur; Poon, Sheung-Hung; HSU-CHUN YEN Theoretical Computer Science0
72018Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary GenusK. Ho; Y. Chang; HSU-CHUN YEN Journal of Combinatorial Optimization21
82018On Contact Representations of Directed Planar GraphsC. Chan; H. Yen; HSU-CHUN YEN 24th International Conference on Computing and Combinatorics (COCOON)10
92017On Orthogonally Convex Drawings of Plane GraphsY. Chang; H. Yen; HSU-CHUN YEN COMPUTATIONAL GEOMETRY: Theory and Applications21
102017Area-universal Drawings of Biconnected Outerplane GraphsY. Chang; H. Yen; HSU-CHUN YEN Information Processing Letters11
112017A position-aware language modeling framework for Extractive broadcast news speech summarizationLiu, S.-H.; Chen, K.-Y.; Hsieh, Y.-L.; Chen, B.; Wang, H.-M.; Hsu, W.-L.; HSU-CHUN YEN ACM Transactions on Asian and Low-Resource Language Information Processing33
122017On Bend-minimized Orthogonal Drawings of Planar 3-graphsY. Chang; H. Yen; HSU-CHUN YEN 33rd International Symposium on Computational Geometry (SoCG 2017)140
132017Improved Algorithms for Grid-unfolding Orthogonal PolyhedraY. Chang; H. Yen; HSU-CHUN YEN International Journal of Computational Geometry & Applications60
142017Exploiting graph regularized nonnegative matrix factorization for extractive speech summarizationLiu, S.-H.; Chen, K.-Y.; Hsieh, Y.-L.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN 2016 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 2016
152017Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus.Ho, Kuan-Yi; Chang, Yi-Jun; HSU-CHUN YEN Computing and Combinatorics - 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings
162017On number of tags estimation in RFID systemsDeng, D.-J.; Lin, C.-C.; Huang, T.-H.; HSU-CHUN YEN IEEE Systems Journal
172017PrefacePoon, S.-H.; Rahman, M.S.; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
182017On bend-minimized orthogonal drawings of planar 3-graphsChang Y.-J; HSU-CHUN YEN Leibniz International Proceedings in Informatics, LIPIcs
192016V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETsC. Chang; H. Yen; D. Deng; HSU-CHUN YEN IEEE Transactions on Dependable and Secure Computing
202016Petri nets and semilinear setsHSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
212016Exploring word Mover's distance and semantic-aware embedding techniques for extractive broadcast news summarizationLiu, S.-H.; Chen, K.-Y.; Hsieh, Y.-L.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH
222016Drawing clustered graphs using stress majorization and force-directed placementsKo, Y.-J.; HSU-CHUN YEN Proceedings of the International Conference on Information Visualisation
232016Low ply graph drawingDi Giacomo, E.; Didimo, W.; Hong, S.-H.; Kaufmann, M.; Kobourov, S.G.; Liotta, G.; Misue, K.; Symvonis, A.; HSU-CHUN YEN IISA 2015 - 6th International Conference on Information, Intelligence, Systems and Applications
242016Incorporating proximity information in relevance language modeling for extractive speech summarizationLiu, S.-H.; Lee, H.-S.; Hung, H.-T.; Chen, K.-Y.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN 2015 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2015
252015A Pragmatic VBR Stream Scheduling Policy for IEEE 802.11e HCCA Access MethodC. Chang; H. Yen; A. Benslimane; D. Deng; HSU-CHUN YEN IEEE Transactions on Emerging Topics in Computing3
262015Constrained floorplans in 2D and 3DY. Chang; HSU-CHUN YEN Theoretical Computer Science2
272015A New Approach for Contact Graph Representations and Its ApplicationsY. Chang; HSU-CHUN YEN 14th Int'l Symp. on Algorithms and Data Structures (WADS 2015)
282015Designing and Annotating Metro Maps with Circular RoutesH. Wu; S. Poon; S. Takahashi; M. Arikawa; C. Lin; HSU-CHUN YEN 19th International Conference on Information Visualisation (IV 2015) 
292015QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac WLANsC. Chang; H. Yen; C. Lin; D. Deng; HSU-CHUN YEN IEEE Systems Journal
302015Unfolding Orthogonal Polyhedra with Linear RefinementY. Chang; HSU-CHUN YEN 26th International Symposium on Algorithms and Computation (ISAAC 2015)70
312015Designing and annotating metro maps with loop linesWu, H.-Y.; Poon, S.-H.; Takahashi, S.; Arikawa, M.; Lin, C.-C.; HSU-CHUN YEN Proceedings of the International Conference on Information Visualisation
322015Positional language modeling for extractive broadcast news speech summarizationLiu, S.-H.; Chen, K.-Y.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH
332015Combining Relevance Language Modeling and Clarity Measure for Extractive Speech SummarizationLiu, S.-H.; Chen, K.-Y.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN IEEE Transactions on Audio, Speech and Language Processing
342014Rectilinear Duals Using Monotone Staircase PolygonsY. Chang; HSU-CHUN YEN 8th International Conference on Combinatorial Optimization and Applications (COCOA 2014)
352014Optimized Topological Surgery for Unfolding 3D MeshesS. Takahashi; H. Wu; S. Saw; C. Lin; HSU-CHUN YEN Computer Graphics Forum29
362014A margin-based discriminative modeling approach for extractive speech summarizationLiu, S.-H.; Chen, K.-Y.; Chen, B.; Jan, E.-E.; Wang, H.-M.; Hsu, W.-L.; HSU-CHUN YEN 2014 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 201450
372014Effective pseudo-relevance feedback for language modeling in extractive speech summarizationLiu, S.-H.; Chen, K.-Y.; Hsieh, Y.-L.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings
382013On Orthogonally Convex Drawings of Plane GraphsY. Chang; HSU-CHUN YEN 21st International Symposium on Graph Drawing (GD 2013)
392013Voronoi-Based Label Placement for Metro MapsH. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin; HSU-CHUN YEN 17th International Conference on Information Visualisation (IV 2013)
402013Spatially Efficient Design of Annotated Metro MapsH. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin; HSU-CHUN YEN The Eurographics Conference on Visualization (EuroVis 2013)
412013Spatially Efficient Design of Annotated Metro MapsH. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin; HSU-CHUN YEN Computer Graphics Forum
422013On Orthogonally Convex Drawings of Plane Graphs - (Extended Abstract).Chang, Yi-Jun; HSU-CHUN YEN Graph Drawing - 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
432013Preface.Yen, Hsu-Chun; Ibarra, Oscar H.; HSU-CHUN YEN Int. J. Found. Comput. Sci.
442012Travel-Route-Centered Metro Map Layout and AnnotationH. Wu; S. Takahashi; C. Lin; HSU-CHUN YEN The Eurographics Conference on Visualization (EuroVis 2012)
452012On the Containment and Equivalence Problems for Two-way TransducersO. Ibarra; |HSU-CHUN YEN Theoretical Computer Science14
462012A New Force-directed Graph Drawing Method Based on Edge-edge RepulsionC. Lin; HSU-CHUN YEN Journal of Visual Languages and Computing19
472012Travel-Route-Centered Metro Map Layout and AnnotationH. Wu; S. Takahashi; C. Lin; HSU-CHUN YEN Computer Graphics Forum
482012Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceIbarra, O.H.; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)00
492011Mental Map Preserving Graph Drawing Using Simulated AnnealingC. Lin; Y. Lee; HSU-CHUN YEN Information Sciences20
502011One-and-a-Half-Side Boundary LabelingC. Lin; S. Poon; S. Takahashi; H. Wu; HSU-CHUN YEN 5th International Conference on Combinatorial Optimization and Applications (COCOA 2011)
512011On Two-Way TransducersO. Ibarra; HSU-CHUN YEN 15th International Conference on Developments in Language Theory (DLT 2011)
522011A Zone-Based Approach for Placing Annotation Labels on Metro MapsH. Wu; S. Takahashi; C. Lin; HSU-CHUN YEN 11th International Symposium on Smart Graphics (SG 2011)
532011Complexity Analysis of Balloon Drawing for Rooted TreesC. Lin; H. Yen; S. Poon; J. Fan; HSU-CHUN YEN Theoretical Computer Science
542011On Almost-Sure Properties of Probabilistic Discrete Event SystemsHSU-CHUN YEN Fundamenta Informaticae0
552010Reachability Analysis of Augmented Marked Graphs via Integer Linear ProgrammingC. Chen; S. Chin; HSU-CHUN YEN The Computer Journal2
562010On Decision Problems for Parameterized MachinesO. Ibarra; I. Potapov; HSU-CHUN YEN Theoretical Computer Science0
572010On almost-sure properties of probabilistic discrete event systems.HSU-CHUN YEN 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010.
582010Special Issue Algorithms and Computation PrefaceIbarra, Oscar H.; HSU-CHUN YEN International Journal of Foundations of Computer Science0
592010Gaussian distributive filtering in histogram equalizationLin, P.-H.; Yen, H.-C.; Yu, C.-C.; HSU-CHUN YEN Proceedings - 2010 International Conference on Broadband, Wireless Computing Communication and Applications, BWCCA 2010
602009Boundary Labeling in Text AnnotationC. Lin; H. Wu; HSU-CHUN YEN 13th International Conference on Information Visualisation (IV09)
612009Contrast Enhancement on Color Images Using Iterative Histogram RearrangementP. Lin; C. Shen; C. Lin; HSU-CHUN YEN 13th IEEE International Symposium on Consumer Electronics (ISCE 2009)
622009Tri-Histogram Equalization Based on First Order StatisticsP. Lin; C. Lin; HSU-CHUN YEN 13th IEEE International Symposium on Consumer Electronics (ISCE 2009)
632009Path Decomposition and Semilinearity of Petri NetsHSU-CHUN YEN International Journal of Foundations of Computer Science
642009On Minimal Elements of Upward-closed SetsH. Yen; C. Chen; HSU-CHUN YEN Theoretical Computer Science
652009Drawing Graphs with Nonuniform Nodes Using Potential FieldsC. Lin; H. Yen; J. Chuang; HSU-CHUN YEN Journal of Visual Languages and Computing6
662009使用者導向之異質行動網路管理許君; Hsu, Chun 
672009A fast image fusion algorithm for image stabilization on hand-held consumer electronicsLin, Y.-J.; Shen, C.-T.; Lin, C.-C.; HSU-CHUN YEN Digest of Technical Papers - IEEE International Conference on Consumer Electronics
682009Reachability analysis of variants of Communication-free Petri netsChen, C.-L.; Wang, S.; HSU-CHUN YEN IEICE Transactions on Information and Systems
692009Alignment-based surface patterns for factoid question answering systemsSung, Cheng-Lung; Lee, Cheng-Wei; Yen, Hsu-Chun; Hsu, Wen-Lian; HSU-CHUN YEN Integrated Computer-Aided Engineering4
702008繪圖演算法及資訊視覺化(3/3)顏嗣鈞 
712008利用自動機理論探討離散事件系統之可控制性(2/3)顏嗣鈞 
722008利用自動機理論探討離散事件系統之可控制性(3/3)顏嗣鈞 
732008繪圖演算法及資訊視覺化(2/3)顏嗣鈞 
742008Concurrency, Synchronization, and Conflicts in Petri NetsHSU-CHUN YEN 13th International Conference on Implementation and Application of Automata (CIAA 2008)
752008A Template Alignment Algorithm for Question ClassificationC. Sung; M. Day; H. Yen; W. Hsu; HSU-CHUN YEN IEEE International Conference on Intelligence and Security Informatics
762008Image Enhancement Using Piecewise Transfer Functions with SegmentationsC. Shen; P. Lin; C. Lin; HSU-CHUN YEN International Symposium on Consumer Electronics, ISCE 2008
772008Many-to-One Boundary LabelingLin, Chun-Cheng; Kao, Hao-Jen; HSU-CHUN YEN Journal of Graph Algorithms and Applications210
782008Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event SystemsHSU-CHUN YEN International Journal of Foundations of Computer Science1
792008Location-Aware Routing Protocol with Dynamic Adaptation of Request Zone for Mobile Ad Hoc NetworksShih, Tzay-Farn; HSU-CHUN YEN Wireless Networks17
802008An alignment-based surface pattern for a question answering systemSung, C.-L.; Lee, C.-W.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN 2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008
812008Compute the term contributed frequencySung, C.-L.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN Proceedings - 8th International Conference on Intelligent Systems Design and Applications, ISDA 2008
822007Width-Optimal Visibility Representation of Plane GraphsJ.. Fan; C. Lin; H.. Lu; HSU-CHUN YEN 18th International Symposium on Algorithms and Computation (ISAAC 2007)
832007SMART-校園生活無線通無限學 技術研發與應用(3/3)顏嗣鈞 
842007SMART-校園生活無線通無限學 技術研發與應用(2/3)顏嗣鈞 
852007A Unified Framework for Quantum Random Walk Algorithms on General GraphsY. Yang; T. Chang; HSU-CHUN YEN 7th IEEE Conf. on Nanotechnology
862007Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event SystemsHSU-CHUN YEN Workshop on Reachability Problems, satellite event of the DLT'07
872007Balloon Views of Source Code and Their Multiscalable Font ModesC. Lin; HSU-CHUN YEN 11th International Conference on Information Visualisation (IV07)
882007Computing Minimal Elements of Upward-Closed Sets for Petri NetsH. Yen; C. Chen; HSU-CHUN YEN 28th Int'l Conf. on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2007
892007Many-to-One Boundary LabelingH. Kao; C. Lin; H. Yen; HSU-CHUN YEN Asia-Pacific Symposium on Visualisation 2007 (APVIS 2007)
902007On Balloon Drawings of Rooted TreesC. Lin; HSU-CHUN YEN Journal of Graph Algorithms and Applications
912007Special issue - Implementation and Application of Automata - PrefaceIbarra, Oscar H.; HSU-CHUN YEN International Journal of Foundations of Computer Science0
922006Mental Map Preserving Graph Drawing Using Simulated AnnealingY. Lee; C. Lin; HSU-CHUN YEN Asia Pacific Symposium on Information Visualisation 2006 (APVIS 2006)
932006Deterministic catalytic systems are not universalIbarra, Oscar H.; Yen, Hsu-Chun Theoretical Computer Science136
942006Introduction to Petri Net TheoryHSU-CHUN YEN Studies in Computational Intelligence
952006Decidability Analysis of Self-Stabilization for Infinite State SystemsH. Yen; L. Yu; HSU-CHUN YEN Fundamenta Informaticae
962006On the Computational Power of 1-Deterministic and Sequential P SystemsO. Ibarra; S. Woodworth; H. Yen; Z. DangIbarra; Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe; HSU-CHUN YEN Fundamenta Informaticae
972006Introduction to Petri Net Theory.HSU-CHUN YEN Recent Advances in Formal Languages and Applications
982006Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, ProceedingsHSU-CHUN YEN 
992006Special issue - Graph Drawing - PrefaceHong, Seok-Hee; HSU-CHUN YEN International Journal of Foundations of Computer Science0
1002005無限狀態系統之自動驗證(3/3)顏嗣鈞 
1012005On Various Notions of Parallelism in P SystemsO. Ibarra, H. Yen; Z. DangIbarra, Oscar H.; Dang, Zhe; Calude, C. S.; HSU-CHUN YEN International Journal of Foundations of Computer Science119
1022005On Sequential and 1-Deterministic P SystemsO. Ibarra; S. Woodworth; H. Yen; Z. Dang; HSU-CHUN YEN 11th International Computing and Combinatorics Conference (COCOON 2005)
1032005模組化設計之合成與參數化驗證分析(I)顏嗣鈞 
1042005A new force-directed graph drawing method based on edge-edge repulsionLin, Chun-Cheng; Yen, Hsu-Chun Ninth International Conference on Information Visualisation, 20052019
1052005Signaling P Systems and Verification ProblemsC. Li; Z. Dang; O. Ibarra; HSU-CHUN YEN 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005)
1062005On Symport/Antiport Systems and Semilinear SetsO. Ibarra; S. Woodworth; H. Yen; Z. Dang; HSU-CHUN YEN 6th International Workshop on Membrane Computing (MC 2005)
1072005A simple resource advertisement and discovery protocol for large and dense MANETsWu, J.L.C.; Wang, Shun-Te; Hsu, Chun-Yen 3rd International Conference on Information Technology: Research and Education, ITRE 200500
1082005Quality-of-Service Provisioning System for Multimedia Transmission in IEEE 802.11 Wireless LANsD. Deng; HSU-CHUN YEN IEEE Journal on Selected Areas in Communications58
1092005Design and Performance Evaluation of an Optimal Collision Avoidance Mechanism over Congested and Noisy Channels for IEEE 802.11 DCF Access MethodD. Deng; HSU-CHUN YEN International Conference on Information Networking 2005 (ICOIN 2005)0
1102005On Balloon Drawings of Rooted TreesC. Lin; HSU-CHUN YEN 13th International Symposium on Graph Drawing (GD 2005)2
1112005On Deterministic Catalytic SystemsO. Ibarra; HSU-CHUN YEN 10th International Conference on Implementation and Application of Automata (CIAA 2005)
1122005On Sequential and 1-Deterministic P Systems.Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe; HSU-CHUN YEN Computing and Combinatorics, 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005, Proceedings
1132005Petri nets with simple circuitsYen, H.-C.; Yu, L.-P.; HSU-CHUN YEN IEICE Transactions on Information and Systems
1142004The power of maximal parallelism in P systemsO. Ibarra; Z. Dang; HSU-CHUN YEN Eighth International Conference on Developments in Language Theory (DLT 2004)1210
1152004量子自動機之計算能力研究顏嗣鈞 
1162004協同計算之網路資源管理(3/3)顏嗣鈞 
1172004無限狀態系統之自動驗證(2/3)顏嗣鈞 
1182004Dependability analysis of a class of probabilistic Petri netsYen, Hsu-Chun ; HSU-CHUN YEN 10th IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC 2004)20
1192004Reachability solution characterization of parametric real-time systemsFARN WANG ; HSU-CHUN YEN Theoretical Computer Science21
1202004Finding stable routes in mobile ad hoc networksHsu, Chun-Yen ; Wu, Jean-Lien C.; Wang, Shun-Te18th International Conference on Advanced Information Networking and Applications, 2004. AINA 200400
1212003Compact floor-planning via orderly spanning treesLiao, Chien-Chih; Lu, Hsueh-I ; Yen, Hsu-Chun Journal of Algorithms4233
1222003協同計算之網路資源管理(2/3)顏嗣鈞 
1232003無限狀態系統之自動驗證(1/3)顏嗣鈞 
1242003An ω-automata approach to the representation of bilevel imagesK. Lin; HSU-CHUN YEN IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
1252003輻射源定位方法精進研究顏嗣鈞 
1262003Drawing Graphs with Nonuniform Nodes Using Potential Fields.Chuang, Jen-Hui; Lin, Chun-Cheng; HSU-CHUN YEN Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers
1272003Petri Nets with Simple Circuits.Yen, Hsu-Chun; Yu, Lien-Po; HSU-CHUN YEN Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings
1282003Timing Parameter Characterization of Real-Time Systems.Wang, Farn; HSU-CHUN YEN Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings
1292002複雜圖形之繪圖演算法研究顏嗣鈞 
1302002Distributed and On-Line Routing on ToriYeh, Tzuoo-Hawn; Kuo, Cheng-Ming; CHIN-LAUNG LEI ; HSU-CHUN YEN Algorithmica0
1312002輻射源定位方法精進研究顏嗣鈞 
1322002協同計算之網路資源管理(1/3)顏嗣鈞 
1332002Some applications of orderly spanning trees in graph drawingCHEN HO-LIN ; Liao, C.-C.; HSUEH-I LU ; HSU-CHUN YEN Lecture Notes in Computer Science11
1342002A valuation-based analysis of conflict-free Petri netsYen, Hsu-Chun Systems & Control Letters53
1352002Sequential versus concurrent languages of labeled conflict-free Petri netsHSU-CHUN YEN IEEE Transactions on Automatic Control
1362002Some Applications of Orderly Spanning Trees in Graph Drawing.Chen, Ho-Lin; Liao, Chien-Chih; Lu, Hsueh-I; HSU-CHUN YEN Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers
1372002On nearly symmetric drawings of graphsChuang, M.-C.; HSU-CHUN YEN Proceedings of the International Conference on Information Visualisation
1382002A dictionary-based compressed pattern matching algorithmHo, M.-H.; HSU-CHUN YEN Proceedings-IEEE Computer Society's International Computer Software and Applications Conference
1392001個人化網路教學系統之服務控管與排程研究(III)顏嗣鈞 
1402001Analysis of self-stabilization for infinite-state systemsYen, Hsu-Chun Seventh IEEE International Conference on Engineering of Complex Computer Systems, 200100
1412001The symmetry number problem for treesChin, Kien-Weh; Yen, Hsu-Chun Information Processing Letters 
1422001The symmetry number problem for treesChin K.-W; HSU-CHUN YEN Information Processing Letters76
1432001Parametric Optimization of Open Real-Time Systems.Wang, Farn; HSU-CHUN YEN Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings
1442001On maximum symmetric subgraphsChen, H.-L.; Lu, H.-I.; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1452001Floor-Planning via Orderly Spanning Trees.Liao, Chien-Chih; Lu, Hsueh-I; HSU-CHUN YEN Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers
1462000服務品質保證之網際網路多向式傳輸促成工具(II)顏嗣鈞 
1472000An ω-Automata Approach to the Compression of Bi-Level ImagesLIN, YIH-KAI; YEN, HSU-CHUN Electronic 
1482000一個可提供高普及率與個人化服務的網際網路教學系統(II)─子計畫二:個人化網路教學系統之服務控管與排程研究顏嗣鈞 
1492000On Maximum Symmetric Subgraphs.Chen, Ho-Lin; Lu, Hsueh-I; HSU-CHUN YEN ; HSUEH-I LU Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings
11501999服務品質保證之網際網路多向式傳輸促成工具（I）顏嗣鈞 
11511999一個可提供高普及率與個人化服務的網際網路教學系統─子計畫三：個人化網路教學系統之服務控管與排程研究(I)顏嗣鈞 
11521999Integer linear programming and the analysis of some Petri net problemsHSU-CHUN YEN Theory of Computing Systems
11531999Orthogonal and straight-line drawings of graphs with succinct representations?Chen, H.-L.; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11541998電子商務之效率控管及訂單管理研究顏嗣鈞 
11551998ATM 網路組態及資源管理之研究 (III)顏嗣鈞 
11561998Competitive analysis of on-line disk schedulingYeh, T.-H.; Kuo, C.-M.; CHIN-LAUNG LEI ; HSU-CHUN YEN Theory of Computing Systems76
11571998Priority conflict-free Petri netsHSU-CHUN YEN Acta Informatica
11581997On Reachability Equivalence for BPP-Nets.HSU-CHUN YEN Theor. Comput. Sci.1712
11591997智慧型ATM網路控制管理系統設計與實作（Ⅱ）─子計畫一:ATM網路組態及資源管理之研究顏嗣鈞 
11601997分散式共用記憶體系統─架構、演算法與發展環境─子計畫三：分散式共用記憶體系統上之平行模擬研究(Ⅲ)顏嗣鈞 
11611997Competitive source routing on tori and meshesYeh, T.-H.; Kuo, C.-M.; Lei, C.-L.; HSU-CHUN YEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11621997Deciding a class of path formulas for conflict-free Petri netsYen, H.-C.; Wang, B.-Y.; Yang, M.-S.; HSU-CHUN YEN Theory of Computing Systems
11631997Deciding a Class of Path Formulas for Conflict-Free Petri Nets.Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN Theory Comput. Syst.
11641996Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN Theor. Comput. Sci.00
11651996Competitive Analysis of On-Line Disk Scheduling.Yeh, Tzuoo-Hawn; Kuo, Cheng-Ming; Lei, Chin-Laung; CHIN-LAUNG LEI ; HSU-CHUN YEN Algorithms and Computation, 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996, Proceedings30
11661996分散式共用計憶體系統--架構、演算法與發展環境─分散式共用記憶體系統－架構、演算法與發展環境：子計畫(三)分散式共用計憶體系統上之平行模擬研顏嗣鈞 
11671996分散式共用記憶體系統上之平行模擬(2/3)顏嗣鈞 
11681996ATM網路組態及資源管理之研究(1/3)顏嗣鈞 ; Yen, Hsu-Chun 
11691996智慧型ATM網路控制管理系統設計與實作─智慧型ATM網路控制管理系統設計與製作子計畫一：ATM網路組態及資源管理之研究（１／３）顏嗣鈞 
11701996On the Regularity of Petri Net LanguagesYen, Hsu-Chun Information and Computation1413
11711995線上演算法之設計與分析顏嗣鈞 
11721995B-ISDN相關通訊協定之設計及驗證(3/3)顏嗣鈞 ; Yen, Hsu-Chun 
11731995A note on fine covers and iterable factors of VAS languagesYen, Hsu-Chun Information Processing Letters43
11741995寬頻整合服務數位網路設計與模擬測試系統之建立子計畫三:B-ISDN相關通訊協定之設計及驗證（３／顏嗣鈞 
11751995分散式共用記憶體系統--架構, 演算法與發展環境郭斯彥; 顏嗣鈞 ; 賴飛羆
11761995Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings
11771994Petri Net之分析及平行模擬顏嗣鈞 
11781994B-ISDN相關通訊協定之設計及驗證(1/3)顏嗣鈞 ; Yen, Hsu-Chun 
11791994寬頻整合服務數位網路設計與模擬測試系統之建立─子計畫(三)B-ISDN相關通訊協定之設計及驗證(2/3顏嗣鈞 
11801994On multiterminal single bend wirability.HSU-CHUN YEN IEEE Trans. on CAD of Integrated Circuits and Systems
11811994Some Complexity Results for Rings of Petri Nets.Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN Int. J. Found. Comput. Sci.
11821993Complexity analysis of propositional concurrent programs using domino tilingYen, Hsu-Chun ; Pak, NamheeMathematical Systems Theory00
11831993分散式即時計算機系統之描述與驗證顏嗣鈞 
11841993寬頻整合服務數位網路設計與模擬測試系統之建立－子計畫(三)B-ISDN相關通訊協定之設計及驗證(1/3)顏嗣鈞 
11851993超級電腦之研究發展(總計劃)龐台銘; 郭德盛; 顏嗣鈞 ; 陳良基 ; 雷欽隆(Lei, Chin-Laung); 賴飛羆_TTS.TITLE; Chen, Liang-Gee 
11861993超級電腦之研究發展:向量、平行編譯器顏嗣鈞 ; 郭德盛
11871993Normal and sinkless petri netsHowell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun Journal of Computer and System Sciences2520
11881993A Unified Approach for Reasoning about Conflict-Free Petri Nets.Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings
11891992Applications of conflict-free Petri nets to parallel programs and asynchronous circuitsYen, Hsu-Chun Eleventh Annual International Phoenix Conference on Computers and Communications, 199210
11901992A unified approach for deciding the existence of certain petri net pathsYen, Hsu-Chun Information and Computation5443
11911992具時間性之Petri Net問題研究顏嗣鈞 
11921992A multiparameter analysis of domino tiling with an application to concurrent systemsYen, Hsu-Chun Theoretical Computer Science31
11931992Petri 網路工具之設計及應用顏嗣鈞 
11941991A taxonomy of fairness and temporal logic problems for Petri netsHowell R.R; Rosier L.E; HSU-CHUN YEN Theoretical Computer Science3022
11951991A taxonomy of fairness and temporal logic problems for Petri netsHowell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun Theoretical Computer Science3122
11961991超級電腦之研究發展龐台銘; 郭德盛; 顏嗣鈞 ; 陳良基 ; 雷欽隆 ; 賴飛羆 
1971991A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri netsYen, Hsu-Chun Information Processing Letters 
1981991Global and local views of state fairnessHowell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun Theoretical Computer Science11
1991991Priority systems with many identical processesHSU-CHUN YEN Acta Informatica
2001990Communicating Processes, Scheduling, and the Complexity of Nondeterminism.HSU-CHUN YEN Mathematical Systems Theory
2011990On Optimal Parallelization of Sorting Networks.Gannett, Ethan; Kothari, Suresh C.; HSU-CHUN YEN Theor. Comput. Sci.
2021989Normal and Sinkless Petri Nets.Howell, Rodney R.; Rosier, Louis E.; HSU-CHUN YEN Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings80
2031988A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.Howell, Rodney R.; Rosier, Louis E.; HSU-CHUN YEN Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings60
2041988On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.Rosier, Louis E.; HSU-CHUN YEN Theor. Comput. Sci.
2051987An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.Howell, Rodney R.; Rosier, Louis E.; HSU-CHUN YEN Inf. Process. Lett.
2061987Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines.Rosier, Louis E.; HSU-CHUN YEN SIAM J. Comput.
2071987On Optimal Parallelization of Sorting Networks.Gannett, Ethan; Kothari, Suresh C.; HSU-CHUN YEN Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings
2081986A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.Rosier, Louis E.; HSU-CHUN YEN J. Comput. Syst. Sci.5751
2091986B-ISDN相關通訊協定之設計及驗證張進福; 顏嗣鈞 ; Chang, Jin-Fu; Yen, Hsu-Chun 
2101986On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.Rosier, Louis E.; HSU-CHUN YEN Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings
2111986Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines.Rosier, Louis E.; HSU-CHUN YEN STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings
2121986Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.Howell, Rodney R.; Rosier, Louis E.; Huynh, Dung T.; HSU-CHUN YEN Theor. Comput. Sci.
2131986Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.Rosier, Louis E.; HSU-CHUN YEN Theor. Comput. Sci.
2141985A multiparameter analysis of the boundedness problem for vector addition systems.Rosier, Louis E.; HSU-CHUN YEN Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 198520
2151985Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.Rosier, Louis E.; HSU-CHUN YEN STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbr?cken, Germany, January 3-5, 1985, Proceedings
2160Catalytic P systemsR. Freund; O.H. Ibarra; A. P; un; P. Sos; k; HSU-CHUN YEN 
217-Theory of Computation顏嗣鈞