Hsu-Chun Yen

Int. J. Found. Comput. Sci., November, 2023

Trajectory-Based Dynamic Boundary Map Labeling.

[BibT_eX]

[DOI]

Ming-Hsien Wu

Proceedings of the 18th International Joint Conference on Computer Vision, 2023

2022

On the decidability of the valuedness problem for two-way finite transducers.

[BibT_eX]

[DOI]

Di-De Yen

Inf. Comput., 2022

2020

On the Valuedness of Symbolic Finite Transducers.

[BibT_eX]

[DOI]

Di-De Yen

Proceedings of the International Computer Symposium, 2020

2019

Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017).

[BibT_eX]

[DOI]

Md. Saidur Rahman

Sheung-Hung Poon

Theor. Comput. Sci., 2019

Guest Editors' Foreword.

[BibT_eX]

[DOI]

Md. Saidur Rahman

Sheung-Hung Poon

J. Graph Algorithms Appl., 2019

Unfolding some classes of orthogonal polyhedra of arbitrary genus.

[BibT_eX]

[DOI]

Kuan-Yi Ho

J. Comb. Optim., 2019

Characterizing the Valuedness of Two-Way Finite Transducers.

[BibT_eX]

[DOI]

Di-De Yen

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Contact Representations of Directed Planar Graphs in 2D and 3D.

[BibT_eX]

[DOI]

Chun-Hsiang Chan

Proceedings of the Combinatorial Optimization and Applications, 2019

2018

On Contact Representations of Directed Planar Graphs.

[BibT_eX]

[DOI]

Chun-Hsiang Chan

Proceedings of the Computing and Combinatorics - 24th International Conference, 2018

2017

A Position-Aware Language Modeling Framework for Extractive Broadcast News Speech Summarization.

[BibT_eX]

[DOI]

ACM Trans. Asian Low Resour. Lang. Inf. Process., 2017

On Number of Tags Estimation in RFID Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., 2017

QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac WLANs.

[BibT_eX]

[DOI]

IEEE Syst. J., 2017

Area-universal drawings of biconnected outerplane graphs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

Improved Algorithms for Grid-Unfolding Orthogonal Polyhedra.

[BibT_eX]

[DOI]

Int. J. Comput. Geom. Appl., 2017

On orthogonally convex drawings of plane graphs.

[BibT_eX]

[DOI]

Comput. Geom., 2017

On Bend-Minimized Orthogonal Drawings of Planar 3-Graphs.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Symposium on Computational Geometry, 2017

2016

V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETs.

[BibT_eX]

[DOI]

Che-Yu Chang

IEEE Trans. Dependable Secur. Comput., 2016

Drawing Clustered Graphs Using Stress Majorization and Force-Directed Placements.

[BibT_eX]

[DOI]

Yu-Jung Ko

Proceedings of the 20th International Conference Information Visualisation, 2016

Exploring Word Mover's Distance and Semantic-Aware Embedding Techniques for Extractive Broadcast News Summarization.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Conference of the International Speech Communication Association, 2016

