• 2386 Citations
1988 …2017

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2017

A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis

Johnsen, A., Kao, M-Y. & Seki, S., Feb 1 2017, In : Journal of Combinatorial Optimization. 33, 2, p. 496-529 34 p.

Research output: Contribution to journalArticle

2 Scopus citations
2016

Encyclopedia of Algorithms

Kao, M-Y. (ed.), 2016, 2nd ed. New York: Springer-Verlag. 2389 p.

Research output: Book/ReportBook

Haplotype inference on pedigrees without recombinations

Chan, M. Y., Chan, W. T., Chin, F. Y. L., Fung, S. P. Y. & Kao, M-Y., 2016, Encyclopedia of Algorithms. Kao, M-Y. (ed.). 2nd ed. New York: Springer-Verlag, p. 894-897 4 p.

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

Optimal search for parameters in Monte Carlo simulation for derivative pricing

Wang, C. J. & Kao, M-Y., Mar 1 2016, In : European Journal of Operational Research. 249, 2, p. 683-690 8 p.

Research output: Contribution to journalArticle

1 Scopus citations
2015

Outstanding principal as prepayment value: A closed-form formula for mortgage pricing

Tsai, Y. C., Lei, C. L., Ho, J. M., Kao, M. Y. & Liao, S. L., May 1 2015, In : Journal of Information Science and Engineering. 31, 3, p. 925-942 18 p.

Research output: Contribution to journalArticle

2014

Linear-time accurate lattice algorithms for tail conditional expectation

Chen, B., Hsu, W. W. Y., Ho, J. M. & Kao, M-Y., Jan 1 2014, In : Algorithmic Finance. 3, 1-2, p. 87-140 54 p.

Research output: Contribution to journalArticle

2 Scopus citations

Optimal search for parameters in Monte Carlo simulation for derivative pricing

