Publication
(All)

Results 1-20 of 24 (Search time: 0.026 seconds).

Issue DateTitleAuthor(s)TypescopusWOSFulltext/Archive link
11997A Temporal Logic for Real-Time Partial-Ordering with Named TransactionsFARN WANG journal article00
22007A tight analysis of the Katriel-Bodlaender algorithm for online topological orderingKUN-MA0 CHAO journal article75
32014Algorithms and Computation (ISAAC 2012)KUN-MA0 CHAO journal article00
42008Algorithms for finding the weight-constrained k longest paths in a tree and the length-constrained k maximum-sum segments of a sequenceLiu, Hsiao-Fei; KUN-MA0 CHAO ; Chao, Kun-Maojournal article65
51996Assumption/guarantee specifications in linear-time temporal logicJonsson, Bengt; Tsay, Yih-Kuen journal article; text3322
62013Bounding the sizes of dynamic monopolies and convergent sets for threshold-based cascadesYUH-DAUH LYUU journal article44
72001Channel graphs of bit permutation networksGERARD JENNHWA CHANG journal article33
82011Complexity Analysis of Balloon Drawing for Rooted TreesHSU-CHUN YEN journal article21
92012Complexity of distance paired-domination problem in graphsGERARD JENNHWA CHANG journal article65
102015Constrained floorplans in 2D and 3DHSU-CHUN YEN journal article11
112012Efficient retrieval of approximate palindromes in a run-length encoded stringKUN-MA0 CHAO journal article40
122006Improved algorithms for the k maximum-sums problemsKUN-MA0 CHAO journal article108
132007Induced-path partition on graphs with special blocksGERARD JENNHWA CHANG ; Pan, J. J.; Chang, G. J.journal article22
142010On Decision Problems for Parameterized MachinesHSU-CHUN YEN journal article00
152009On Minimal Elements of Upward-closed SetsHSU-CHUN YEN journal article65
162007On the (n, t)-antipodal Gray codesGERARD JENNHWA CHANG journal article42
172012On the Containment and Equivalence Problems for Two-way TransducersHSU-CHUN YEN journal article1110
182013On the mixed domination problem in graphsGERARD JENNHWA CHANG journal article1411
192010Optimal bounds on finding fixed points of contraction mappingsYUH-DAUH LYUU journal article11
202009Spreading messagesChang, Ching-Lueh; YUH-DAUH LYUU ; Lyuu, Yuh-Dauh journal article2419