Petri Nets and Semilinear Sets (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Exploiting graph regularized nonnegative matrix factorization for extractive speech summarization.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2016

2015

A Pragmatic VBR Stream Scheduling Policy for IEEE 802.11e HCCA Access Method.

[BibT_eX]

[DOI]

Che-Yu Chang

Abderrahim Benslimane

IEEE Trans. Emerg. Top. Comput., 2015

Constrained floorplans in 2D and 3D.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Combining Relevance Language Modeling and Clarity Measure for Extractive Speech Summarization.

[BibT_eX]

[DOI]

IEEE ACM Trans. Audio Speech Lang. Process., 2015

A New Approach for Contact Graph Representations and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Data Structures - 14th International Symposium, 2015

Designing and Annotating Metro Maps with Loop Lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Information Visualisation, 2015

Unfolding Orthogonal Polyhedra with Linear Refinement.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation - 26th International Symposium, 2015

Positional language modeling for extractive broadcast news speech summarization.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Conference of the International Speech Communication Association, 2015

Low ply graph drawing.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Information, 2015

Incorporating proximity information in relevance language modeling for extractive speech summarization.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2015

2014

Enhanced language modeling for extractive speech summarization with sentence relatedness information.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual Conference of the International Speech Communication Association, 2014

Effective pseudo-relevance feedback for language modeling in extractive speech summarization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2014

Rectilinear Duals Using Monotone Staircase Polygons.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2014

A margin-based discriminative modeling approach for extractive speech summarization.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2014

2013

Preface.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2013

Spatially Efficient Design of Annotated Metro Maps.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2013

Voronoi-Based Label Placement for Metro Maps.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Information Visualisation, 2013

On Orthogonally Convex Drawings of Plane Graphs - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing - 21st International Symposium, 2013

2012

A new force-directed graph drawing method based on edge-edge repulsion.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2012

On the containment and equivalence problems for two-way transducers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Travel-Route-Centered Metro Map Layout and Annotation.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2012

2011

Complexity analysis of balloon drawing for rooted trees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Mental map preserving graph drawing using simulated annealing.

[BibT_eX]

[DOI]

Yi-Yi Lee

Inf. Sci., 2011

On Almost-Sure Properties of Probabilistic Discrete Event Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Optimized Topological Surgery for Unfolding 3D Meshes.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2011

A Zone-Based Approach for Placing Annotation Labels on Metro Maps.

[BibT_eX]

[DOI]

Proceedings of the Smart Graphics - 11th International Symposium, 2011

On Two-Way Transducers.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

One-and-a-Half-Side Boundary Labeling.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2011

2010

On decision problems for parameterized machines.

[BibT_eX]

[DOI]

Igor Potapov

Theor. Comput. Sci., 2010

Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming.

[BibT_eX]

[DOI]

Shao-Chi Chin

Comput. J., 2010

Gaussian Distributive Filtering in Histogram Equalization.

[BibT_eX]

[DOI]

Ping-Hsien Lin

Chia-Chen Yu

Proceedings of the Fifth International Conference on Broadband and Wireless Computing, 2010

2009

Drawing graphs with nonuniform nodes using potential fields.

[BibT_eX]

[DOI]

Jen-Hui Chuang

J. Vis. Lang. Comput., 2009

On minimal elements of upward-closed sets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Path Decomposition and Semilinearity of Petri Nets.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2009

Reachability Analysis of Variants of Communication-Free Petri Nets.

[BibT_eX]

[DOI]

Suey Wang

IEICE Trans. Inf. Syst., 2009

Alignment-based surface patterns for factoid question answering systems.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2009

Boundary Labeling in Text Annotation.

[BibT_eX]

[DOI]

Hsiang-Yun Wu

Proceedings of the 13th International Conference on Information Visualisation, 2009

2008

Location-aware routing protocol with dynamic adaptation of request zone for mobile ad hoc networks.

[BibT_eX]

[DOI]

Tzay-Farn Shih

Wirel. Networks, 2008

Many-to-One Boundary Labeling.

[BibT_eX]

[DOI]

Hao-Jen Kao

J. Graph Algorithms Appl., 2008

Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Concurrency, Synchronization, and Conflicts in Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Applications of Automata, 2008

A template alignment algorithm for question classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2008

Compute the Term Contributed Frequency.

[BibT_eX]

[DOI]

Cheng-Lung Sung

Wen-Lian Hsu

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

An alignment-based surface pattern for a question answering system.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

2007

On Balloon Drawings of Rooted Trees.

[BibT_eX]

[DOI]

J. Graph Algorithms Appl., 2007

Korean-Chinese Cross-Language Information Retrieval Based on Extension of Dictionaries and Transliteration.

[BibT_eX]

[DOI]

Yu-Chun Wang

Richard Tzong-Han Tsai

Wen-Lian Hsu

Proceedings of the 19th Conference on Computational Linguistics and Speech Processing, 2007

Balloon Views of Source Code and Their Multiscalable Font Modes.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Visualisation, 2007

Width-Optimal Visibility Representations of Plane Graphs.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 18th International Symposium, 2007

Computing Minimal Elements of Upward-Closed Sets for Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Introduction to Petri Net Theory.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Deterministic catalytic systems are not universal.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Seok-Hee Hong

Int. J. Found. Comput. Sci., 2006

Decidability Analysis of Self-Stabilization for Infinite-State Systems.

[BibT_eX]

[DOI]

Lien-Po Yu

Fundam. Informaticae, 2006

On the Computational Power of 1-Deterministic and Sequential P Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

2005

Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless LANs.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2005

On various notions of parallelism in P Systems.

[BibT_eX]

[DOI]

Zhe Dang

Int. J. Found. Comput. Sci., 2005

Petri Nets with Simple Circuits.

[BibT_eX]

[DOI]

Lien-Po Yu

IEICE Trans. Inf. Syst., 2005

On Deterministic Catalytic Systems.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2005

On Symport/Antiport P Systems and Semilinear Sets.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Design and Performance Evaluation of an Optimal Collision Avoidance Mechanism over Congested and Noisy Channels for IEEE 802.11 DCF Access Method.

[BibT_eX]

[DOI]

Proceedings of the Information Networking, 2005

Signaling P Systems and Verification Problems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

On Sequential and 1-Deterministic P Systems.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

2004

Reachability solution characterization of parametric real-time systems.

[BibT_eX]

[DOI]

Farn Wang

Theor. Comput. Sci., 2004

Dependability Analysis of a Class of Probabilistic Petri Nets.

[BibT_eX]

[DOI]

Lien-Po Yu

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless lans.

[BibT_eX]

Joseph Deng

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

The Power of Maximal Parallelism in P Systems.

[BibT_eX]

[DOI]

Zhe Dang

Proceedings of the Developments in Language Theory, 2004

2003

An ω-automata approach to the representation of bilevel images.

[BibT_eX]

[DOI]

Yih-Kai Lin

IEEE Trans. Syst. Man Cybern. Part B, 2003

Compact floor-planning via orderly spanning trees.

[BibT_eX]

[DOI]

Chien-Chih Liao

J. Algorithms, 2003

Synthesis of Control Policies for Lossy Controlled Petri Nets.

[BibT_eX]

[DOI]

Yih-Kai Lin

Cheng-Hong Li

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

On the Ramsey Numbers for Bipartite Multigraphs

[BibT_eX]

[DOI]

Ming-Yang Chen

CoRR, 2003

Timing Parameter Characterization of Real-Time Systems.

[BibT_eX]

[DOI]

Farn Wang

Proceedings of the Implementation and Application of Automata, 2003

2002

Sequential versus concurrent languages of labeled conflict-free Petri nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

A valuation-based analysis of conflict-free Petri nets.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2002

Distributed and On-Line Routing on Tori.

[BibT_eX]

[DOI]

Algorithmica, 2002

On Nearly Symmetric Drawings of Graphs.

[BibT_eX]

[DOI]

Ming-Che Chuang

Proceedings of the International Conference on Information Visualisation, 2002

Some Applications of Orderly Spanning Trees in Graph Drawing.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 10th International Symposium, 2002

A Dictionary-Based Compressed Pattern Matching Algorithm.

[BibT_eX]

[DOI]

Meng-Hang Ho

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

The symmetry number problem for trees.

[BibT_eX]

[DOI]

Kien-Weh Chin

Inf. Process. Lett., 2001

Parametric Optimization of Open Real-Time Systems.

[BibT_eX]

[DOI]

Farn Wang

Proceedings of the Static Analysis, 8th International Symposium, 2001

Analysis of Self-Stabilization for Infinite-State Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Floor-Planning via Orderly Spanning Trees.

[BibT_eX]

[DOI]

Chien-Chih Liao

Proceedings of the Graph Drawing, 9th International Symposium, 2001

2000

An omega-automata approach to the compression of bi-level images.

[BibT_eX]

[DOI]

Yih-Kai Lin

Proceedings of the Computing: the Australasian Theory Symposium, 2000

On Maximum Symmetric Subgraphs.

[BibT_eX]

[DOI]

Ho-Lin Chen

Proceedings of the Graph Drawing, 8th International Symposium, 2000

1999

Orthogonal and Straight-Line Drawings of Graphs with Succinct Representations.

[BibT_eX]

[DOI]

Ho-Lin Chen

Proceedings of the Graph Drawing, 7th International Symposium, 1999

1998

Competitive Analysis of On-Line Disk Scheduling.

[BibT_eX]

[DOI]

Theory Comput. Syst., 1998

Priority Conflict-Free Petri Nets.

[BibT_eX]

[DOI]

Acta Informatica, 1998

1997

On Reachability Equivalence for BPP-Nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Deciding a Class of Path Formulas for Conflict-Free Petri Nets.

[BibT_eX]

[DOI]

Bow-Yaw Wang

Ming-Sheng Yang

Theory Comput. Syst., 1997

Competitive Source Routing on Tori and Meshes.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

1996

Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.

[BibT_eX]

[DOI]

Shi-Tsuen Jian

Ta-Pang Lao

Theor. Comput. Sci., 1996

On the Regularity of Petri Net Languages.

[BibT_eX]

[DOI]

Inf. Comput., 1996

1995

A Note on Fine Covers and Iterable Factors of VAS Languages.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Design, implementation, and applications of a B-ISDN simulation testbed.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994

On multiterminal single bend wirability.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

Some Complexity Results for Rings of Petri Nets.

[BibT_eX]

[DOI]

Bow-Yaw Wang

Ming-Sheng Yang

Int. J. Found. Comput. Sci., 1994

1993

Complexity Analysis of Propositional Concurrent Programs Using Domino Tiling.

[BibT_eX]

[DOI]

Namhee Pak

Math. Syst. Theory, 1993

Normal and Sinkless Petri Nets.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1993

A Unified Approach for Reasoning about Conflict-Free Petri Nets.

[BibT_eX]

[DOI]

Bow-Yaw Wang

Ming-Sheng Yang

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

A Unified Approach for Deciding the Existence of Certain Petri Net Paths

[BibT_eX]

[DOI]

Inf. Comput., January, 1992

A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

1991

A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Global and Local Views of State Fairness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1991

Priority Systems with many Identical Processes.

[BibT_eX]

[DOI]

Acta Informatica, 1991

1990

On Optimal Parallelization of Sorting Networks.

[BibT_eX]

[DOI]

Ethan Gannett

Suresh C. Kothari

Theor. Comput. Sci., 1990

Communicating Processes, Scheduling, and the Complexity of Nondeterminism.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1990

1988

On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

1987

Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines.

[BibT_eX]

[DOI]

SIAM J. Comput., 1987

An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1987

1986

Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1986

1985

Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.

[BibT_eX]

[DOI]