Wang, C. J. & Kao, M-Y., Oct 14 2014, 2014 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr Proceedings. Almeida, R. J., Maringer, D., Palade, V. & Serguieva, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 384-390 7 p. 6924099. (IEEE/IAFE Conference on Computational Intelligence for Financial Engineering, Proceedings (CIFEr)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations
2013

Computing minimum tile sets to self-assemble color patterns

Johnsen, A. C., Kao, M-Y. & Seki, S., Dec 1 2013, Algorithms and Computation - 24th International Symposium, ISAAC 2013, Proceedings. p. 699-710 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8283 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Deterministic polynomial-time algorithms for designing short DNA words

Kao, M-Y., Leung, H. C. M., Sun, H. & Zhang, Y., Jul 8 2013, In : Theoretical Computer Science. 494, p. 144-160 17 p.

Research output: Contribution to journalArticle

1 Scopus citations

Optimum quantizing of monotonic nondecreasing arrays

Hsu, W. W. Y., Lu, C. Y., Kao, M-Y. & Ho, J. M., Oct 28 2013, Proceedings of the 2013 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. p. 95-101 7 p. 6611703. (Proceedings of the 2013 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

Closed-form mortgage pricing formula with outstanding principal as prepayment value

Tsai, Y. C., Chen, Z. H., Ho, J. M., Kao, M-Y., Lei, C. L. & Liao, S. L., Nov 27 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2012 - Proceedings. p. 100-106 7 p. 6327778. (2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pricing discrete Asian barrier options on lattices

Hsu, W. W. Y., Lu, C. Y., Kao, M-Y., Lyuu, Y. D. & Ho, J. M., Nov 27 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2012 - Proceedings. p. 85-92 8 p. 6327776

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The development of a real-time valuation service of financial derivatives

Peng, H. T., Chang, C. F., Liao, S. L., Kao, M-Y., Lai, F. & Ho, J. M., Nov 27 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics, CIFEr 2012 - Proceedings. p. 228-235 8 p. 6327796

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations
2011

Algorithmic Issues in DNA Barcoding Problems: Techniques, Approaches, and Applications

Kao, M-Y., 2011, Algorithms in Computational Molecular Biology: Techniques, Approaches, and Applications. Hoboken, NJ: Wiley-Interscience, p. 129-142

Research output: Chapter in Book/Report/Conference proceedingChapter

Discovering almost any hidden motif from multiple sequences

Fu, B., Kao, M-Y. & Wang, L., Mar 1 2011, In : ACM Transactions on Algorithms. 7, 2, 26.

Research output: Contribution to journalArticle

1 Scopus citations

Optimizing tile concentrations to minimize errors and time for DNA tile self-assembly systems

Chen, H. L. & Kao, M-Y., Feb 1 2011, DNA Computing and Molecular Programming - 16th International Conference, DNA 16, Revised Selected Papers. p. 13-24 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6518 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations
2010

Algorithmic Issues in DNA Barcoding Problems

DasGupta, B., Kao, M-Y. & Mǎndoiu, I., Dec 23 2010, Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications. John Wiley and Sons, p. 129-142 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Deterministic polynomial-time algorithms for designing short DNA words

Kao, M-Y., Leung, H. C. M., Sun, H. & Zhang, Y., Jan 1 2010, Theory and Applications of Models of Computation - 7th Annual Conference, TAMC 2010, Proceedings. Springer Verlag, p. 308-319 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6108 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Testing whether a set of code words satisfies a given set of constraints

Wei, H. W., Lu, W. C., Huang, P. C., Shih, W. K. & Kao, M-Y., Mar 1 2010, In : Journal of Information Science and Engineering. 26, 2, p. 333-346 14 p.

Research output: Contribution to journalArticle

2009

An approximation algorithm for a bottleneck traveling salesman problem

Kao, M-Y. & Sanghi, M., Sep 1 2009, In : Journal of Discrete Algorithms. 7, 3, p. 315-326 12 p.

Research output: Contribution to journalArticle

9 Scopus citations

Discovering almost any hidden motif from multiple sequences in polynomial time with low sample complexity and high success probability

Fu, B., Kao, M-Y. & Wang, L., Jul 16 2009, Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings. p. 231-240 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5532 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fast accurate algorithms for tail conditional expectation

Chen, B., Hsu, W. M. Y. & Kao, M-Y., Nov 26 2009, Numerical Analysis and Applied Mathematics - International Conference on Numerical Analysis and Applied Mathematics 2009, ICNAAM-2009. Vol. 1168. p. 501-504 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linear-time haplotype inference on pedigrees without recombinations and mating loops

Chan, M. Y., Chan, W. T., Chin, F. Y. L., Fung, S. P. Y. & Kao, M-Y., 2009, In : SIAM Journal on Computing. 38, 6, p. 2179-2197 19 p.

Research output: Contribution to journalArticle

1 Scopus citations

On approximating four covering and packing problems

Ashley, M., Berger-Wolf, T., Berman, P., Chaovalitwongse, W., DasGupta, B. & Kao, M-Y., Aug 1 2009, In : Journal of Computer and System Sciences. 75, 5, p. 287-302 16 p.

Research output: Contribution to journalArticle

6 Scopus citations

Probabilistic analysis of a m otif discovery algorithm for multiple sequences

Fui, B., Kao, M-Y. & Wang, L., Dec 1 2009, In : SIAM Journal on Discrete Mathematics. 23, 4, p. 1715-1737 23 p.

Research output: Contribution to journalArticle

2 Scopus citations

Randomized fast design of short DNA words

Kao, M-Y., Sanghi, M. & Schweller, R., Oct 1 2009, In : ACM Transactions on Algorithms. 5, 4, 43.

Research output: Contribution to journalArticle

6 Scopus citations

The closest pair problem under the hamming metric

Min, K., Kao, M-Y. & Zhu, H., Dec 1 2009, Computing and Combinatorics - 15th Annual International Conference, COCOON 2009, Proceedings. p. 205-214 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5609 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Two-vertex connectivity augmentations for graphs with a partition constraint

Huang, P. C., Wei, H. W., Chen, Y. C., Kao, M-Y., Shih, W. K. & Hsu, T. S., Dec 1 2009, Algorithms and Computation - 20th International Symposium, ISAAC 2009, Proceedings. p. 1195-1204 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5878 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

Efficient algorithms for model-based motif discovery from multiple sequences

Fu, B., Kao, M-Y. & Wang, L., Dec 1 2008, Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings. p. 234-245 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4978 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Efficient combinatorial algorithms for DNA sequence processing: Techniques and Applications

Kao, M-Y., 2008, Bioinformatics Algorithms: Techniques and Applications. Hoboken, NJ: Wiley-Interscience, p. 223-239

Research output: Chapter in Book/Report/Conference proceedingChapter

Encyclopedia of Algorithms

Kao, M. Y. & Kao, M. Y. (ed.), 2008, Springer.

Research output: Book/ReportBook

Randomized self-assembly for approximate shapes

Kao, M-Y. & Schweller, R., Aug 14 2008, Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings. PART 1 ed. p. 370-384 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5125 LNCS, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

45 Scopus citations

Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability

Wu, G., Kao, M-Y., Lin, G. & You, J. H., Jan 24 2008, In : Algorithms for Molecular Biology. 3, 1, 1.

Research output: Contribution to journalArticle

5 Scopus citations
2007

Address generation for nanowire decoders

Wang, J., Kao, M-Y. & Zhou, H., Oct 1 2007, GLSVLSI'07: Proceedings of the 2007 ACM Great Lakes Symposium on VLSI. p. 525-528 4 p. 1228909. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Average case analysis for tree labelling schemes

Kao, M-Y., Li, X. Y. & Wang, W., Jun 9 2007, In : Theoretical Computer Science. 378, 3, p. 271-291 21 p.

Research output: Contribution to journalArticle

2 Scopus citations

Detecting stealthy spreaders using online outdegree histograms

Gao, Y., Zhao, Y., Schweller, R., Venkataraman, S., Chen, Y., Song, D. & Kao, M-Y., Oct 1 2007, 2007 Fifteenth IEEE International Workshop on Quality of Service, IWQoS 2007. p. 145-153 9 p. 4262465. (IEEE International Workshop on Quality of Service, IWQoS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Efficient Combinatorial Algorithms for DNA Sequence Processing

Dasgupta, B. & Kao, M-Y., Aug 9 2007, Bioinformatics Algorithms: Techniques and Applications. John Wiley & Sons, Inc., p. 223-239 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

On constructing an optimal consensus clustering from multiple clusterings

Berman, P., DasGupta, B., Kao, M-Y. & Wang, J., Nov 15 2007, In : Information Processing Letters. 104, 4, p. 137-145 9 p.

Research output: Contribution to journalArticle

10 Scopus citations

Reversible sketches: Enabling monitoring and analysis over high-speed data streams

Schweller, R., Li, Z., Chen, Y., Gao, Y., Gupta, A., Zhang, Y., Dinda, P. A., Kao, M-Y. & Memik, G., Oct 1 2007, In : IEEE/ACM Transactions on Networking. 15, 5, p. 1059-1072 14 p.

Research output: Contribution to journalArticle

72 Scopus citations

Using nash implementation to achieve better frugality ratios

Huang, C. C., Kao, M-Y., Li, X. Y. & Wang, W., Jan 1 2007, Algorithms and Computation - 18th International Symposium, ISAAC 2007, Proceedings. Springer Verlag, p. 377-389 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4835 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2006

A 6-Approximation algorithm for computing smallest common AoN-supertree with application to the reconstruction of glycan trees

Aoki-Kinoshita, K. F., Kanehisa, M., Kao, M-Y., Li, X. Y. & Wang, W., Dec 1 2006, Algorithms and Computation - 17th International Symposium, ISAAC 2006, Proceedings. p. 100-110 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4288 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Algorithmic DNA Self-assembly: Second International Conference, AAIM 2006, Hong Kong, China, June 2006, Proceedings

Kao, M-Y., 2006, Algorithmic Aspects in Information and Management: Second International Conference, AAIM 2006, Hong Kong, China, June 2006, Proceedings. New York, NY: Springer-Verlag

Research output: Chapter in Book/Report/Conference proceedingChapter

An approximation algorithm for a bottleneck traveling salesman problem

Kao, M. Y. & Sanghi, M., Jan 1 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. Springer Verlag, p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3998 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Design optimization methods for genomic DNA tiling arrays

Bertone, P., Trifonov, V., Rozowsky, J. S., Schubert, F., Emanuelsson, O., Karro, J., Kao, M-Y., Snyder, M. & Gerstein, M., Feb 1 2006, In : Genome research. 16, 2, p. 271-281 11 p.

Research output: Contribution to journalArticle

41 Scopus citations

Flexible word design and graph labeling

Kao, M-Y., Sanghi, M. & Schweller, R., Dec 1 2006, Algorithms and Computation - 17th International Symposium, ISAAC 2006, Proceedings. p. 48-60 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4288 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Hamsa: Fast signature generation for zero-day polymorphic worms with provable attack resilience

Li, Z., Sanghi, M., Chen, Y., Kao, M-Y. & Chavez, B., Nov 21 2006, Proceedings - 2006 IEEE Symposium on Security and Privacy, S+P 2006. p. 32-46 15 p. 1623999. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

183 Scopus citations

Linear-time haplotype inference on pedigrees without recombinations

Chan, M. Y., Chan, W. T., Chin, F. Y. L., Fung, S. P. Y. & Kao, M-Y., 2006, Algorithms in Bioinformatics - 6th International Workshop, WABI 2006, Proceedings. Springer Verlag, p. 56-67 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4175 LNBI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations

Reducing tile complexity for self-assembly through temperature programming

Kao, M-Y. & Schweller, R., Feb 28 2006, p. 571-580. 10 p.

Research output: Contribution to conferencePaper

55 Scopus citations

Reverse hashing for high-speed network monitoring: Algorithms, evaluation, and applications

Schweller, R., Li, Z., Chen, Y., Gao, Y., Gupta, A., Zhangf, Y., Dinda, P. A., Kao, M-Y. & Memik, G., Dec 1 2006, Proceedings - INFOCOM 2006: 25th IEEE International Conference on Computer Communications. 4146856. (Proceedings - IEEE INFOCOM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Scopus citations
2005

Average case analysis for tree labelling schemes

Kao, M-Y., Li, X. Y. & Wang, W., Dec 1 2005, Algorithms and Computation - 16th International Symposium, ISAAC 2005, Proceedings. p. 136-145 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3827 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations